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!!!

  • 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.

  • 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.