Базис тождеств алгебры Ли $sl(2)$ над конечным полем

Доказано, что тождества алгебры Ли $sl(2)$ над конечным полем из $q$ элементов характеристики $p>3$ допускают базис из двух тождеств:
\begin{gather*} xy-xyx^{q^2-1}-xyy^{q-1}+xyx^{q^2-1}y^{q-1} \\ +xy(x^{q^2}-x)[xy]^{q-2}(y^{q^2}-y)-y((x^{q^2}-x)y)^q(y^{q^2-2}-y^{q-2})\equiv0, \\ yx^2(x^{q^2}-x)\equiv0, \end{gather*}
где $x_1\dots x_{n-1}x_n=[x_1\dots x_{n-1},x_n]$; $yx^m=y\underbrace{x\dots x}_{m}$. Библиогр. 13 назв.