Lie-algebras with faithful completely reducible representations (Q1145201)

Sei \(G\) eine Lie-\(p\)-Algebra und \(S\in G^*\). Eine Darstellung \(T\) heißt \(S\)-Darstellung, wenn \(T(x)^p - T(x^{[p]}) = S(x)^p\operatorname{Id}\) gilt. Eine Lie-\(p\)-Algebra, welche eine treue vollständige reduzible \(S\)-Darstellung besitzt, heiße \(S\)-semiprimitiv. Es werden alle \(S\)-semiprimitiven Lie-Algebren über einem vollkommenen Körper charakterisiert. (Sätze 3.11 und 3.13). Z.B. ist eine nilpotente Lie-\(p\)-Algebra \(G\) genau dann \(S\)-semiprimitiv, wenn \(\operatorname{ker}S \cap \operatorname{Zentr.}(G)\) kein \([p]\)-nilpotentes Element besitzt (Corollar 3.14). Eine Lie-\(p\)-Algebra \(G\) mit \(\operatorname{Zentr.} G = (0)\) ist genau dann \(0\)-semiprimitiv, wenn \(\operatorname{rad} G = (0)\) gilt.