2000 character limit reached
Finite Axiomatisability of Subdirectly Irreducible Members of Certain Nilpotent Varieties (1912.04176v3)
Published 9 Dec 2019 in math.LO
Abstract: Let $\mathcal{V}$ be a congruence permutable variety generated by a finite nilpotent algebra $\mathbf{A}$. If $\mathbf{A}$ is a product of algebras of prime power order, then the class $\mathcal{V}_\text{si}$ of subdirectly irreducible members of $\mathcal{V}$ can be axiomatised by a finite set of elementary sentences.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.