
Completely regular semigroups are semigroups that are unions of their subgroups. They may be regarded as universal algebras with an associative binary multiplication and unary inversion. In this language they form a variety \({\mathcal C}{\mathcal R}\). We present subvarieties of \({\mathcal C}{\mathcal R}\) by the corresponding fully invariant congruences on the free unary semigroup U. We give some constructions of how to obtain new f.i. congruences from the given ones. The basic construction is the following: given an f.i. congruence \(\sim\) on U, put a\({\bar \sim}b\) iff \(E(a)=E(b)\), \(a\sim b\), O(a)\({\bar \sim}O(b)\), \(\ell (a){\bar \sim}\ell (b)\) (E(a) denotes the set of all variables of a, O(a) is the longest initial segment of a in all but one variable with removed non-matched ''('', \(\ell (a)\) is defined dually). For \({\mathcal V},{\mathcal W}\in {\mathcal L}({\mathcal C}{\mathcal R})\) (the lattice of all varieties of c.r. semigroups), put \({\mathcal V}\rho {\mathcal W}\) iff \(\overline{\sim_{{\mathcal V}}}=\overline{\sim_{{\mathcal W}}}\) for the corresponding f.i. congruences \(\sim_{{\mathcal V}}\) and \(\sim_{{\mathcal W}}\). The relation is a complete lattice congruence on \({\mathcal L}({\mathcal C}{\mathcal R})\). (The smallest \(\rho\)-class is formed by all varieties of bands, another \(\rho\)-class is the interval [the class of all groups, the class of all orthodox c.r. semigroups].) We characterize a certain part of \({\mathcal L}({\mathcal C}{\mathcal R})/\rho\). The following aim is partially reached: a reduction of the description of \({\mathcal L}({\mathcal C}{\mathcal R})\) to the description of \({\mathcal L}({\mathcal C}{\mathcal R})/\rho\).
ladders, variety of completely regular semigroups, varieties of orthogroups, Article, Varieties and pseudovarieties of semigroups, lattice of varieties, Completely regular semigroups, Quasivarieties and varieties of groups, varieties of bands, lattice of band varieties, 510.mathematics, lattice of group varieties, unions of groups, basis of identities, fully invariant congruence, Lattices of varieties, orthogroup varieties, complete congruences, Mappings of semigroups, free unary semigroup, fully invariant congruences
ladders, variety of completely regular semigroups, varieties of orthogroups, Article, Varieties and pseudovarieties of semigroups, lattice of varieties, Completely regular semigroups, Quasivarieties and varieties of groups, varieties of bands, lattice of band varieties, 510.mathematics, lattice of group varieties, unions of groups, basis of identities, fully invariant congruence, Lattices of varieties, orthogroup varieties, complete congruences, Mappings of semigroups, free unary semigroup, fully invariant congruences
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 62 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 1% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
