3
$\begingroup$

I'm currently solving a problem in Fulton's Representation Theory A first course and I'm not sure why a particular result is true. One part of the problem (exercise 14.15 if anyone is interested) involves showing that $[\frak g_{\alpha},g_{\beta}] = g_{\alpha+\beta}$ where $\alpha$, $\beta$, and $\alpha+\beta$ are roots of the semisimple Lie algebra $\frak g$. The book states that it is sufficient to show that $[\frak g_{\alpha}, g_{\beta}] \scr \ne 0$. Why is this sufficient? Is it because $\frak g$ is semisimple? I'm not sure why it is obvious from that though.

Also, any hints on how to do this would be appreciated. So far, I've shown that $[\frak g_{\alpha},h] \scr \ne 0$ where $\frak h$ is the Cartan subalgebra of $\frak g$, but I don't know how to connect that back to 2 roots. I was trying to do something algebraic involving Jacobi's identity, but haven't had any success so far. Thanks for any help!

  • 0
    That makes sense, thank you very much Mariano! Any suggestions on how to show that the bracket is in fact nonempty?2011-12-14

0 Answers 0