Comparing Numbers of Diagonal Subsemigroups and Congruences for Semigroups
Rings and Algebras
2026-02-20 v1 Combinatorics
Group Theory
Abstract
Given a semigroup , a diagonal subsemigroup is defined to be a reflexive and compatible relation on , i.e. a subsemigroup of the direct square containing the diagonal . When is finite, we define the DSC coefficient to be the ratio of the number of congruences to the number of diagonal subsemigroups. In a previous work we observed that if and only if is a group. Here we show that for any rational with , there exists a semigroup with . We do this by utilizing the Rees matrix construction and adapting the congruence classification of such semigroups to describe their diagonal subsemigroups.
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}
}