On quasi-identities of finite nilpotent algebras (Q1272209): Difference between revisions

The author proves the conjecture of \textit{V. A. Gorbunov}: ``If a finite algebra \(G\) in a congruence modular variety \(\mathcal V\) has a nilpotent nonabelian subalgebra \(H,\) then the quasivariety generated by \(G\) is not finitely based'' for quasirings, introduced by \textit{A. I. Mal'tsev} in 1953. Several statements which confirm this conjecture with some additional conditions for the variety \(\mathcal V\) and the algebra \(H\) are shown.