Monoid varieties defined by \(x^{n+1}=x\) are local (Q688973)

A category \(C\) divides a category \(D\) if there is a category \(E\), a functor \(E\to D\) which is injective on hom-sets, and a functor \(E\to C\) which is bijective on objects and surjective on hom-sets. A variety [pseudovariety] of categories is a class of small [finite] categories closed under [finite] direct products and under division. A variety [pseudovariety] \(\mathcal V\) of monoids is said to be local if there exists a unique variety [pseudovariety] of categories \(\mathcal W\) such that for every category \(C\) in \(\mathcal W\) and every object \(c\) in \(C\) the hom-set \(C(c,c)\) belongs to \(\mathcal V\). It is shown that for any variety [pseudovariety] \(\mathcal H\) of groups of exponent dividing \(n\), the variety \(\mathcal{CR}({\mathcal H})\) [pseudovariety \(\mathcal{FCR}({\mathcal H})\)] of all [finite] completely regular monoids whose maximal subgroups belong to \(\mathcal H\), is local.