lecture notes5

lecture notes5 - MATH 223A NOTES 2011 LIE ALGEBRAS 17 5...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
MATH 223A NOTES 2011 LIE ALGEBRAS 17 5. Semisimple Lie algebras and the Killing form This section follows Procesi’s book on Lie Groups. We will deFne semisimple Lie algebras and the Killing form and prove the following. Theorem 5.0.9. The following are equivalent for L a Fnite dimensional Lie algebra over any subFeld F C . (1) L is semisimple. (2) L has no nonzero abelian ideals. (3) The Killing form of L is nondegenerate. (4) L is a direct sum of simple ideals. 5.1. Defnition. ±irst we observe that the sum of two solvable ideals I,J in L is solvable. This follows from the fact that I and ( I + J ) /I = J/ ( I J ) are both solvable. Defnition 5.1.1. The solvable radical Rad L of L is deFned to be the sum of all solvable ideals. A Lie algebra is semisimple if its solvable radical is zero, i.e., if it has no nonzero solvable ideal. Proposition 5.1.2. L is semisimple i± L has no nonzero abelian ideals. Proof. If L is semisimple then it has no abelian ideals. Conversely, if L is not semisimple, then L has a solvable ideal J . Then DJ =[ JJ ] is also an ideal in L since [ x [ ]] [[ xJ ] J ]+[ J [ xJ ]] [ ] We have D k J = 0. So D k 1 J is a nonzero abelian ideal in L . ° 5.2. Killing Form. The Killing form κ : L × L F is deFned by κ ( x, y )=Tr(ad x ad y ) The Killing form is clearly symmetric: κ ( x, y )= κ ( y,x ). The Killing form is also “asso- ciative”: κ ([ xy ] ,z κ ( x, [ yz ]) Proof. Since ad[ xy ] = [ad x, ad y ], we have: κ ([ xy ] )=Tr(ad[ xy ]ad z ) = Tr([ad x, ad y ]ad z x [ad y, ad z ]) = κ ( x, [ ]) Proposition 5.2.1. The Killing form is invariant under any automorphism ρ of L .
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 3

lecture notes5 - MATH 223A NOTES 2011 LIE ALGEBRAS 17 5...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online