lecture notes5

# Denition 511 the solvable radical rad l of l is dened

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

This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: are both solvable. Deﬁnition 5.1.1. The solvable radical Rad L of L is deﬁned 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 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 deﬁned 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