lecture notes5

Denition 511 the solvable radical rad l of l is dened

Info iconThis preview shows page 1. Sign up to view the full content.

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

Unformatted text preview: are both solvable. Definition 5.1.1. The solvable radical Rad L of L is defined 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 iff 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 k We have D J = 0. So D [x[JJ ]] ⊆ [[xJ ]J ] + [J [xJ ]] ⊆ [JJ ] k −1 J is a nonzero abelian ideal in L. ￿ 5.2. Killing form. The Killing form κ : L × L → F is defined by κ(x, y ) = Tr(ad x ad y ) The Killing...
View Full Document

This document was uploaded on 03/09/2014 for the course MATH 223a at Brandeis.

Ask a homework question - tutors are online