Remarks on NQ-critical commutative unary algebras (Q2207020)

An algebra is said to be quasicritical (or Q-critical) if it does not belong to the quasivariety generated by proper subalgebras of this algebra, i. e., subalgebras that are not isomorphic to the algebra itself. In some quasivarieties, any finitely generated algebra is a subdirect product of its quasicritical subalgebras. The authors introduce the notion of an NQ-critical algebra in the class of all finitely generated commutative unary algebras. Next, a commutative unary algebra is called a kernel algebra if each its connected component has the least subalgebra with respect to inclusion. It is proved that every finitely generated kernel commutative unary algebra is either NQ-critical or a subdirect product of proper NQ-critical subalgebras.