Showing 1–2 of 2 results for author: Grice, J

Finite Axiomatisability of Subdirectly Irreducible Members of Certain Nilpotent Varieties

Authors: Joshua Grice

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. 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. △ Less

Submitted 30 August, 2023; v1 submitted 9 December, 2019; originally announced December 2019.

Comments: There is an error that has not been fixed

Axiomatisability of the Class of Monolithic Groups in a Variety of Nilpotent Groups

Authors: Joshua Grice

Abstract: The class of all subdirectly irreducible groups belonging to a variety generated by a finite nilpotent group can be axiomatised by a finite set of elementary sentences. The class of all subdirectly irreducible groups belonging to a variety generated by a finite nilpotent group can be axiomatised by a finite set of elementary sentences. △ Less

Submitted 25 November, 2019; originally announced November 2019.

MSC Class: primary 20A05; secondary 20F18; 20D15; 20E10; 08B10