On separability finiteness conditions in semigroups

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 $\mathcal{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 $\mathcal{H}$-classes, we investigate whether it has one of these properties if and only if all its Sch\"utzenberger groups have the property.

element x can be separated from Y . We note that when S is the collection of singleton subsets, this is equivalent to residual finiteness. If the class C of algebras is closed under direct products, then residual finiteness is equivalent to an algebra having the separability property with respect to the collection of finite subsets. By varying S, we will consider several properties. Many of these properties have already been studied in different contexts and under various names.
When S is the collection of all finitely generated subalgebras, we say that an algebra is weakly subalgebra separable. Weak subalgebra separability can play a similar role to residual finiteness, in that if an algebra is finitely presented and weakly subalgebra separable then the generalised word problem is solvable [5]. Evans referred to weak subalgebra separability as finite divisibility. In group theory, this property is known simply as subgroup separability or locally extended residual finiteness (LERF). This group-theoretic property has received considerable attention. Many classes of groups have been shown to be weakly subgroup separable including free groups [15], fundamental groups of geometric 3-manifolds [1], and finitely generated nilpotent groups (which includes finitely generated abelian groups) [25]. Within semigroup theory this property has received less attention, but Golubov did briefly consider it amongst some other separability properties in [6].
If S is the collection of all subalgebras, we say that an algebra is strongly subalgebra separable. In group theory this is known as extended residual finiteness (ERF). Although strongly subgroup separable groups have not received as much attention as weakly subgroup separable groups, they have been studied to some extent, for example in [27]. In semigroup theory, this property has been known as finite divisibility or finite separability. Strongly subsemigroup separable semigroups were considered by Lesohin in [22,23] and were then intensively studied by Golubov in [7,8,9,10]. In [7] Golubov characterised when commutative semigroups are strongly subsemigroup separable.
Finally, we consider the case where S is the collection of all subsets. Then we are able to separate any point in an algebra from any subset of its complement. We call algebras satisfying this condition completely separable. Completely separable semigroups are also known as semigroups with finitely divisible subsets and again were studied by Golubov. In [7] he showed that free semigroups and free commutative semigroups are completely separable, and also proved that complete separability and strong subsemigroup separability coincide for semigroups without idempotents.
Due to the many different and sometimes inconsistent names used for these properties, we have decided to introduce our own terms, i.e., weak subalgebra separability, strong subalgebra separability and complete separability. In our nomenclature, the names are designed to describe the properties and highlight the relationship between the different properties. Under this system of names, it might be more appropriate to call residual finiteness point separability. However, as the term 'residually finite' is now universally used in literature, we have decided to maintain its use.
The purpose of this paper is to discuss the properties of weak subalgebra separability, strong subalgebra separability and complete separability for semigroups, and to explore the relationships between them. In Section 2, we outline the necessary preliminary definitions and results. In Section 3, we investigate how Schützenberger groups are affected by these properties. This builds upon observations of when groups have the different separability properties within the class of groups and when they have them within the class of semigroups. Somewhat surprisingly, given that Schützenberger groups can be seen as a generalisation of maximal subgroups, we discover that Schützenberger groups of non-regular H-classes exhibit different behaviour from maximal subgroups.
Section 4 begins with a brief summary of work by Kublanovskiȋ and Lesohin [19]. These authors showed that in finitely generated commutative semigroups, the properties of complete separability and strong subsemigroup separability coincide. We strengthen their result by showing that in finitely generated commutative semigroups, complete separability also coincides with weak subsemigroup separability, and they are all equivalent to every H-class of S being finite.
The question arises whether these three properties coincide in more general classes of semigroups. Section 5 is dedicated to providing examples to show that all three are in fact different for semigroups in general, and in particular for (infinitely generated) commutative semigroups and for finitely generated (non-commutative) semigroups.
Finally, in Section 6, we consider a special case where a semigroup only has finitely many H-classes. For a semigroup of this type, we investigate whether it has one of our separability conditions if and only if all of its Schützenberger groups do. We solve this question for complete separability and strong subsemigroup separability. For weak subsemigroup separability this remains an open question, but we provide a partial solution.

Preliminaries
We begin by establishing some notation. For a semigroup S and a nonempty subset X ⊆ S, we use X to denote the subsemigroup generated by the set X. For a congruence ∼ on S, we denote the congruence class of the element x by [x] ∼ . A congruence that has only finitely many congruence classes shall be known as a finite index congruence. Given an ideal I of a semigroup S, the Rees congruence ∼ I on S is given by The quotient S/∼ I is called the Rees quotient of S by I, and is denoted by S/I. We denote the Rees congruence class of an element x ∈ S by [x] I .
In the introduction we framed separability in the language of general algebra. From now on we focus on separability for semigroups. For clarity we now formally restate our separability conditions in the semigroup setting and also reformulate them in terms of congruences.
• A semigroup S is said to be residually finite if for any two distinct elements s, t ∈ S there exists a finite semigroup U and homomorphism f : Proof. It is clear from the definitions that the first two claims are true. For (3), assume that S is weakly subsemigroup separable and let a, b be distinct elements of S. Let A = a and B = b . We split into two cases. Firstly we assume that one of a, b is not contained in the monogenic subsemigroup generated by the other. Without loss of generality assume that a / ∈ B. Then as S is subsemigroup separable, there exists a finite semigroup U and homomorphism f : The second case is that a ∈ B and b ∈ A. Then a = b i for some i ∈ N and b = a j for some j ∈ N. Then it must be the case that A = B and that A is a finite cyclic group. Let e denote the identity of A and let c be the inverse of b. Then e = {e}. We note that neither a nor b is equal to e, as in either case this would imply that a = b = e. As a = b it follows that ac = e. Then, as S is weakly subsemigroup separable, there exists a finite semigroup U and homomorphism f : S → U such that f (ac) = f (e). It follows that f (a) = f (b). Hence S is residually finite.
Remark 2.2. It is clear that the first two statements of Proposition 2.1 hold in any class of algebras. However, it is not true in general that weak subalgebra separability implies residual finiteness. One example is the class of fields. Since Q has no proper subfields, it is weakly subfield separable. However, Q has no finite quotients so it is not residually finite.
In general, the converse of each implication from Proposition 2.1 is not true. This is demonstrated in Examples 2.5, 5.10 and 5.11. For every finite semigroup the profinite topology is discrete, so we can immediately observe that every finite semigroup is completely separable and hence that all four separability properties are finiteness conditions. The following proposition shows that subsemigroups inherit each of these separability properties. Proposition 2.3. Let S be a semigroup and T a subsemigroup of S. Let P be any of the following properties: complete separability, strong subsemigroup separability, weak subsemigroup separability, and residual finiteness. If S has property P then T also has property P.
Proof. As S has property P, it has the separability property with respect to C, where C is the collection of subsets of the type associated with P. Let X ⊆ T be a subset of the relevant type and let t ∈ T \X. Then X is also a subset of the relevant type in S and t ∈ S \X. Then as S has property P, there exists a finite semigroup U and homomorphism f : ∈ f | T (T \X) and T has property P.
In Section 3 we consider when certain groups have our separability properties. We consider these groups as semigroups so it is worth noting how the separability conditions vary between the class of groups and the class of semigroups.
A group G is residually finite within the class of groups if and only if it is residually finite within the class of semigroups. This is because every homomorphic image of a group is itself a group. Similarly, we can see that a group G is completely separable within the class of groups if and only if it is completely separable within the class of semigroups. Furthermore, we can fully classify completely separable groups.

Lemma 2.4. A group G is completely separable if and only if it is finite.
Proof. We have already observed that all finite groups are completely separable. Now suppose that G is completely separable. Then there exists a finite index congruence on G such that {e} is a congruence class, where e is the identity element. Then [G : {e}] is finite, implying that G is finite.
We note that there exist infinite groups which are strongly subsemigroup separable (and hence weakly subsemigroup separable), as Theorem 2.8 demonstrates.
It is also clear that if a group G is strongly subsemigroup separable, then it must also be strongly subgroup separable. This is because every subgroup is also a subsemigroup. However, if a group is strongly subgroup separable then it may not be strongly subsemigroup separable (or even weakly subsemigroup separable), as the following example demonstrates.
Example 2.5. Let Z denote the group of integers under addition. As every non-trivial subgroup of Z is a normal subgroup of finite index and their intersection is {0}, it follows that Z is strongly subgroup separable. Now consider the subsemigroup N = 1 ≤ Z and the element −1 / ∈ N. Let U be a finite semigroup and φ : Z → U be a homomorphism. Then φ(Z) is a finite cyclic group, generated by φ(1). Hence φ(−1) ∈ φ(1) = φ(N). Therefore Z is not even weakly subsemigroup separable. Since Z is residually finite, this shows that the properties of residual finiteness and weak subsemigroup separability are distinct in semigroups, and in particular in finitely generated commutative semigroups.
As a consequence of Proposition 2.3 and Example 2.5, we see that if a group G is weakly subsemigroup separable then it cannot contain a copy of Z. In other words, for G to be weakly subsemigroup separable it is necessary for it to be torsion. As every subsemigroup of a torsion group is in fact a subgroup, we observe the following. Proposition 2.6.
(1) A group G is weakly subsemigroup separable if and only if G is torsion and weakly subgroup separable. (2) A group G is strongly subsemigroup separable if and only if G is torsion and strongly subgroup separable.
We will now briefly discuss the situation for abelian groups. It is known that a group is residually finite if and only if it is isomorphic to a subdirect product of finite groups, see [4,Corollary 7.2]. It follows that an abelian group is residually finite if and only if it is isomorphic to a subdirect product of finite cyclic groups.
In order to discuss weak subsemigroup separability in abelian groups, we first give the following lemma. A semigroup is called locally finite if every finitely generated subsemigroup is finite. Lemma 2.7. Let S be a semigroup which is both residually finite and locally finite. Then S is weakly subsemigroup separable.
Proof. Let T ≤ S be finitely generated and x / ∈ T . Then as S is locally finite, T is finite, say T = {t 1 , t 2 , . . . , t n }. For each i, there is a finite semigroup P i and a homomorphism φ i : S → P i such that φ i (x) = φ i (t i ). Then φ : S → P 1 × P 2 × · · · × P n given by s → (φ 1 (s), φ 2 (s), . . . , φ n (s)) is a homomorphism which separates x from T .
For an abelian group to be weakly subsemigroup separable, it is necessary for it to be residually finite. It is also necessary for it to be torsion, as noted above. Since torsion abelian groups are locally finite, being residually finite and torsion are sufficient conditions for an abelian group to be weakly subsemigroup separable by Lemma 2.7.
In [7] Golubov was able to characterise when commutative semigroups are strongly subsemigroup separable. We can apply his result to abelian groups. For an abelian group A and for a prime p, recall that the p-primary component of A is the set where o(a) is the order of the element a. We say that A p has finite exponent if there exists n ∈ N such that o(a) ≤ p n for all a ∈ A p . Then Golubov's result, [7,Theorem 2], tells us that an abelian group A is strongly subsemigroup separable if and only if A is torsion and for each prime p, the primary pcomponent has finite exponent.
Finally, Lemma 2.4 tells us that a group is completely separable if and only if it is finite. We summarise all these observations. Theorem 2.8. Let A be an abelian group.
(1) A is residually finite if and only if it is isomorphic to a subdirect product of finite cyclic groups.

(2) A is weakly subsemigroup separable if and only if it is torsion and residually finite. (3) A is strongly subsemigroup separable if and only if it is torsion and
for each prime p, the primary p-component has finite exponent.

(4) A is completely separable if and only if it is finite.
In the remainder of this section we record some structural results for semigroups that will aid us in our investigations. For a semigroup S, let S 1 denote S with an identity adjoined if necessary. Green's relation H on S is defined by H = {(x, y) | xS 1 = yS 1 and S 1 x = S 1 y}.
The H relation is an equivalence relation, and in commutative semigroups it is also a congruence. For an element x ∈ S, we denote the H-class of x by H x . For an H-class H, the following are equivalent: H is a maximal subgroup; H contains an idempotent; the intersection H ∩ H 2 is non-empty [17, Corollary 2.2.6]. In fact, for an H-class H, if H ∩H n = ∅ for any n ≥ 2 then H is a maximal subgroup. This is folklore but we provide a proof for completeness. Suppose Then Then H ∩ H 2 = ∅ and it follows that H is a group. It is possible to associate a group to an arbitrary H-class H as follows.
Clearly Stab(H) is a submonoid of S 1 . We define a congruence σ H on Stab(H), called the Schützenberger congruence of H, by (x, y) ∈ σ H ⇐⇒ hx = hy for all h ∈ H.
Then Γ(H) = Stab(H)/σ H is a group, known as the Schützenberger group of H. It is known that: • Γ(H) acts regularly, i.e., transitively and freely, on H; One could similarly define a group Γ l (H) by considering the left stabiliser of H, but it turns out that Γ l (H) ∼ = Γ(H). For more on Schützenberger groups and proofs of the above claims, see [21,Section 2.3].
In a commutative semigroup S, inclusion among principal ideals induces a partial ordering on H classes: It is easy to see that for any a, x ∈ S we have H xa ≤ H x . From this it follows that there can be at most one minimal H-class and therefore if such an H-class exists, it is the least H-class under this partial ordering. We refer to such an H-class as the minimal H-class.
For Section 4, it will be important to be familiar with the basic structure theory of commutative semigroups. An archimedean semigroup is a commutative semigroup S such that for each a, b ∈ S there exists n > 0 such that H a n ≤ H b . We say that a semigroup S is a semilattice of semigroups if for some semilattice Y , we can write S as a disjoint union of subsemigroups . This leads us to the following structural theorem for commutative semigroups.
It follows from the definition that an archimedean semigroup can contain at most one idempotent. Hence a finitely generated commutative semigroup contains only finitely many idempotents.
We call a semigroup with a zero nilpotent if every element has a power equal to 0. An ideal extension of a semigroup S by a semigroup Q is a semigroup E such that S is an ideal of E and the Rees quotient E/S is isomorphic to Q.
The following result provides a characterisation of archimedean semigroups with idempotent.

Proposition 2.10. [14, Proposition 4.2.3] A commutative semigroup S is archimedean with idempotent if and only if S is either a group or an ideal extension of a group by a nilpotent semigroup.
In general, the structure of archimedean semigroups is complex. For more about the decomposition of commutative semigroups into archimedean subsemigroups, see [14,Chapter 4].

Schützenberger Groups
It is a natural question to ask, for each of the three generalisations of residual finiteness, whether that property is inherited by Schützenberger groups. This is motivated by the following result.

1] Every Schützenberger group of a residually finite semigroup is residually finite.
In this section we show that the properties of complete separability and strong subsemigroup separability are inherited by Schützenberger groups. By way of contrast, it is not true that every Schützenberger group of a weakly subsemigroup separable semigroup is weakly subsemigroup separable. However, we are able to give a sufficient condition on the stabiliser of an H-class of a weakly subsemigroup separable semigroup to ensure that the corresponding Schützenberger group is also weakly subsemigroup separable. We begin by showing that the non-group H-classes of a strongly subsemigroup separable semigroup are finite.

Proposition 3.2. Every non-group H-class of a strongly subsemigroup separable semigroup is finite.
Proof. For a contradiction suppose that S is a strongly subsemigroup separable semigroup with an infinite non-group H-class H. Fix some h ∈ H and let T = H \ {h} . If h ∈ T , then h ∈ H n for some n ≥ 2, which contradicts that H is not a group. Therefore h / ∈ T . Let ∼ be any finite index congruence on S that separates h from T . Then there exist distinct elements x, y ∈ H \{h} such that x ∼ y. As (x, h) ∈ H, there exists some s ∈ S such that xs = h. Now h ∼ ys. By Green's Lemma [17, Lemma 2.2.4], multiplication on the right by s permutes H, so ys ∈ H \{h} ⊆ T . Hence ∼ does not separate h from T , contradicting the strong subsemigroup separability of S.

Corollary 3.3. Every Schützenberger group of a strongly subsemigroup separable semigroup is itself strongly subsemigroup separable.
Proof. By Proposition 3.2 every Schützenberger group of a non-group Hclass is finite so is certainly strongly subsemigroup separable. The Schützenberger group of a group H-class H is isomorphic to H so is strongly subsemigroup separable by Proposition 2.3.

Corollary 3.4. Every H-class of a completely separable semigroup is finite (and hence each of its Schützenberger group is completely separable).
Proof. As a completely separable semigroup is also strongly subsemigroup separable, every non-group H-class is finite by Proposition 3.
Let h be as in the statement of the lemma. Let T = h, x 1 , x 2 , . . . , x n ≤ S.
First we will show that hu / ∈ T . For a contradiction assume that hu ∈ T . Then as hx j = x j h for 1 ≤ j ≤ n, we have hu = h i t for some t ∈ x 1 , x 2 , . . . , x n and i ≥ 0. We split into three cases: i = 0, i = 1, and i > 1. ( As S is weakly subsemigroup separable, there exists a finite semigroup U and homomorphism φ : Corollary 3.6. Every Schützenberger group of a weakly subsemigroup separable commutative semigroup is itself weakly subsemigroup separable.
Although Schützenberger groups of weakly subsemigroup separable semigroups need not in general be weakly subsemigroup separable, it is an intriguing open question whether they must be weakly subgroup separable.
Open Problem 3.7. Let S be a semigroup and let H be an H-class of S. If S is weakly subsemigroup separable, is Γ(H) weakly subgroup separable?
In the final part of this section we provide some partial solutions to this problem, one of which is utilized in the proof of Proposition 5.8. Proof. If H is a group, then Γ(H) ∼ = H is a subgroup of S and hence weakly subsemigroup separable by Proposition 2.3. It then certainly satisfies the separability property with respect to the collection of all finitely generated abelian subgroups.
Suppose that H is not a group. Let G be a finitely generated abelian subgroup of Γ(H) and let b ∈ Γ(H)\G. Now, G is generated (as a group) by some set {a 1 , . . . , a n } ∪ G 0 , where each a i is non-torsion and G 0 is the finite torsion subgroup of G. For s ∈ Stab(H), we shall just write [s] for [s] σ H . Let U denote the subsemigroup i . Also, fix an element h ∈ H. The remainder of this proof is organised as follows. ( We find a finite group K and a homomorphism θ : Since S is weakly subsemigroup separable, it suffices to show that hy cannot be separated from h, x by a finite index congruence. Suppose that ∼ is a finite index congruence on S. Then there exist k, ℓ ∈ N with k < ℓ such that hx k ∼ hx ℓ . The elements [x] and [y] are inverses of each other in the group Γ(H) and so, by the definition of σ H , hy = hx k y k+1 . Hence which completes the proof of the claim. Since x ∈ Stab(H) and H is not a group, we cannot have hy ∈ x . Post-multiplying hy by an appropriate power of y, we deduce that hy j = uh for some j ∈ N and u ∈ h, x .
Now we claim that hx j ∈ h, u . Again, it suffices to show that hx j cannot be separated from h, u in a finite index congruence. Suppose that ∼ is a finite index congruence on S. Then there exist k, ℓ ∈ N with k < ℓ such that hy jk ∼ hy jℓ . Recalling that [x] and [y] are mutually inverse and that hy j = uh, we deduce establishing the claim. Since uh ∈ H, we cannot have hx j ∈ u , for then (hx j )h ∈ H ∩ H 2 , contradicting that H is not a group. It follows that hx j = w 1 hw 2 for some w 1 ∈ u 1 and w 2 ∈ h, u 1 ⊆ h, x 1 . Now w 1 h = hy jk for some k ∈ N 0 , so hx j = w 1 h as [x] has infinite order in Γ(H), and hence w 2 = 1. We claim we cannot write w 2 as sht for some s ∈ x 1 and t ∈ h, x 1 . Indeed, if we could, then since w 1 h ∈ H and x ∈ Stab(H), we would have hx j ∈ H ∩ H n for some n ≥ 2, contradicting that H is not a group. Hence the claim holds. We must then have w 2 ∈ u . But u ∈ h, x , so we conclude that u = x m for some m ∈ N. Now set α(i) = m and β(i) = j. We fix α(i) and β(i) for the remainder of this proof.
(2) For each i ∈ {1, . . . , n} let m i = max(α(i), β(i)). For each g ∈ G 0 , select u g ∈ U such that [u g ] = g. We define a finite set First, let h ′ ∈ T ∩ H. Then h ′ = z 1 . . . z k for some z j ∈ Z. If every z j ∈ X, then h ′ ∈ Stab(H), contradicting that H is not a group. Therefore, there exists j minimal such that z j = hw for some w ∈ W. Then for each i < j, we have z i ∈ X and hence z i h ∈ hU , as xh ∈ hU for all x ∈ X by (1). So we which contradicts that H is not a group. We conclude that z i ∈ X for every i ∈ {j + 1, . . . , k}. It follows that u ∈ U and hence h ′ ∈ {hu | u ∈ U }.
For the reverse containment, let u ∈ U. Since G is abelian, we have [u] = a k 1 1 . . . a kn n c for some k i ∈ Z and c ∈ G 0 . Consider i ∈ {1, . . . , n}. If k i ≥ 0, let p i ∈ N 0 and r i ∈ {0, . . . , α(i) − 1} be such that k i = p i α(i) + r i , and let q i = s i = 0. If k i < 0, let q i ∈ N and s i ∈ {0, . . . , β(i) − 1} be such that k i = −q i β(i) + s i , and let p i = r i = 0. Now let t i = max(r i , s i ). It follows that Then hv / ∈ T by (2). Since S is weakly subsemigroup separable, there exists a finite semigroup P and a homomorphism φ : S → P such that φ(hv) / ∈ φ(T ). Let H φ(h) denote the H-class of φ(h), and let K be the finite group Γ(H φ(H) ). As in the proof of Lemma 3.5, the map θ : Γ(H) → K, given by θ([t]) = [φ(t)], is a homomorphism such that θ(b) / ∈ θ(G), as required. Groups satisfying the separability property with respect to the collection of all cyclic subgroups are known in the literature as cyclic subgroup separable groups or Π c groups. Such groups have received considerable attention; see for instance [2,18,29,30].
From Proposition 3.8 we immediately deduce: In Section 6 we will return to Schützenberger groups and consider the following question: if all the Schützenberger groups of a semigroup have a separability property, does the semigroup itself have that property?

Finitely Generated Commutative Semigroups
In this section we give a characterisation of our separability properties in finitely generated commutative semigroups. We first note that finitely generated abelian groups are strongly subgroup separable. In fact, Mal'cev proved, more generally, that every polycyclic-by-finite group is strongly subgroup separable [25]. However, when it comes to finitely generated commutative semigroups, Example 2.5 shows that there exist finitely generated commutative semigroups which are not even weakly subsemigroup separable. The question of when a finitely generated commutative semigroup is completely separable or strongly subsemigroup separable was considered by Kublanovskiǐ and Lesohin in [19]. We briefly outline their setup and results, without giving proofs.
Let S be a finitely generated commutative semigroup with finite generating set A. For s ∈ S, let C s = A ∩ Stab(H s ). Then C s is finite and can be empty. We denote |C s | by k s . Then C s 1 = Stab(H s ). Consider the free commutative monoid N ks 0 on k s generators. There is a canonical homomorphism φ : N ks 0 → Stab(H s ). We note that Stab(s), the point stabiliser of s, is a submonoid of Stab(H s ). Let W s = φ −1 (Stab(s)) ≤ N ks 0 be the pre-image of Stab(s). We can view N ks 0 as a submonoid of the free abelian group Z ks . Consider the subgroup G s ≤ Z ks generated by W s . As G s is a subgroup of Z ks , we have G s ∼ = Z ms for some m s ≤ k s . Using this, Kublanovskiȋ and Lesohin were able to characterise when S is strongly subsemigroup separable as follows. From the proof of this result they obtained two corollaries, summarised as follows: (1) S is completely separable; (2) S is strongly subsemigroup separable; (3) if a, b ∈ S such that a ∈ b n S for all n ∈ N, then there exists m ∈ N such that a = b m a.
We enhance the result of Corollary 4.2 by showing that for a finitely generated commutative semigroup, weak subsemigroup separability is also equivalent to complete separability. We also provide a new characterisation in terms of H-classes. This characterisation removes the need for the parameters k s and m s of Theorem 4.1. The proof we provide is independent of the work of Kublanovskiȋ and Lesohin, although the reader may note parallels between the methods used.
We now state the main result of this paper. (1) S is completely separable; (2) S is strongly subsemigroup separable; (3) S is weakly subsemigroup separable; (4) every H-class of S is finite.
In order to prove Theorem 4.3, we first establish some notation and prove some preliminary results.
For an H-class H of a finitely generated commutative semigroup S define I(H) = {H s | s ∈ S, H s H}.  Proof. First we assume that H is the minimal H-class in S. In this case S 1 = Stab(H) and H sx n ≥ H for all s ∈ S, x ∈ S 1 and n ∈ N. Hence the result follows. Now assume that H is a non-minimal H-class. By noticing that I(H) ∩ Stab(H) = ∅ and I(H) ∩ {x ∈ S 1 | H sx n ≥ H for all n ∈ N} = ∅, and factoring out by I(H), we may assume that H is the unique minimal non-zero H-class.

Note that I(H) is non-empty if and only if H is not the minimal
Let x ∈ Stab(H). For a contradiction assume that there exists n ∈ N such that H sx n H. Then, as H is the minimal non-zero H-class, we have sx n = 0. As H s ≥ H, there exists t ∈ S 1 such that st ∈ H. Then 0 = sx n t = stx n ∈ Hx n = H, which is a contradiction. Now assume that H sx n ≥ H for all n ∈ N. Fix h ∈ H. Assume for a contradiction that x / ∈ Stab(H). Then hx = 0. As S is finitely generated and commutative, it is residually finite (see [20,Theorem 3]). Let ∼ be an arbitrary finite index congruence on S. Then there exist m, n ∈ N, with m < n, such that sx m ∼ sx n . As H sx m ≥ H, there exists t ∈ S 1 such that sx m t = h. Then h = sx m t ∼ sx n t = sx m tx n−m = hx n−m = 0.
As ∼ is arbitrary, we have shown we cannot separate h and 0 in a finite quotient. This contradicts S being residually finite. Proof. Let a ∈ A. As A is a subsemigroup we have a n ∈ A for all n ∈ N. So H a·a n ≥ H I for all n ∈ N. Hence a ∈ Stab(H I ) by Lemma 4.4. Now we are ready to prove Theorem 4.3. (2) and (2) implies (3). We only need to show that (3) implies (4) and that (4) implies (1).

Proof of Theorem 4.3. From Proposition 2.1 we know that (1) implies
(3) ⇒ (4). For a contradiction assume that S is weakly subsemigroup separable but has an infinite H-class H. Then the Schützenberger group Γ(H) must also be infinite. As H xa ≤ H x for all x, a ∈ S, the complement of Stab(H) is an ideal of S. It follows that if X is a finite generating set for S, then Stab(H) is generated by Stab(H) ∩ X and so is also finitely generated. As Γ(H) is a quotient of a finitely generated commutative monoid, it is a finitely generated abelian group. As Γ(H) is infinite, it must contain a subgroup isomorphic to Z. So Γ(H) is not weakly subsemigroup separable by Example 2.5 and Proposition 2.3. However, this contradicts Corollary 3.6, so there cannot be an infinite H-class.
(4) ⇒ (1). Let h ∈ S. We shall show that there exists a finite index congruence on S such that the congruence class of h is a singleton. For s ∈ S, let H s denote the H-class of s and A s the archimedean component of s. For convenience, we will use H to denote H h and σ to denote the Schützenberger congruence σ H . Let I = I(H).
We split into two cases. Case 1. The first case is that H is not a group. In particular, H is not the minimal H-class. Factoring out I, we may assume that H is the unique minimal non-zero H-class in S. As H is not a group, then H 2 = {0}. So A h = A 0 and A h is a nilpotent semigroup. It follows from Corollary 4.5 that S 1 is the disjoint union of Stab(H) and A h . Consider any finite generating set for S, and write it as X ∪ Y , where X ⊆ Stab(H) and Y ⊆ A h . Then X ⊆ Stab(H) and, as A h is non-empty, it must be the case that Y is non-empty. Note that U = Y is finite as A h is nilpotent. We may assume that X is non-empty, for otherwise S = U is a finite semigroup and hence certainly completely separable.
Let X = {x 1 , x 2 , . . . , x m } and let X = {x 1 , x 2 , . . . , x m } be disjoint from X. Let FC X denote the free commutative monoid on X. Let φ : FC X → Stab(H) be the unique extension to a homomorphism of the map given by Suppose that w ∈ I u and z ∈ FC X . Then since uφ(w) ∈ H and φ(z) ∈ Stab(H), we deduce that uφ(wz) = (uφ(w)) φ(z) ∈ H. Thus, if I u is nonempty, then it is an ideal if FC X .
The monoid FC X is isomorphic to N |X| 0 . Ideals of N |X| 0 are upward closed sets under the component-wise ordering on tuples. It is well known that this partially ordered set has no infinite antichains (Dickson's Lemma). From this follows the well-known fact that every ideal of FC X is finitely generated as an ideal.
Let U ′ = {u ∈ U | I u = ∅}. For each u ∈ U ′ let Z u be a finite generating set for I u , and let Z = As U is finite, we have that Z is finite. For each z ∈ Z, we have Now let ∼ be the congruence on S generated by the set Each of the finitely many generators of S/∼ is periodic and S/∼ is commutative, so S/∼ is finite. We now show that Let t ∼ h. We need to show that t = h. Clearly it is sufficient to assume that t is obtained from h by a single application of a pair from the generating set of ∼. So, let h = sx p i and t = sx q i where 1 ≤ i ≤ m, s ∈ S and {p, q} = {n, n + |H|}.
If (p, q) = (n, n + |H|) then t = hx Now we consider the case when (p, q) = (n + |H|, n). As h / ∈ Stab(H), we have s ∈ A h \{0}. Any way of decomposing s into generators must contain at least one element from Y . Therefore, we have that s = us ′ , where u ∈ U ′ and s ′ ∈ Stab(H). Fix some Then there exist z ∈ Z and w ′ = x 1 γ 1 . . . x m γm ∈ FC x such that For 1 ≤ j ≤ m, we have that As α i (z) ≤ n by definition, it must be the case that γ i ≥ |H|. Then Hence wx i n ∈ I u and so sx n i = t ∈ H. As h = tx |H| i , a similar argument as above proves that h = t, as required.
Case 2. Now we assume that H is a group. By Proposition 2.10, A h is either a group or the ideal extension of H by a nilpotent semigroup. Hence A h ⊆ Stab(H). If H is the minimal H-class of S, then S 1 = Stab(H). If H is not minimal, we may assume that it is the unique minimal non-zero H-class of S (by taking the Rees quotient by I), in which case we have S 1 \{0} = Stab(H) by Corollary 4.5 and the fact that A h ⊆ Stab(H).
In either case, let X be a finite generating set for Stab(H). As in Case 1, let X be a set in bijection with X, let FC X denote the free commutative monoid on X, and let φ : FC X → Stab(H) be the unique extension to a homomorphism of a bijection X → X. Define Then J is an ideal of FC X . Let Z be a finite generating set for J (as an ideal), and let n be the maximal exponent of a generator appearing in any word z ∈ Z.
Let ∼ be the congruence on S with generating set {(x n , x n+|H| ) | x ∈ X}. An argument essentially the same as that of Case 1 shows that S/ ∼ is finite and [h] ∼ = {h}, completing the proof of this direction and of the theorem.

Beyond Finitely Generated Commutative Semigroups
Given that for finitely generated commutative semigroups, the three properties of complete separability, strong subsemigroup separability and weak subsemigroup separability coincide, the following questions naturally arise.
• For commutative semigroups in general (not necessarily finitely generated), do the properties of complete separability and strong subsemigroup separability coincide? • For commutative semigroups in general, do the properties of strong subsemigroup separability and weak subsemigroup separability coincide? • For finitely generated semigroups in general (not necessarily commutative), do the properties of complete separability and strong subsemigroup separability coincide? • For finitely generated semigroups in general, do the properties of strong subsemigroup separability and weak subsemigroup separability coincide?
In this section we answer all of these questions in the negative. We will first deal with the commutative case and then the finitely generated case. 5.1. Non-finitely Generated Commutative Semigroups. We give an example of a commutative semigroup that is weakly subsemigroup separable but not strongly subsemigroup separable. In order to do this, we first establish the following result. Since T is finitely generated and f (st) > f (s) for any s, t ∈ S, it follows that the set is finite. Since S is residually finite, there exists a finite semigroup P and homomorphism h : S → P such that h(x) / ∈ h(Y ). Then (g • f ) × h : S → N/I × P separates x from T . Example 5.2. Consider S = N×Z. Now, S is residually finite since it is the direct product of two residually finite semigroups. As the projection map onto the first factor gives a homomorphic image which is N, we conclude that S is weakly subsemigroup separable by Proposition 5.1.
We now show that S is not strongly subsemigroup separable. Consider N×N ≤ S and the element (2, 0) / ∈ N×N. Let ∼ be a finite index congruence on S. Then there exist i, j ∈ Z with i < j such that (1, i) ∼ (1, j). Then Hence, S is a commutative semigroup which is weakly subsemigroup separable but not strongly subsemigroup separable.
Remark 5.3. The semigroup N × Z is also an example of a weakly subsemigroup separable semigroup which is a direct product of two semigroups where one of the factors is not weakly subsemigroup separable. This is in contrast to the situation for residual finiteness: the direct product of two semigroups is residually finite if and only if both factors are residually finite [11,Theorem 2].
We are left to find an example of a strongly subsemigroup separable commutative semigroup which is not completely separable. Our example is a group.
Example 5.4. Let C 2 denote the cyclic group of order 2. Let G = C N 2 be the Cartesian product of countably many copies of C 2 . By Lemma 2.4, G is not completely separable. But from Theorem 2.8, an abelian group is strongly subsemigroup separable if and only if it is torsion and for each prime p, the primary p-component is bounded in the exponent. As every non-identity element in G has order 2, G certainly satisfies these conditions. Hence G is strongly subsemigroup separable.

Finitely Generated Semigroups.
In the previous section we showed that in the statement of Theorem 4.3, being commutative is not on its own a sufficient condition. In this section we will show that being finitely generated is also not on its own a sufficient condition. That is, we provide two examples of finitely generated semigroups, one of which is weakly subsemigroup separable but not strongly subsemigroup separable, and the other strongly subsemigroup separable but not completely separable.
First we give an example of a finitely generated semigroup which is weakly subsemigroup separable but not strongly subsemigroup separable. We do this by introducing a construction of semigroups and establishing necessary and sufficient conditions for this construction to be weakly subsemigroup separable and finitely generated. For the construction and proof, we will use the following notation. For a subset Z ⊆ G of an abelian group G, let X Z = {x z | z ∈ Z} be a set disjoint from G.
Construction 5.5. Let T be a semigroup, and let G be an abelian group such that there exists a surjective homomorphism φ : T → G. Let N = X G ∪ {0} be a null semigroup disjoint from T . Let S(T, G, φ) = T ∪ N , with multiplication inherited from T and N , and for t ∈ T and x g ∈ X G we define the following multiplication: An exhaustive check confirms this multiplication is associative and therefore S(T, G, φ) is a semigroup.
Remark 5.6. In Construction 5.5, the set X G forms a non-group H-class and the Schützenberger group of this H-class is isomorphic to G.
To give necessary and sufficient conditions for S(T, G, φ) to be weakly subsemigroup separable we use the following lemma. Proof. Let i ∈ {1, . . . , n}. First we will show that x can be separated from As G is weakly subgroup separable, there exists a finite group K i and homomorphism φ i : is a homomorphism into a finite group that separates x from U .
Proposition 5.8. Let T be a semigroup, let G be an abelian group such that there exists a surjective homomorphism φ : T → G, and let S = S(T, G, φ). Then S is weakly subsemigroup separable if and only if T is weakly subsemigroup separable and G is weakly subgroup separable.
Proof. (⇒) First assume that S is weakly subsemigroup separable. Since T is a subsemigroup of S, it must be weakly subsemigroup separable by Proposition 2.3. Since G is abelian and isomorphic to a Schützenberger group of S, it follows from Corollary 3.9 that G is weakly subgroup separable.
(⇐) Now assume that T is weakly subsemigroup separable and G is weakly subgroup separable. Let Y ⊆ S be a finite set, U = Y ≤ S and v ∈ S \U . Let N ⊆ S be as in Construction 5.5. Let Y 1 = Y ∩ T and Y 2 = Y ∩ N . We split into cases. Case 1. Assume that v ∈ T . Note that T ∩ U = Y 1 . As T is weakly subsemigroup separable and v / ∈ Y 1 , there exists a finite semigroup P and homomorphism f : Then f is a homomorphism and f (v) / ∈ f (U ).
Case 2. Now assume that v ∈ N and Y 2 = ∅. Then U ⊆ T . Let ∼ be the congruence on S with classes T and N . Then Case 3. Finally assume that v ∈ N and Y 2 = ∅. Note that 0 ∈ Y 2 2 ⊆ N , and hence v = 0. Let v = x g and Y 2 = {x g 1 , . . . , x gn }. Let H ≤ G be the subgroup generated by the set φ(Y 1 ). Then As v / ∈ U , it follows that g / ∈ n i=1 Hg i . As G is weakly subgroup separable there exists a finite group K and homomorphism f : The next lemma provides necessary and sufficient conditions for S(T, G, φ) to be finitely generated.
Lemma 5.9. Let T be a semigroup, let G be an abelian group such that there exists a surjective homomorphism φ : T → G, and let S = S(T, G, φ). Then S is finitely generated if and only if T is finitely generated.
Proof. If S is finitely generated, then as T is the complement of an ideal, it must also be finitely generated. Conversely, if T is generated by a finite set Y , then it is easy to see that S is generated by Y ∪ {x 1 G }.
We provide an example of a weakly subsemigroup separable semigroup S that has the following properties: • S is finitely generated, non-commutative, but not strongly subsemigroup separable; • S has a Schützenberger group which is not weakly subsemigroup separable.
Example 5.10. Let F 2 = {a, b} + be the free semigroup on {a, b}. Let φ : F 2 → Z be given by a → 1 and b → −1. As F 2 is completely separable [7, Corollary 1] and Z is weakly subgroup separable, it follows that S(F 2 , Z, φ) is weakly subsemigroup separable by Lemma 5.8. Since F 2 is finitely generated, S(F 2 , Z, φ) is finitely generated by Lemma 5.9. It is clear that S(F 2 , Z, φ) is not commutative. By Remark 5.6 we have that X Z is an infinite non-group H-class. Hence S(F 2 , Z, φ) is not strongly subsemigroup separable by Proposition 3.2. Also the Schützenberger group of X Z is isomorphic to Z and therefore is not weakly subsemigroup separable. Notice that, due to the way the right and left actions of F 2 on X Z are defined, the H-class X Z does not satisfy the condition of Lemma 3.5.
We conclude this section by exhibiting an example of a finitely generated semigroup which is strongly subsemigroup separable but not completely separable.
Example 5.11. Let F 3 = {a, b, c} + be the free semigroup on the set {a, b, c}. Let I ≤ F 3 be the ideal generated by the set {x 2 | x ∈ F 3 }. Let S = F 3 /I be the Rees quotient of F 3 by I. We can view S as the set of all square-free words over the alphabet {a, b, c} with a zero adjoined. Multiplication in S is concatenation, unless concatenation creates a word containing a subword which is a square, in which case the product is zero. Certainly S is finitely generated by {a, b, c}.
First we will show that S is not completely separable. It is known that there exists an infinite square-free sequence w = x 1 x 2 x 3 . . . over {a, b, c}, see [24,Chapter 2]. Then every finite prefix of w is a non-zero element of S.
. . x j ∈ S. Let ∼ be a finite index congruence class on S. Then there exist i, j ∈ N, with i < j, such that w i ∼ w j . Then So we have shown that it is not possible for 0 to be separated from S \{0} in a finite quotient. Hence, S is not completely separable. Now let T ≤ S. Then 0 ∈ T . For x ∈ S \{0} let |x| denote the length of x in terms of the generators {a, b, c}. Now let v / ∈ T where |v| = n. Let Then I is an ideal. Clearly the Rees quotient S/I is finite. Furthermore, [v] I = {v}. Hence, S is strongly subsemigroup separable.

Semigroups with finitely many H-classes
In Section 3 we asked which of our separability properties are inherited by Schützenberger groups. We showed in Corollaries 3.3 and 3.4 that the properties of complete separability and strong subsemigroup separability are inherited by Schützenberger groups. Although it is not true that every Schützenberger group of a weakly subsemigroup separable semigroup is itself weakly subsemigroup separable, we showed in Corollary 3.6 that weak subsemigroup separability is inherited by Schützenberger groups of commutative semigroups.
One may ask whether the properties are inherited in the opposite direction, i.e., if every Schützenberger group of a semigroup S has a separability property must S itself satisfy the same property? This, however, turns out not to be true. Let P be any of the properties of complete separability, strong subsemigroup separability, weak separability or residual finiteness. A semigroup whose Schützenberger groups all have property P may not itself have property P. One example is the bicyclic monoid, given by the monoid presentation b, c | bc = 1 . The bicyclic monoid is H-trivial, meaning that every H-class is a singleton, so every Schützenberger group is the trivial group and certainly completely separable. However the bicyclic monoid is not even residually finite [3,Corollary 1.12]. In fact this direction fails comprehensively even for commutative semigroups, as the next example shows.
be the countable null semigroup. Let S = A ∪ B with multiplication between A and B as follows: . An exhaustive case analysis shows that this multiplication is associative and clearly it is commutative. It is also straightforward to check that S is Htrivial. However, S is not residually finite. Suppose that ∼ is a finite index congruence on S. Then there exist i, j ∈ N, with i < j, such that b i ∼ b j .
So we cannot separate 0 and b 1 in a finite quotient, and hence S is not residually finite.
Remark 6.2. In the semigroup S of Example 6.1, both the ideal B and the Rees quotient S/B ∼ = N 0 are completely separable. However, this is not enough to guarantee that S is completely separable.
In the remainder of this section we restrict our attention to the class of semigroups which have only finitely many H-classes, or equivalently semigroups which have only finitely many left and right ideals. This is motivated by the following result. We shall investigate whether there are analogous results for the properties of complete separability, strong subsemigroup separability and weak subsemigroup separability.
For complete separability, the analogous result holds.
Proposition 6.4. Let S be a semigroup with only finitely many H-classes. Then the following are equivalent: (1) S is completely separable; (2) all the Schützenberger groups of S are completely separable; (3) S is finite.
Proof. (1) ⇒ (2). If S is completely separable, then all of its Schützenberger groups are completely separable by Corollary 3.4.
(2) ⇒ (3). If a Schützenberger group is completely separable it is finite by Lemma 2.4. As a Schützenberger group is in bijection with the corresponding H-class, and S has only finitely many H-classes, we conclude that S is finite.
From Corollary 3.3, we know that every Schützenberger group of a strongly subsemigroup separable semigroup is itself strongly subsemigroup separable. However, even when a semigroup has only finitely many H-classes, every Schützenberger group being strongly subsemigroup separable does not guarantee that the semigroup is strongly subsemigroup separable, as the following example demonstrates. Example 6.5. Let G be an infinite strongly subsemigroup separable abelian group. The existence of such a group is established by Theorem 2.8. Then, recalling Construction 5.5, S = S(G, G, id) has three H-classes: G, X G and {0}. The Schützenberger groups of the H-classes are isomorphic to G, G and the trivial group respectively. Then certainly every Schützenberger group is strongly subsemigroup separable. However, since X G is an infinite non-group H-class, S is not strongly subsemigroup separable by Proposition 3.2.
The final property to consider is that of weak subsemigroup separability. Of all the separability properties considered in this paper, this is the only one which is not necessarily inherited by Schützenberger groups, as demonstrated by Example 5.10. However, when we restrict to a semigroup with only finitely many H-classes, the following remains an open problem.
Open Problem 6.6. Is it true that a semigroup with only finitely many Hclasses is weakly subsemigroup separable if and only if all its Schützenberger groups are weakly subsemigroup separable? Indeed, we do not even know if either direction of the above statement holds. In the rest of this section, we restrict our attention to locally finite semigroups with only finitely many H-classes. By concentrating on this smaller class of semigroups we will be able to invoke Lemma 2.7, which says that a semigroup which is both residually finite and locally finite is weakly subsemigroup separable. This line of investigation allows us to give the following partial answer to Open Problem 6.6. Theorem 6.7. Let S be a semigroup with only finitely many H-classes whose maximal subgroups are all solvable. Then S is weakly subsemigroup separable if and only if all its Schützenberger groups are weakly subsemigroup separable.
In particular we note that a commutative semigroup with finitely many Hclasses is weakly subsemigroup separable if and only if all its Schützenberger groups are weakly subsemigroup separable. To prove Theorem 6.7 we make use of several lemmas.
A semigroup S is called an epigroup if every element of S has a power which lies in a subgroup of S. Lemma 6.8. A semigroup S with finitely many H-classes is an epigroup.
Proof. Let s ∈ S. As S has finitely many H-classes there exist i, j ∈ N with i < j such that s i Hs j . Let H be the H-class of s i . Then s j−i ∈ Stab(H).
Therefore H j−i+1 ∩ H = ∅, and so H is a group. Lemma 6.9. Let S be a semigroup with finitely many H-classes. If every maximal subgroup of S is torsion then S is periodic.
Proof. By Lemma 6.8, S is an epigroup. Let s ∈ S. Then there is a power of s in a torsion subgroup of S; in particular, there exists i ∈ N such that s i = e, where e is idempotent. Hence s 2i = e 2 = e = s i and S is periodic. Corollary 6.10. Let S be a semigroup with finitely many H-classes. If S is weakly subsemigroup separable then S is periodic.
Proof. As S is weakly subsemigroup separable, then so are all of its maximal subgroups by Proposition 2.3. Now if a group is not torsion then it contains a subgroup isomorphic to Z and therefore is not weakly subsemigroup separable by Proposition 2.3 and Example 2.5. Thus all the maximal subgroups of S are torsion and the result follows by Lemma 6.9.
Corollary 6.11. Let S be a semigroup with finitely many H-classes. If every Schützenberger group of S is weakly subsemigroup separable then S is periodic.
Proof. If every Schützenberger group is weakly subsemigroup separable, then every maximal subgroup of S is weakly subsemigroup separable and hence torsion, so S is periodic by Lemma 6.9.
At this point on our path to prove Theorem 6.7, we introduce Green's relation J on a semigroup S: This is an equivalence relation and H ⊆ J . It is also true that any ideal is a union of J -classes. For more on Green's J relation see [17,Chapter 2].
We show that an epigroup with finitely many J -classes is locally finite if and only if all its maximal subgroups are locally finite. We first consider the case when a semigroup with a zero only has two J -classes.
A semigroup S with a zero is called 0-simple if S 2 = {0} and the only ideals of S are {0} and S. A 0-simple semigroup is called completely 0simple if it is both 0-simple and an epigroup. For equivalent definitions of completely 0-simple semigroups see [17,Theorem 3.2.11]. Rees showed that the class of completely 0-simple semigroups coincides with the class of Rees matrix semigroups over zero-groups [17,Theorem 3.2.3]. For a group G, let the zero-group G 0 be G with a zero adjoined. Let I, Λ be non empty sets and P = (p λi ) be a Λ × I matrix with entries from G 0 such that no row or column of P consists entirely of zeros. The Rees matrix semigroup over the zero-group G 0 is S = M 0 [G; I, Λ; P ] = (I × G × Λ) ∪ {0} with multiplication given as follows: (i, a, λ)(j, b, µ) = (i, ap λj , µ) if p λi = 0, 0 if p λi = 0, (i, a, λ)0 = 0(i, a, λ) = 0 · 0 = 0.
In a completely 0-simple semigroup M 0 [G; I, Λ; P ], the H-class of the element (i, a, λ) is {i} × G × {λ}. This is a maximal subgroup if and only if p λi = 0, in which case it is isomorphic to G. Proof. Suppose that S is locally finite. As S has a subsemigroup isomorphic to G, and local finiteness is inherited by subsemigroups, it follows that G is locally finite. Now suppose that G is locally finite. Let T = (i 1 , g 1 , λ 1 ) . . . , (i n , g n , λ n ) . We will show that the intersection of T with a non-zero H-class is finite. Let K be the subgroup of G generated by the set As K is finitely generated, it is finite. Let H = {i} × G × {λ} be a nonzero H-class. Then H ∩ T ⊆ {i} × K × {λ} and hence H ∩ T is finite. As T can only intersect finitely many non-zero H-classes, it follows that T is finite. Proof. The forward direction follows as subsemigroups inherit local finiteness.
Now assume that all the subgroups of S are locally finite. We will proceed by induction on the number of J -classes.
We may assume that S has a zero. If not then simply adjoin a zero. Let I be a 0-minimal ideal of S. Then I is either a null semigroup or it is 0-simple by [14,Proposition 2.4.9]. It is clear that any null semigroup is locally finite. Suppose then that I is 0-simple. Clearly I is an epigroup since S is, so I is completely 0-simple. The maximal subgroups of I are the maximal subgroups of S contained in I by [17,Proposition 2.4.2]. Therefore, by Lemma 6.12 we have that I is locally finite. If I = S then we are done, so suppose that I = S.
Since the Rees quotient S/I has one fewer J -class than S, it is locally finite by the inductive hypothesis. Let T be a finitely generated subsemigroup of S. As S/I is locally finite, it follows that the Rees quotient T /(T ∩ I) is finite. Hence T ∩ I is a subsemigroup with finite complement in T . Therefore, as T is finitely generated, T ∩ I is also finitely generated by [28,Theorem 1.1]. Then T ∩ I is finite as I is locally finite. Then T = (T \I) ∪ (T ∩ I) is finite and hence S is locally finite. Lemmas 6.8 and 6.13 together yield: Corollary 6.14. Let S be a semigroup with finitely many H-classes. Then S is locally finite if and only if all its maximal subgroups are locally finite.
We are now in a position to prove Theorem 6.7.
Proof of Theorem 6.7. Let S be a semigroup with finitely many H-classes whose maximal subgroups are all solvable.
If S is weakly subsemigroup separable then all its maximal subgroups are weakly subsemigroup separable by Proposition 2.3, and hence they are torsion by Proposition 2.6. Torsion solvable groups are locally finite, see [26, 5.4.11]. It follows from Corollary 6.14 that S is locally finite. Then certainly S 1 is locally finite. It is well known that the property of being locally finite is closed under subsemigroups and quotients. Therefore, each Schützenberger group, being a quotient of a subsemigroup of S 1 , is locally finite. Since S is residually finite, so are all it Schützenberger groups by Theorem 6.3. Hence, all the Schützenberger groups are weakly subsemigroup separable by Lemma 2.7. Now assume that all the Schützenberger groups of S are weakly subsemigroup separable. Then they are certainly residually finite and it follows that S is residually finite by Theorem 6.3. Furthermore, as S only has finitely many H-classes and all its Schützenberger groups are weakly subsemigroup separable, S is periodic by Corollary 6.11. Then all its maximal subgroups are torsion and solvable so it follows that they are locally finite. Hence S is locally finite by Corollary 6.14 and therefore S is weakly subsemigroup separable by Lemma 2.7.
If there is any hope of solving Open Problem 6.6, we must consider cases where an infinite Schützenberger group is weakly subsemigroup separable but not solvable. The authors are aware of only a limited number of such groups. One such example is the Grigorchuk group, which is a finitely generated infinite torsion group that is weakly subgroup separable (and hence weakly subsemigroup separable), see [13]. In particular, the following problem remains open.
Open Problem 6.15. Let G be the Grigorchuk group, let I and Λ finite sets, and let P = (p λi ) a Λ × I matrix with entries from G 0 such that no row or column consists entirely of zeros. Is the semigroup M 0 [G; I, Λ; P ] weakly subsemigroup separable?