Semigroup Congruences and Subsemigroups of the Direct Square

Callum Barber, Nik Ruškuc

We investigate semigroups $S$ which have the property that every subsemigroup of $S\times S$ which contains the diagonal $\{(s,s):s\in S\}$ is necessarily a congruence on $S…