4
$\begingroup$

Recently I've been reading Naive Lie Theory by John Stillwell. In the book our aim usually concerns finding whether Lie algebras or Lie groups are simple.

I wonder what beautiful properties does a simple Lie algebra have?

Well, I've only learned linear algebra, mathematical analysis and a bit of abstract algebra, so I might expect a more amateur answer~ I think there may be other readers of the book sharing the same question. And a good answer may help us gain more motivation to learn about Lie theory~

Much thanks!!!

  • 6
    Simple Lie algebras can be completely classified (http://en.wikipedia.org/wiki/Semisimple_Lie_algebra#Classification), their representations can be completely classified, and they can be used as building blocks for general Lie algebras (http://en.wikipedia.org/wiki/Levi_decomposition).2012-05-07
  • 0
    @QiaochuYuan Maybe you want to convert/extend this comment to an answer?2013-06-13

2 Answers 2

2

First of all, we have a complete classification of the (complex) simple Lie algebras. Namely, we have that every simple Lie algebra is one of the following:

  • $\mathfrak{sl}(n)$
  • $\mathfrak{so}(n)$
  • $\mathfrak{sp}(2n)$
  • one of the five exceptional simple Lie algebras $\mathfrak{e}_6$, $\mathfrak{e}_7$, $\mathfrak{e}_8$, $\mathfrak{f}_4$ and $\mathfrak{g}_2$

This gives us directly a classification of all semisimple Lie algebras (i.e. the "well behaved" Lie algebras). It also helps to study general Lie algebras through Levi's theorem, which says that every Lie algebra is the semi-direct product of its radical (i.e. its maximal solvable ideal) and a simple Lie algebra.

  • 0
    You are missing a type. There are four non-exceptional types.2013-08-07
  • 0
    @TobiasKildetoft: The list of classical types is complete. However the cases $\def\so{\mathfrak{so}}\so(2n+1)$ and $\so(2n)$ of odd and even orthogonal algebras have sufficiently different properties that they are considered to form different families (of types $B_n$ and $D_n$ respectively).2013-08-07
  • 0
    @MarcvanLeeuwen Ahh, right.2013-08-07
  • 1
    Calling semi-simple algebras _the_ "well-behaved" Lie algebras is somewhat misleading; according to this description Abelian Lie algebras and the algebras $\mathfrak{gl}(n)$ would not be considered well-behaved, while they are in fact in many ways easier than the semisimple algebras. It is just that it sometimes simplifies reasoning to suppose that a Lie algebra is semisimple; with respect to handling _reductive_ Lie algebras (as one should) it avoids drawing attention to the relatively uninteresting central part of the algebra.2013-08-07
1

Simple, and more generally semisimple Lie algebras are very nice because of their structural properties and that they can be classified in an elegant way. The significance of semisimplicity also comes from the Levi decomposition, which states that every finite dimensional Lie algebra is the semidirect product of a solvable ideal (its radical) and a semisimple algebra.