Independent axiomatizability of quasi-varieties of soluble groups (Q1803009): Difference between revisions

The question of independent axiomatizability was studied in various classes of algebraic systems; in the present paper it will be studied in the context of quasi-varieties of groups. Let \(\mathcal A\) be the class of all abelian groups, \(L_ q\) the lattice of the quasi-varieties in which all groups are soluble. It is natural to ask for the existence of independent bases of quasi-identities of the quasi-varieties which are covers of the quasi-variety \(\mathcal A\) in the lattice \(L_ q\). In this paper we find all covers of the quasi-variety \(\mathcal A\) in the lattice \(L_ q\). For each of these covers we solve the question of existence of an independent basis of quasi-identities.