Finite Axiomatisability of Subdirectly Irreducible Members of Certain Nilpotent Varieties

2019/12/09 by Grice, Joshua
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1912.04176

Abstract

Let V be a congruence permutable variety generated by a finite nilpotent algebra A. If A is a product of algebras of prime power order, then the class V_si of subdirectly irreducible members of V can be axiomatised by a finite set of elementary sentences.

Related

• Axiomatisability of the Class of Monolithic Groups in a Variety of\n Nilpotent Groups
• Algebras from Congruences
• Finitely generated equational classes
• Strong solvability and residual finiteness for finitely decidable varieties
• Finiteness properties of direct products of algebraic structures