Restricted Lie algebras of characteristic \(p\). (Q2579773)

Es sei \(k\) ein Körper der Charakteristik \(p\). Verf. versteht unter einer \textit{eingeschränkten} (``restricted'') \textit{Lieschen Algebra} \(\mathfrak{L}\) über \(k\) einen Vektorraum über \(k\), in dem zwei Operationen \([ab]\) und \(a^{[p]}\) für die Elemente \(a\), \(b\), \(c, \ldots\) aus \(\mathfrak{L}\) definiert sind mit folgenden Eigenschaften: 1) \([ab]=-[ba]\), \([a[bc]]+[b[ca]]+ [c[ab]]=0\); 2) \([a, \,b_1+b_2]=[ab_1]+[ab_2]\); 3) \([ab] \,\alpha=[a, \,b \alpha]= [a \alpha, \,b]\), \(\alpha\) in \(k\); 4) \((a+b)^{[p]}=a^{[p]}+b^{[p]}+ s(a, \,b)\); dabei ist \(s(a, \,b)=\sum\limits_{i=1}^{p-1} s_i(a, \,b)\) und \((p-i) \,s_i(a, \,b)\) der Koeffizient von \(\lambda^{p-i-1}\) in \([\cdots [a, \,\lambda a+b] \,\lambda a+b] \cdots] \,\lambda a+b]\) (\((p - 1)\)-fache Schachtelung!); 5) \((a \alpha)^{[p]}=a^{[p]} \alpha^p\); 6) \([\cdots [ a {\oversetbrace \text{}p}\) \to {b]b] \cdots b}