On the structure of the enveloping algebra of a nilpotent Lie \(p\)-algebra (Q1813770): Difference between revisions

Let \(L\) be a finite-dimensional nilpotent \(p\)-algebra over an algebraically closed field of characteristic \(p>0\), \(T\) a maximal torus in \(L\) and \(u(L,S)\) the \(S\)-reduced universal enveloping algebra, where \(S\in L^*\). The author shows that (1) \(u(L,S)=\oplus_{I\in {\mathfrak U}}W_ I,\dim W_ I=p^{\dim L/T}\), \(|{\mathfrak U}|=p^{\dim T}\), where \(W_ I\) is a minimal two-sided ideal in \(u(L,S)\) for \(I\in {\mathfrak U}\). (2) All simple composition factors of the module \(W_ I\) are isomorphic. Let \(V_ I\) denote the simple module corresponding to \(W_ I\). Then the map \(W_ I\to V_ I\) is bijective between \(\{W_ I:I\in{\mathfrak U}\}\) and the set of all simple \(u(L,S)\)-modules.