On separability finiteness conditions in semigroups

DOI10.1017/S1446788721000124arXiv2006.08499MaRDI QIDQ6342964FDOQ6342964

Authors: Craig Miller, Gerard O'Reilly, Martyn Quick, N. Ruškuc 

Publication date: 15 June 2020

Abstract: Taking residual finiteness as a starting point, we consider three related finiteness properties: weak subsemigroup separability, strong subsemigroup separability and complete separability. We investigate whether each of these properties is inherited by Sch"utzenberger groups. The main result of this paper states that for a finitely generated commutative semigroup $S$, these three separability conditions coincide and are equivalent to every $mathcalH$-class of $S$ being finite. We also provide examples to show that these properties in general differ for commutative semigroups and finitely generated semigroups. For a semigroup with finitely many $mathcalH$-classes, we investigate whether it has one of these properties if and only if all its Sch"utzenberger groups have the property.

Mathematics Subject Classification ID

Commutative semigroups (20M14) General structure theory for semigroups (20M10)

This page was built for publication: On separability finiteness conditions in semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6342964)