2020/06/15 by Miller, Craig, O'Reilly, Gerard, Quick, Martyn +1
#20M10 #FOS: Mathematics #Group Theory (math.GR)
paper · doi:10.48550/arxiv.2006.08499
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ützenberger 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 H-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 H-classes, we investigate whether it has one of these properties if and only if all its Schützenberger groups have the property.