Commuting fully invariant congruences on free completely regular semigroups
Francis J. Pastijn · Transactions of the American Mathematical Society · 1991
We show that "almost all" fully invariant congruences on every free completely regular semigroup commute. From this it is shown that the lattice of completely regular semigroup varieties is arguesian.