PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
simple and semi-simple Lie algebras (Definition)

A Lie algebra is called simple if it has no proper ideals and is not abelian. A Lie algebra is called semi-simple if it has no proper solvable ideals and is not abelian.

Let $ k=\mathbb{R}$ or $ \mathbb{C}$. Examples of simple algebras are $ \mathfrak{sl}_nk$, the Lie algebra of the special linear group (traceless matrices), $ \mathfrak{so}_nk$, the Lie algebra of the special orthogonal group (skew-symmetric matrices), and $ \mathfrak{sp}_{2n} k$ the Lie algebra of the symplectic group. Over $ \mathbb{R}$, there are other simple Lie algebas, such as $ \mathfrak{su}_n$, the Lie algebra of the special unitary group (skew-Hermitian matrices). Any semi-simple Lie algebra is a direct product of simple Lie algebras.

Simple and semi-simple Lie algebras are one of the most widely studied classes of algebras for a number of reasons. First of all, many of the most interesting Lie groups have semi-simple Lie algebras. Secondly, their representation theory is very well understood. Finally, there is a beautiful classification of simple Lie algebras.

Over $ \mathbb{C}$, there are 3 infinite series of simple Lie algebras: $ \mathfrak{sl}_n$, $ \mathfrak{so}_n$ and $ \mathfrak{sp}_{2n}$, and 5 exceptional simple Lie algebras $ \mathfrak{g}_2,\mathfrak{f}_4,\mathfrak{e}_6,\mathfrak{e}_7$, and $ \mathfrak{e}_8$. Over $ \mathbb{R}$ the picture is more complicated, as several different Lie algebras can have the same complexification (for example, $ \mathfrak{su}_n$ and $ \mathfrak{sl}_n\mathbb{R}$ both have complexification $ \mathfrak{sl}_n\mathbb{C}$).



"simple and semi-simple Lie algebras" is owned by mathcam. [ full author list (3) | owner history (1) ]
(view preamble)

View style:

See Also: Lie algebra, Lie group, root system, root system underlying a semi-simple Lie algebra

Also defines:  simple Lie algebra, semi-simple Lie algebra, semisimple Lie algebra, simple, semi-simple, semisimple
Log in to rate this entry.
(view current ratings)

Cross-references: complexification, series, infinite, theory, representation, Lie groups, number, algebras, classes, direct product, skew-Hermitian matrices, unitary group, group, skew-symmetric matrices, special orthogonal group, matrices, special linear group, simple algebras, ideals, solvable, proper ideals, Lie algebra
There are 31 references to this entry.

This is version 6 of simple and semi-simple Lie algebras, born on 2002-12-04, modified 2007-03-29.
Object id is 3644, canonical name is SimpleAndSemiSimpleLieAlgebras2.
Accessed 17667 times total.

Classification:
AMS MSC17B20 (Nonassociative rings and algebras :: Lie algebras and Lie superalgebras :: Simple, semisimple, reductive )

Pending Errata and Addenda
None.
[ View all 5 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)