Álgebra de Lie semissimples

Predefinição:Sem notas Predefinição:Grupos de Lie Em matemática, uma álgebra de Lie é semissimples se ela é uma soma direta de álgebras de Lie simples, i.e., álgebras de Lie não abelianas $𝔤$ nas quais os únicos ideais são triviais ({0} e $𝔤$). Ela é chamada redutiva se ela é a soma de uma álgebra de Lie semissimples e abeliana.

Sendo $𝔤$ uma álgebra de Lie dimensional finita sobre uma corpo de característica 0. As seguintes condições são equivalentes:

• $𝔤$ é semissimples
• a forma de Killing, κ(x,y) = tr(ad(x)ad(y)), é não degenerada,
• $𝔤$ não tem ideais abelianos não-zero,
• $𝔤$ não tem ideais solúveis não-zero,
• O radical de $𝔤$ é zero.

Bibliografia

• Erdmann, Karin & Wildon, Mark. Introduction to Lie Algebras, 1st edition, Springer, 2006. ISBN 1-84628-040-0
• Varadarajan, V. S. Lie Groups, Lie Algebras, and Their Representations, 1st edition, Springer, 2004. ISBN 0-387-90969-9