We investigate semigroups S which have the property that every subsemigroup of S × S which contains the diagonal {(s,s):s ∈ S} is necessarily a congruence on S. We call such an S a DSC semigroup. It is well known that all finite groups are DSC, and easy to see that every DSC semigroup must be simple. Building on this, we show that for broad classes of semigroups, including periodic, stable, inverse and several well-known types of simple semigroups, the only DSC members are groups. However, it turns out that there exist nongroup DSC semigroups, which we obtain by utilising a construction introduced by Byleen for the purpose of constructing interesting congruence-free semigroups. Such examples can additionally be regular or bisimple.Peer reviewe
