Lie cebiri: Revizyonlar arasındaki fark

Bir Lie cebiri [[Cartan's ölçütü]] koşullarını vermesi için sıfırın-gücünilpotent, çözünebilirlikçözünebilir, veyave yarı yalınbasit olmalıdır. [[Killing formu]], nun gösterim tabanı [[simetrik çiftdoğrusal form]] olarak <math>\mathfrak{g}</math> şu formulle tanımlanır

burada tr [[Trace (linear algebra)|bir doğrusal operatörün izi]] ifadesidir. Bir Lie cebri <math>\mathfrak{g}</math> ancak va ancak Killing formu [[nondegenerate form|dejenere olmayan]] ise yarı yalındırbasittir. Bir Lie cebri <math>\mathfrak{g}</math> ancak ve ancak <math>K(\mathfrak{g},[\mathfrak{g},\mathfrak{g}])=0.</math> ise çözünebilirdir