Finite Axiomatisability of Subdirectly Irreducible Members of Certain Nilpotent Varieties

Abstract: Let

m a t h c a l V

be a congruence permutable variety generated by a finite nilpotent algebra

m a t h b f A

. If

m a t h b f A

is a product of algebras of prime power order, then the class

m a t h c a l V_{e} x t s i

of subdirectly irreducible members of

m a t h c a l V

can be axiomatised by a finite set of elementary sentences.

This page was built for publication: Finite Axiomatisability of Subdirectly Irreducible Members of Certain Nilpotent Varieties