English

Comparing Numbers of Diagonal Subsemigroups and Congruences for Semigroups

Rings and Algebras 2026-02-20 v1 Combinatorics Group Theory

Abstract

Given a semigroup SS, a diagonal subsemigroup ρ\rho is defined to be a reflexive and compatible relation on SS, i.e. a subsemigroup of the direct square S×SS\times S containing the diagonal {(s,s) ⁣:sS}\{ (s,s)\colon s\in S\}. When SS is finite, we define the DSC coefficient χ(S)\chi(S) to be the ratio of the number of congruences to the number of diagonal subsemigroups. In a previous work we observed that χ(S)=1\chi(S) = 1 if and only if SS is a group. Here we show that for any rational α\alpha with 0<α10 < \alpha \leq 1, there exists a semigroup with χ(S)=α\chi(S) = \alpha. We do this by utilizing the Rees matrix construction and adapting the congruence classification of such semigroups to describe their diagonal subsemigroups.

Keywords

Cite

@article{arxiv.2602.17286,
  title  = {Comparing Numbers of Diagonal Subsemigroups and Congruences for Semigroups},
  author = {Callum Barber and Nik Ruškuc},
  journal= {arXiv preprint arXiv:2602.17286},
  year   = {2026}
}
R2 v1 2026-07-01T10:42:47.745Z