Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\mathfrak{g}$ be a Lie algebra and consider $\operatorname{Rad}(\mathfrak{g})$, the radical of $\mathfrak{g}$, that is, the sum of all solvable ideals in $\mathfrak{g}$. Suppose that we have the decomposition $\mathfrak{g} = \mathfrak{h} \oplus \left(\bigoplus \mathfrak{g}_{\alpha}\right)$ where $\mathfrak{h}$ is an abelian subalgebra and $\mathfrak{g}_{\alpha}$ are root spaces. Why does $\operatorname{Rad}(\mathfrak{g}) \cap \mathfrak{g}_{\alpha} \neq 0$ imply $\mathfrak{g}_{\alpha} \oplus \mathfrak{g}_{-\alpha} \oplus [\mathfrak{g}_{\alpha}, \mathfrak{g}_{-\alpha}] \subset \operatorname{Rad}(\mathfrak{g})$?

share|cite|improve this question
you have to prove simply that $\mathfrak{g}_{\alpha}$ and $\mathfrak{g}_{-\alpha}$ is in $\operatorname{Rad}(\mathfrak{g})$, because $\operatorname{Rad}(\mathfrak{g})$ is also an ideal in the sens of lie algebra you will have $[\mathfrak{g}_{\alpha}, \mathfrak{g}_{-\alpha}] \subset \operatorname{Rad}(\mathfrak{g})$ and the you conclude by somme. – Abdelmajid Khadari Apr 24 '12 at 23:32

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.