The least commutative congruence on a simple regular ω -semigroup.