OFFSET
0,2
COMMENTS
Let S be a semigroup. An element A in S is regular iff A = A*B*A for some B in S. An element in the semigroup of all binary relations is regular iff its row space forms a distributive lattice under set inclusion.
LINKS
K. K.-H. Butler and G. Markowsky, The Number of Maximal Subgroups of the Semigroup of Binary Relations, Kyungpook Math. J. Vol 12, June 1972.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Geoffrey Critzer, May 22 2022
STATUS
approved