On Q-theories of 2-generated groups with given axiomatic rank (Q916782)

A Q-theory of a class K of algebras is the set \(T_ Q(K)\) of all quasi- identities which are true on all algebras in K. A natural number n is called the axiomatic rank of the theory if \(T_ Q(K)\) follows from a subset written in at most n variables. Q-theories of many classes of groups are known to have infinite rank. Here the author shows that for any natural n there exists a continuum set of Q-theories of 2-generator groups the axiomatic rang k of each of which equals n. It follows from the proof that the number of Q-theories of 2-generator groups with infinite rank is also continuum.