Intereting Posts

Prove that $\arctan\left(\frac{2x}{1-x^2}\right)=2\arctan{x}$ for all $|x|<1$, directly from the integral definition of $\arctan$
Prove that a strictly increasing function with Intermediate value property is continuous
Is the mapping $ d : X\times X \mapsto \mathbb {R} $ continuous?
Difference between functional and function.
How many ways are there to shake hands?
Show that $(1+\frac{x}{n})^n \rightarrow e^x$ uniformly on any bounded interval of the real line.
Finding Lyapunov function for a given system of differential equations
Good introductory book on Calculus on Manifolds
Does the series $\sum_{n=1}^\infty (-1)^n \frac{\cos(\ln(n))}{\sqrt{n}}$ converge?
A curious equation containing an integral $\int_0^{\pi/4}\arctan\left(\tan^x\theta\right)d\theta=\frac{\ln2\cdot\ln x}{16}$
If $T^2=TT^*$ then can i conclude that $T=T^*$?
Euler's Constant: The asymptotic behavior of $\left(\sum\limits_{j=1}^{N} \frac{1}{j}\right) – \log(N)$
A Curious Binomial Sum Identity without Calculus of Finite Differences
Do all rational numbers repeat in Fibonacci coding?
What is the minimum value of $(\tan^2)(A/2)+(\tan^2)(B/2)+(\tan^2)(C/2)$, where $A$, $B$ and $C$ are angles of a triangle

I’m trying to prove the following. Let $\frak{g}$ and $\frak{h}$ be (semisimple) Lie algebras. Then every representation $d$ of $\frak{g}\oplus\frak{h}$ is the tensor product of representations $d^1$ on $\frak{g}$ and $d^2$ on $\frak{h}$; that is $d=d^1\otimes d^2$.

$d^1$ and $d^2$ are cannot be defined by restriction (see comment below). I don’t know how to define them so that their tensor product must give back $d$. In particular how do I know that the vector space $V$ of $d$ decomposes appropriately for this to work?

Any hints would be much appreciated!

- Killing form on $\mathfrak{sp}(2n)$
- Radical of a Lie algebra bracket itself
- Lie algebras and roots systems
- Complete reducibility of sl(3,F) as an sl(2,F)-module
- Example of two-dimensional non-abelian Lie algebra?
- Construction of an Irreducible Module as a Direct Summand

- fundamental group of $U(n)$
- The longest word in Weyl group and positive roots.
- Computing information about a Lie algebra from cartan matrix
- (non?)-surjectivity of the exponential map to $SL(2,\mathbb{C})$
- Recovering the two $SU(2)$ matrices from$ SO(4)$ matrix
- Does solvability of Lie algebra have useful application in study of PDEs?
- How to show path-connectedness of $GL(n,\mathbb{C})$
- Why is $SO(3)\times SO(3)$ isomorphic to $SO(4)$?
- Conjugacy classes of a compact matrix group
- Existence of Killing field

I think you meant to add that your representation is irreducible.

This statement is true for representations of compact Lie groups– see theorem 3.9 of Sepanski’s *Compact Lie groups* (unfortunately the relevant pages are not on google books but the book is on springerlink if you have institutional access). The proof of this relies on the use of characters. Your result then follows for semi-simple Lie algebras since they all have compact real forms.

The following example should show that this statement is actually false.

Let $\mathfrak g$ be a $1$-dimensional abelian Lie algebra. Then $\mathfrak{g \oplus g}$ is a $2$-dimensional abelian Lie algebra. The universal enveloping algebra of $\mathfrak{g \oplus g}$ is $k[x, y]$ where $k$ is whatever field you’d like to work over.

Now consider a $3$-dimensional $k[x, y]$-module where we let both $x$ and $y$ act via a nilpotent Jordan block. For this to be the tensor product of two representations they would have to be dimensions $1$ and $3$ but neither $x$ nor $y$ act diagonally which is what we would get after tensoring with a $1$-dimensional representation.

- Two problems on real number series
- Compactness of Multiplication Operator on $L^2$
- Integrate $ \int_{0}^{\frac{\pi}{4}}\tan^{-1}\left(\frac{\sqrt{2}\cos3 \phi}{\left(2\cos 2 \phi+ 3\right)\sqrt{\cos 2 \phi}}\right)d\phi$
- Difference between Euclidean Space and $\mathbb{R}^n$ other than origin?
- reference for linear algebra books that teach reverse Hermite method for symmetric matrices
- Favourite applications of the Nakayama Lemma
- Countably monotone does not imply monotone and countably additive?
- Prove the statement $\forall x\in\mathbb N (x > 1\to\exists k\in\mathbb N\exists m \in\mathbb N (m \equiv 1 (\text{mod }2) \wedge x = 2^km))$.
- Isomorphic but not equivalent actions of a group G
- A-priori estimate help (something to do with Gronwall lemma)
- factor $z^7-1$ into linear and quadratic factors and prove that $ \cos(\pi/7) \cdot\cos(2\pi/7) \cdot\cos(3\pi/7)=1/8$
- Classify the singularity – $\frac{1}{e^z-1}$
- Verifying Hilberts Nullstellensatz on a particular example
- Polynomial $P(a)=b,P(b)=c,P(c)=a$
- Axis of rotation of composition of rotations (Artin's Algebra)