Let $\mathfrak{r}$ be a reductive Lie subalgebra of the complex semisimple Lie algebra $\mathfrak{g}$ and let $B$ be the Killing form of $\mathfrak{g}$.
Suppose that the restriction $B|_\mathfrak{r}$ of B on $\mathfrak{r}$ is non-degenerate. Let $\mathfrak{g} = \mathfrak{r} \oplus\mathfrak{s}$ be
the orthogonal decomposition with respect to $B$.
How to check that the
restriction $B|_\mathfrak{s}$ of $B$ on $\mathfrak{s}$ is also non-degenerate?
Best Answer
Suppose $g$ is the orthogonal sum $g=r\oplus s$ where $g$ is semi-simple. Since $g$ is sem-simple, Killing is not degenerated, this implies that for every $y\in s$, there exists $z\in g$ such that $B(y,z)\neq 0$, we can write $z=u+v, u\in r, v\in s$, we deduce that $B(y,z)=B(y,u+v)=B(y,v)\neq 0$ since $r$ is orthogonal to $s$. This implies that the restriction of $B$ to $s$ is not degenerated.