Infinite primal algebras and Post varieties (Q1320697)

For an infinite primal algebra \(A\), the author proves that its set of identities has no finite basis. Thus, Post varieties \(P_ \alpha\), \(\alpha\geq \omega\), are not finitely based, which was proved by the author [Algebra Logika 22, No. 6, 693-706 (1983; Zbl 0575.08004)] for \(\alpha\geq 2^ \omega\) only. In the same paper, it was proved that the theory \(\text{SC}(P_ \omega)\) is the unique complete Mal'tsev theory. Nevertheless, it has remained unsolved whether varieties having complete SC-theories exist. Here, the class of varieties with complete SC-theories is characterized in terms of representability of finitely based varieties. With the help of this, a variety with a complete SC-theory in which no Post variety \(P_ \alpha\), \(\alpha\geq \omega\), has a representation, is constructed. The structure of free algebras of finite rank in Post varieties \(P_ \alpha\), \(\alpha\geq \omega\), is given.