An equation for operators on varieties of completely regular semigroups (Q343225)

Any equivalence relation \(\mathbf{A}\) on the lattice \(\mathcal{V}(\mathcal{CR})\) of varieties of completely regular semigroups, all of whose classes are intervals, induces operators \(\mathcal{V} \mapsto \mathcal{V}_A\) and \(\mathcal{V} \mapsto \mathcal{V}^A\), taking a variety \(\mathcal{V}\) to the least and greatest members, respectively, of the interval to which it belongs. Many such operators are found by intersecting, or joining, with certain classes of completely regular semigroups, for example with the varieties of bands and of groups. The well-known \(\mathbf{K}\) and \(\mathbf{T}\) relations, while normally defined in terms of fully invariant congruences, may also be determined in this way, as are the `local' and `core' relations \(\mathbf{L}\) and \(\mathbf{C}\). The equation in the title is \(\mathcal{V} = (\mathcal{V}^X)_Y\), where \(\mathbf{X}\) and \(\mathbf{Y}\) are pairs of the above relations. The results are conveniently summarized in a table. As the author notes, concrete descriptions of the varieties \(\mathcal{V}_Y\) are often generally unavailable, so when this equation holds it frequently provides such a concrete description, since many of the varieties \(\mathcal{V}^X\) are well determined.