Series of examples of almost distributive varieties of Lie rings of prime characteristic (Q2736214)

A variety \(\mathcal V\) is called almost distributive if its subvariety lattice is non-distributive while the subvariety lattice of any proper subvariety of \(\mathcal V\) is distributive. In the authors' article [Sb. Math. 186, No. 4, 465-483 (1995; Zbl 0841.17006)] it was verified that any variety of solvable Lie rings contains an almost distributive subvariety. The first explicit examples of almost distributive varieties of solvable Lie rings were found in another article of the author [Fundam. Prikl. Mat. 5, No.~4, 955-978 (1999; Zbl 1067.17500)]. Namely, in the article just mentioned two countable series of almost distributive varieties of solvable Lie rings of characteristic \(p^2\) (where \(p\) is a prime number) were constructed. The main result of the article under review is the following NEWLINENEWLINENEWLINETheorem. Let \(p\) be a prime number. The variety of Lie rings given by the identities NEWLINE\[NEWLINEpx=0,\;xy(zt)=0,\;xyz^p+yzx^p+zxy^p=0,\;xyz^{2p-1}=0,NEWLINE\]NEWLINE NEWLINE\[NEWLINEx_1x_2x_3^px_4\cdots x_{2p}+\sum_{k=3}^{2p}x_1x_kx_2^px_3\cdots x_{k-1}x_{k+1}\cdots x_{2p}=0\text{ and }x_1x_2\cdots x_{3p}=0NEWLINE\]NEWLINE is almost distributive. This is the first example of almost distributive varieties of solvable Lie rings of prime characteristic \(p\).