Lie solvable enveloping algebras of characteristic two (Q2437451)

Lie solvable restricted enveloping algebras over a field \(\mathbb{F}\) were characterized earlier by \textit{D. M. Riley} and \textit{A. Shalev} [J. Algebra 162, No. 1, 46--61 (1993; Zbl 0798.17011)] for the case \(\text{char}(\mathbb{F}) \neq 2\). The authors complete the classification for the remaining case. As an application of the main result, they obtain a characterization of ordinary Lie algebras over any field whose enveloping algebra is Lie solvable. The main theorem in particular states the following: Let \(L\) be a restricted Lie algebra over a field \(\mathbb{F}\) with \(\text{char}(\mathbb{F})=2\) and algebraic closure \(\overline{\mathbb{F}}\), and set\(\mathcal{L}=L\otimes_{\mathbb{F}}\overline{\mathbb{F}}\). Then \( u(L)\) is Lie solvable if and only if \(L\) has a finite-dimensional 2-nilpotent restricted ideal \(I\) such that \(\overline{\mathcal{L}} = \mathcal{L}/I\) satisfies one of the following conditions: (i) \(\overline{\mathcal{L}}\) has an abelian restricted ideal of codimension at most 1; (ii) \(\overline{\mathcal{L}}\) is nilpotent of class 2 and \(\dim \overline{\mathcal{L}}/Z(\overline{\mathcal{L}}) = 3\); (iii) \(\overline{\mathcal{L}} =<x_1, x_2, y>_{\overline{\mathbb{F}}}\oplus Z(\overline{\mathcal{L}})\), where \([x_1, y] = x_1, [x_2, y] = x_2\), and \([x_1, x_2]\in Z(\overline{\mathcal{L}})\); (iv) \(\overline{\mathcal{L}} = <x, y>_{\overline{\mathbb{F}}}\oplus H\oplus Z(\overline{\mathcal{L}})\), where \( H\) is a strongly abelian finite-dimensional restricted subalgebra of \(\overline{\mathcal{L}}\) such that \([x, y] = x, [y,h] = h\), and \([x,h]\in Z(\overline{\mathcal{L}})\) for every \(h\in H\); (v) \(\overline{\mathcal{L}} =<x, y>_{\overline{\mathbb{F}}}\oplus H\oplus Z(\overline{\mathcal{L}})\), where \( H\) is a finite-dimensional abelian subalgebra of \(\overline{\mathcal{L}}\) such that \([x, y] = x, [y,h] = h, [x,h]\in Z(\overline{\mathcal{L}})\), and \( [x,h]^{[2]} =h^{[2]}\), for every \(h\in H\).