On the Specht property of varieties of commutative alternative algebras over a field of characteristic \(3\) and commutative Moufang loops (Q5938487)

A variety of algebras is called Spechtian if each of its subvarieties is finitely based. The problem of whether the variety of solvable alternative algebras of characteristic \(\neq 2,3\) is Spechtian was solved by \textit{U.~U.~Umirbaev} [Algebra Logic 24, No. 2, 363-369 (1985; Zbl 0576.17016)]. \textit{Yu.~A.~Medvedev} [Algebra Logic 19, No. 3, 191-201 (1981; Zbl 0468.17005)] exhibited a variety of solvable alternative algebras of characteristic \(2\) without a finite basis of identities. S.~V. Pchelintsev has recently constructed an example of an infinite system of identities irreducible in the variety of centrally metabelian (noncommutative) alternative algebras of characteristic \(3\). Let \(N_k\) (\(A\)) be the variety of nilpotent (with zero multiplication) alternative algebras of index \(\leq k\). By the result of \textit{U.~U.~Umirbaev}, the variety \(N_kA\cap N_3N_m\) (of characteristic \(\neq 2,3\)) is Specht. In the article under review the author proves that the variety \(N_kA\cap N_3N_m\) of commutative alternative algebras of characteristic \(3\) is Spechtian. The author also constructs infinite independent systems of identities of commutative alternative algebras of characteristic \(3\) (in particular, the author gives an example of non-Spechtian variety of solvable commutative alternative algebras of characteristic \(3\)). Another example of an infinite independent system of identities for a commutative Moufang loop was given by \textit{N.~I.~Sandu} [Izv. Akad. Nauk SSSR, Ser. Mat. 51, No. 1, 171-188 (1987; Zbl 0615.20055)]. In the article under review the author gives another example of such a system whose construction is simpler.