On separability properties in direct products of semigroups

We investigate four finiteness conditions related to residual finiteness: complete separability, strong subsemigroup separability, weak subsemigroup separability and monogenic subsemigroup separability. For each of these properties we examine under which conditions the property is preserved under direct products. We also consider if any of the properties are inherited by the factors in a direct product. We give necessary and sufficient conditions for finite semigroups to preserve the properties of strong subsemigroup separability and monogenic subsemigroup separability in a direct product.


Introduction, preliminaries and summary of results
The purpose of this paper is to investigate the relationship between direct products of semigroups and their factors with respect to four separability properties. We begin by defining separability properties in general and then specialize to the four of interest within this paper. Definition 1.1 For a semigroup S and a collection C of subsets of S, we say that S has the separability property with respect to C if for any s ∈ S and any C-subset Y ⊆ S\{s} there exists a finite semigroup P and homomorphism φ: S → P such that φ(s) / ∈ φ(Y ). In this case we say that s can be separated from Y and that φ separates s from Y . Equivalently, S has the separability property with respect to C if for any s ∈ S and any C-subset Y ⊆ S\{s} there exists a finite index congruence ρ on S such that [s] ρ = [y] ρ in S/ρ for all y ∈ Y . In this case we say that ρ separates s from Y .
For a semigroup S we say that: • S is monogenic subsemigroup separable (MSS) if S has the separability property with respect to the collection of all monogenic subsemigroups; • S is weakly subsemigroup separable (WSS) if S has the separability property with respect to the collection of all finitely generated subsemigroups; • S is strongly subsemigroup separable (SSS) if S has the separability property with respect to the collection of all subsemigroups; • S is completely separable (CS) if S has the separability property with respect to the collection of all subsets.
We note that separability properties are finiteness conditions. That is, if P is a separability property then any finite semigroup S has P. This is because the identity map will separate any point s from any subset of S\{s}.
The best known separability property is residual finiteness, which can be viewed as the separability property with respect to the collection of singleton subsets. This is equivalent to having the separability property with respect to the collection of all finite subsets. It was shown in [7,Theorem 2] that the direct product of two semigroups is residually finite if and only the factors are residually finite. The fact that residual finiteness of the factors implies the residual finiteness of the direct product is universally true for algebraic structures. However, it is non-trivial to show that if a direct product of semigroups is residually finite then both factors are residually finite. Our aim is to determine for which of our four separability properties we can obtain analogous results. In the cases where we fail to obtain such a result, we investigate further to determine what can be said about the separability properties of direct products.
By replacing the word "semigroup" with "group" and replacing "subsemigroup" with "subgroup", we can define analogous separability properties in the class of groups. The properties have been widely studied in groups, under various different names. Monogenic subgroup separable groups are also known as cyclic subgroup separable groups or C groups. In [13,Theorem 4], Stebe showed that the direct product of two monogenic subgroup separable groups is itself monogenic subgroup separable. Weakly subgroup separable groups are also known simply as subgroup separable groups or as locally extended residually finite (LERF) groups. It is not true that the direct product of two weakly subgroup separable groups is necessarily weakly subgroup separable.  [13,Thm 4] An example is given by Allenby and Gregorac [2, "The Example"]. Strongly subgroup separable groups are also known as extended residually finite (ERF) groups. The direct product of two strongly subgroup separable groups is known to be strongly subgroup separable. In [2] Allenby and Gregorac attribute this result to Mal'cev [10]. It was shown in [11,Lemma 2.4] that a group is completely separable if and only if it is finite. Hence, trivially, the direct product of two CS groups is itself CS. The results for groups are recorded in Table 1. For groups G and H , both G and H are always isomorphic to subgroups of G × H . As subgroups inherit all four of these properties, an easy extension of [11,Proposition 2.3], if G × H has one of these properties then so will both G and H . However, the situation for algebras in general, and for semigroups in particular, may not always be so straightforward. Indeed, in [4] de Witt was able to show that there exist monounary algebras A and B such that A is not residually finite but A × B is completely separable. So factors of a direct product of monounary algebras which has separability property P need not be P themselves. We shall observe that within the class of semigroups a similar situation occurs with the properties of weak subsemigroup separability and monogenic subsemigroup separability.
Before we begin, we give a taste of how separability properties can interact with the semigroup direct product by considering the situation where one of the factors is N. Theorem 1.2 For a semigroup S, the following fully characterise the separability properties of N × S:  The characterisation given in Theorem 1.2 highlights the intriguing interaction of semigroup separability properties with the direct product. On one hand, it tells us that we can take the direct product of N with a SSS semigroup and the resulting semigroup need not be SSS, even though both factors are (and in fact N is CS). On the other hand we can take a semigroup which is not WSS but its direct product with N is WSS. Consequently there is no guarantee that the direct product preserves separability properties nor that the factors of a direct product inherit separability properties.
By working through the separability properties in turn, we are able to say which of them are preserved under direct products. We also consider which separability properties are inherited from the direct product by its factors. These results are recorded in Table 2.
It turns out that the properties of strong subsemigroup separability, weak subsemigroup separability and monogenic subsemigroup separability are not necessarily preserved in the direct product. This motivates the following definition. Definition 1.4 Let P be one of the following properties: strong subsemigroup separability, weak subsemigroup separability or monogenic subsemigroup separability. We say that a semigroup T is P-preserving (in direct products) if for every semigroup S which has property P, the direct product S × T also has property P.
We note that if a semigroup T is P-preserving then T must have property P. This is because the trivial semigroup has property P and T is isomorphic to the direct product of itself with the trivial semigroup. In this paper we focus on characterising when finite semigroups are P-preserving.
We now recall some notions of semigroups and direct products that we shall use throughout the paper. For a congruence ρ on a semigroup S, we denote the ρ-class of s ∈ S by [s] ρ . For an ideal I ≤ S, we can define a congruence ρ I on S by: This paper is organised by property. In Sect. 2 we show that the direct product of two semigroups is CS if and only if both semigroups are CS (Theorem 2.3). In Sect. 3 we show that if the direct product of two semigroups is SSS then both factors must be SSS (Theorem 3.3). We also give a characterisation of when a finite semigroup is SSSpreserving (Theorem 3.5). In Sect. 4 we show that weak subsemigroup separability need not be preserved under direct products nor inherited by factors of a direct product. Whilst a classification of finite WSS-preserving semigroups is not known, we give some classes of finite semigroups that are WSS-preserving. In Sect. 5 we show that monogenic subsemigroup separability need not be preserved under direct products nor inherited by factors of a direct product. In this case we are able to classify when a finite semigroup is MSS-preserving (Theorem 5.10).

Complete separability
Complete separability proves to be the best behaved of our separability properties with respect to the direct product. In order to show this, we will use a characterisation of complete separability given by Golubov [5]. This characterisation depends upon the following definition.
Using this definition, we have the following characterisation of CS semigroups.

Theorem 2.2 [5, Theorem 1] A semigroup S is completely separable if and only if for each a ∈ S the set {[a: s] | s ∈ S} is finite.
Using this, we give the following result.

Theorem 2.3 The direct product of semigroups S and T is completely separable if and only if S and T are completely separable.
Proof (⇐) The fact that the direct product of two CS semigroups is CS was shown by Golubov [6,Lemma 2]. Here we present an independent proof. Assume that S and T are CS. Let (s, t) ∈ S × T . There exists a finite semigroup U and homomorphism φ: There exists a finite semigroup V and homomorphism ψ: ) is a homomorphism that separates (s, t) from its complement.
(⇒) We will prove the contrapositive, so assume that S is not CS. We show that S×T is not CS. By Theorem 2.2 there exists some a ∈ S such that the set The second case is that either u = 1 or v = 1. We will deal with the case that u = 1. A similar argument deals with the case that v is not in S. Then In either case we cannot separate (a, t 3 ) from its complement. Therefore S × T is not CS.

Strong subsemigroup separability
Strong subsemigroup separability is not as well behaved as complete separability or residual finiteness with respect to the direct product. Indeed, the direct product of two SSS semigroups need not be itself SSS. Golubov showed this in [6] with the direct product of two infinite SSS semigroups. We show that even when one of the factors is finite, the direct product of two SSS semigroups need not be SSS (Example 3.2). However, it is true that if a direct product of semigroups is SSS then both factors are SSS (Theorem 3.3). We shall begin by stating a lemma which provides a sufficient condition for the direct product of two semigroups to fail to be SSS.
First, we recall some facts about monogenic semigroups. A monogenic semigroup T = x is either isomorphic to N or it is finite. In the case that T is finite, there exist positive integers m and r such that x m = x m+r . The smallest such value of m is called the index of T and the smallest such value of r is called the period of T . For more on monogenic semigroups see [9,Theorem 1.2.2]. To simplify statements, we will say that the infinite monogenic semigroup has index ∞.

Lemma 3.1 Let S be a semigroup which is not completely separable and let T be a monogenic semigroup with index m ≥ 4. Then S × T is not strongly subsemigroup separable.
Proof Let x be the generator of T . As S is not CS, by Theorem 2.2 there exists some The second case is when either u = 1 or v = 1. We will deal with the case that u = 1. Then In either case we cannot separate (a, x 3 ) from U . A similar argument deals with the case that v is not in S. Therefore S × T is not SSS.
As there exist SSS semigroups which are not CS, for example [11, Examples 5.4 and 5.11], we can use Lemma 3.1 to construct an example of a direct product of a SSS semigroup with a finite semigroup which itself is not SSS.

Example 3.2
As an immediate consequence of Lemma 3.1, if we take the direct product of an SSS semigroup S which is not CS with the finite 4-nilpotent semigroup x | x 4 = x 5 , the resulting semigroup is not SSS.
Despite the negative nature of Lemma 3.1, it actually plays a key part in the proof of the following result.

Theorem 3.3 If S × T is strongly subsemigroup separable then both S and T are strongly subsemigroup separable.
Proof Assume S × T is SSS. Without loss of generality we show that S is SSS. We split into two cases.
The first case is that T contains an idempotent. Then S is isomorphic to a subsemigroup of the SSS semigroup S × T and hence S must also be SSS by [11,Proposition 2.3].
The second case is that T has no idempotents. For a contradiction assume that S is not SSS. Then S is certainly not CS. As T is idempotent free, it contains a copy of N. Then S × N ≤ S × T . But S × N is not SSS by Lemma 3.1. This contradicts the strong subsemigroup separability of S × T and therefore it must be the case that S is SSS.
The rest of this section is dedicated to establishing when a finite semigroup is SSSpreserving. To do this we show that SSS semigroups enjoy a separability property, in the sense of Definition 1.1, with respect to a more general class of subsets than just subsemigroups. Proposition 3.4 Let S be a strongly subsemigroup separable semigroup and let V ⊆ S such that V n+1 ⊆ V for some n ∈ N and let s ∈ S\V . Then s can be separated from V .
Proof We proceed by induction on n. The base case n = 1 corresponds to V being a subsemigroup, and the result follows from S being SSS. Now consider n > 1. Our inductive hypothesis is that for all U ⊆ S such that U k+1 ⊆ U for some k ∈ {1, 2, . . . , n − 1}, and for all s ∈ S\U , we can separate s from U . Let V and s be as in the statement of the proposition. If s / ∈ V then as S is SSS, we can separate s from V and in particular from V .
As S is SSS, s can be separated from Z and in particular s can be separated from Z . For To see this let . Then We show that s can be separated from each L i . Suppose that s cannot be separated from some L i . We claim that sV n−1 ⊆ V i ∩ V n . First for a contradiction, assume that there exists u ∈ V n−1 such that su ∈ S\V n . Then as V n is a subsemigroup and S is SSS it must be the case that su can be separated from V n . Let ∼ be a finite index congruence which separates su from V n . As s cannot be separated Now let ∼ be a finite index congruence that separates s from X i . As s cannot be separated from L i , there exists ∈ L i such that ∼ s. But as ∈ L i , there exists u ∈ V i such that u = s. Then, by the compatibility of ∼ we have By the transitivity of ∼ we obtain that s ∼ su n . As u ∈ V i , we have that u n ∈ V in . But as V n+1 ⊆ V , we conclude that u n ∈ V n . So by Eq. (2) we have su n ∈ sV n ⊆ X i . That is ∼ does not separate s from X i . This is a contradiction and so s can be separated from L i .
As V = Z ∪ L 1 ∪ L 2 ∪ · · · ∪ L n−1 , and for each of the sets in this finite union there exists a finite index congruence which separates s from said set, the intersection of these congruences is a finite index congruence which separates s from V .
The fact that SSS semigroups satisfy the additional separability property of Proposition 3.4 allows us to characterise finite semigroups which are SSS-preserving. Our characterisation relies on the notion of indecomposability of elements. For a semigroup S and an element s ∈ S, we say that s is decomposable if s ∈ S 2 . In this case, there exist t, u ∈ S such that s = tu. Otherwise we say that s is indecomposable.

Theorem 3.5 A finite semigroup P is strong subsemigroup separability preserving if and only if every element of P is indecomposable or belongs to a subgroup.
Proof (⇒) We prove the contrapositive so assume that p ∈ P is not contained in a subgroup but there exist s, t ∈ P such that st = p. As p is not contained in a subgroup, we have that p n = p for all n ≥ 2. Let G be an infinite SSS group (e.g. [11,Example 5.4]). Let U ≤ G × P be generated by the set {(g, p) | g ∈ G\{1 G }}. As p n = p for all n ≥ 2, we have that (1 G , p) / ∈ U . Let ∼ be a finite index congruence on G × P.
Hence G × P is not SSS and therefore P is not SSS-preserving.
(⇐) Now assume that P is a finite semigroup in which every element not contained in a subgroup is indecomposable. Let S be an SSS semigroup, let U ≤ S × P and let (s, p) ∈ (S × P)\U . If s / ∈ π S (U ) ≤ S, then we can separate (s, p) from U by factoring through S and invoking the strong subsemigroup separability of S. If p / ∈ π P (U ), then π P separates (s, p) from U . Now assume that both s ∈ π S (U ) and p ∈ π P (U ). If p is not contained within a subgroup of P, then p is indecomposable. Then (s, p) is indecomposable in S × P.  , (s, p) is separated from U in the Rees quotient of S × P by I .
The final case to consider is that p is contained in a subgroup of P. Then for some n ∈ N, we have that p n+1 = p. Let V = π S (U ∩ (S × {p})). First note that s / ∈ V as (s, p) / ∈ U . Secondly, as p n+1 = p, we have V n+1 ⊆ V . Then by Proposition 3.4 we have that s can be separated from V . So there exists a finite semigroup Q and a homomorphism φ: by (a, b) → (φ(a), b). Then φ is a homomorphism which separates (s, p) from U . Hence S × P is SSS and so P is SSS-preserving.

Remark 3.6
As the set S 2 is an ideal of a semigroup S, Theorem 3.5 is equivalent to saying that a finite semigroup P is SSS-preserving if and only if P is the ideal extension of a union of groups by a null semigroup.

Corollary 3.7
The following families of finite semigroups are strong subsemigroup separability preserving: groups, Clifford semigroups, completely simple semigroups, completely regular semigroups, bands, and null semigroups.

Corollary 3.8 A finite monoid is strong subsemigroup separability preserving if and only if it is a union of groups.
We conclude this section with some open problems.
Open Problem 3.9 Is there a characterisation of when the direct product of two strongly subsemigroup separable semigroups is itself strongly subsemigroup separable?
Open Problem 3.10 Is it true that the direct product of two strongly subsemigroup separable semigroups is weakly subsemigroup separable?

Weak subsemigroup separability
The behaviour of weak subsemigroup separability with respect to the direct product is more complicated than that of the separability properties we have already discussed. This is exhibited in Open Problem 3.10, which states that even when we strengthen the factor semigroups to be SSS, we still do not know if this guarantees that the direct product is WSS. We also see for the first time an example of a separability property which is not necessarily inherited by the factors of a direct product (Example 4.1). This complexity means the results in this section are less comprehensive than those for the other separability properties considered. We show that the direct product of a WSS semigroup with a finite semigroup is not necessarily WSS (Example 4.4). Although we do not characterise when a finite semigroup is WSS-preserving, we show that finite nilpotent semigroups are WSS-preserving (Theorem 4.5). We are able to show that the direct product of two WSS semigroups is MSS (Theorem 4.6). We begin with the example that shows that weak subsemigroup separability may not be inherited by the factors of a direct product. states that Z is not WSS, the subsemigroup used in demonstrating this is N. As N is monogenic, we have that Z is not MSS. Therefore N × Z is also an example of a direct product which is MSS but one of the factors is not MSS.
It also turns out that the direct product of two WSS semigroups need not be WSS, even when one of the factors in finite. To show this we first need to construct a specific instance of a WSS semigroup.
Then S[FC 2 , Z, φ] is an example of semigroup of type given in [11,Construction 5.5] and is WSS by [11,Proposition 5.8]. Then one computes that In particular, ( Hence S × L is not weakly subsemigroup separable. By a similar argument, it can be shown that the direct product of S = S[FC 2 , Z, φ] with a non-trivial right-zero semigroup is not WSS. Example 4.4 shows that (non-trivial) finite left-zero and right-zero semigroups are not weakly subsemigroup separability preserving. This is somewhat surprising as finite left-zero and right-zero semigroups are strongly subsemigroup preserving by Theorem 3.5 and also turn out to be monogenic subsemigroup preserving by Theorem 5. 10. Adding yet another twist to the story, the following theorem shows that finite nilpotent semigroups are WSS-preserving, even though this class contains semigroups which are neither SSS-preserving nor MSS-preserving. For example the semigroup with presentation x | x 3 = x 4 is a finite 3-nilpotent semigroup which fails to meet the criteria to be either SSS-preserving or MSS-preserving.

Theorem 4.5 The direct product of a weakly subsemigroup separable semigroup with a residually finite nilpotent semigroup is weakly subsemigroup separable.
Proof Let S be a WSS semigroup and let N be a residually finite k-nilpotent semigroup with zero element 0, for some k ∈ N. Let U ≤ S × N be finitely generated and let (s, n) ∈ (S × N )\U . Fix a finite generating set for U , which has the form where n 1 , n 2 , . . . , n j ∈ N \{0} and X 0 , X 1 , . . . , X j are finite subsets of S. Let X = j i=0 X i and let T = X ≤ S.
Then for 1 ≤ i ≤ m the set Y i is finite. To see this first note that Y i is a subset of T . Then for y ∈ Y i , we can write y as a product of elements of X . The maximum length of the product is k − 1, as N is a k-nilpotent semigroup and z i is a non-zero element of N . As X is a finite set, there are only finitely many such y and so Y i is finite. Now consider Y 0 . Certainly T k ⊆ Y 0 as N is a k-nilpotent semigroup. We have that Y 0 \T k is finite as any element of Y 0 \T k can be expressed as product over X of length at most k − 1.
If s / ∈ π S (U ) = T then we can separate (s, n) from U by factoring through S and invoking the weak subsemigroup separability of S. Similarly, if t / ∈ π N (U ) = Z then we can separate (s, n) from U by factoring through N and using the residual finiteness of N . Now assume that s ∈ π S (U ) and n ∈ π N (U ). Then either (i) n = 0 and s / ∈ Y 0 , or (ii) n = z i for some 1 ≤ i ≤ m and s / ∈ Y i .
(i) First note that T k ≤ S is finitely generated by the set X k ∪ X k+1 ∪ · · · ∪ X 2k−1 .
(ii) As S is WSS it is residually finite by [11, Proposition 2.1] and so there exists a finite semigroup P and homomorphism φ: S → P such that φ(s) / ∈ φ(Y i ). As N is residually finite, there exists a finite semigroup Q and homomorphism ψ: Then φ×ψ: S×N → P×Q given by (a, b) → (φ(a), ψ(b)) separates (s, n) from U . This completes the proof that S × N is WSS.
A characterisation for when a finite semigroup is weakly subsemigroup separability preserving is not known. We leave this as one of the open problems concerning weak subsemigroup separability and direct products. But before we state the open problems, we show that the direct product of two WSS semigroups is MSS.

Theorem 4.6 The direct product of two weakly subsemigroup separable semigroups is monogenic subsemigroup separable.
Proof Let S and T be WSS semigroups. Let U = (s, t) ≤ S × T be a monogenic subsemigroup and let (x, y) ∈ (S × T )\U . If x / ∈ π S (U ) = s then we can separate (x, y) from U by factoring through S and using the weak subsemigroup separability of S. By a similar argument, we can separate (x, y) from U if y / ∈ π T (U ). Now consider the case that x ∈ π S (U ) and y ∈ π S (T ). Then x = s i and y = t j , where i, j ∈ N such that i = j, s i = s j and t i = t j . Firstly we consider the case when at least one of s and t is infinite. Without loss of generality, assume that s ∼ = N. In this instance s i / ∈ s i+1 , s i+2 , . . . , s 2i+1 = {s k | k ≥ i + 1}. Hence we can separate (x, y) from {(s k , t k ) | k ≥ i + 1} by factoring through S and using the weak subsemigroup separability of S. That is, there exists a finite semigroup P 1 and a homomorphism φ 1 : S × T → P 1 such that φ 1 (x, y) = φ 1 (s n , t n ) for all n ≥ i + 1. As S and T are both WSS, they are both residually finite by [11,Proposition 2.1]. Hence S × T is residually finite by [7,Theorem 2]. Then we can separate (x, y) from the finite set {(s k , t k ) | k ≤ i}. That is, there exists a finite semigroup P 2 and homomorphism φ 2 : S × T → P 2 such that φ 2 (x, y) = φ 2 (s k , t k ) for 1 ≤ k ≤ i. Then the homomorphism φ: S × T → P 1 × P 2 given by φ(a, b) = (φ 1 (a, b), φ 2 (a, b)) separates (x, y) from U .
The final case to consider is when both s and t are finite, in which case U is finite. As S × T is residually finite we can separate (x, y) from U . Hence S × T is MSS as desired.
We conclude this section with some open problems.

Open Problem 4.7 Is there a characterisation of when a finite semigroup is weakly subsemigroup preserving?
Open Problem 4.8 Is there a characterisation of when a direct product of two weakly subsemigroup separable semigroups is itself weakly subsemigroup separable?
Open Problem 4.9 If the direct product of two semigroups is weakly subsemigroup separable, is at least one of the factors weakly subsemigroup separable?

Monogenic subsemigroup separability
We have already seen that if a direct product of two semigroups is MSS, then it need not be that both factors are MSS (Example 4.1). Here we also show that the direct product of two MSS semigroups need not be MSS, even if one of the factors is finite (Example 5.12). In the process of constructing this example, we develop the necessary theory to determine when a finite semigroup is MSS-preserving (Theorem 5.10). We complete this section by showing the direct product of a WSS semigroup with a residually finite periodic semigroup is always MSS (Proposition 5.13).
We shall first turn our attention to finding an example of a direct product of two MSS semigroups which is not MSS. Key to this is a particular group embeddable semigroup A, which we will define shortly. In showing that A is group embeddable we use a criterion given by Adian, which we now review. Consider a relation (u, w) ∈ R. The left pair of (u, w) is the pair (x, y), where x is the leftmost letter of u and y is the leftmost letter of w. The right pair of (u, w) is the pair (z, t), where z is the rightmost letter of u and t is the rightmost letter of w. The left graph of the presentation is the graph with vertex set X such that {x, y} is an edge if and only if (x, y) is a left pair of some relation. Note that multiple edges and loops are allowed. The right graph of the presentation is the graph with vertex set X such that {z, t} is an edge if and only if (z, t) is a right pair of some relation. The presentation X | R is said to have no cycles if both its left graph and right graph have no cycles (here loops are cycles and multiple edges create cycles). Proof By Theorem 5.2, the natural map from A to the group G given by the group presentation x, y, z | x y 2 z = y is an embedding. It can be easily seen that this group is free, by use of a single Tietze transformation eliminating the generator z. A with presentation a, b, c | ab 2 c = b , the strings abbc and b represent the same element. Therefore we can define a rewriting system on A that replaces the string abbc by b. As the single rewriting rule is length reducing, the rewriting system is terminating. Also, as ab 2 c does not overlap with itself, the rewriting system is locally confluent and hence confluent. For more on rewriting systems see [3, Section 1.1]. Therefore, each element of A is represented by a unique word in {a, b, c} + , where this representative does not contain abbc as a subword. Such a word is said to be in normal form. Note that a contiguous subword of a normal form word is also a word in normal form. We shall therefore consider the underlying set of A to be the set of all words over {a, b, c} in normal form. Multiplication is concatenation, except in the case where concatenation creates instances of abbc as subwords, in which case the rewriting rule is applied to convert the product into normal form.

Definition 5.4 In the semigroup
φ(w i ) must end with x −1 y. Therefore for cancellation to occur, φ(w i+1 ) must begin with y −1 . By the final observation of Case (2b), φ(w i+1 ) can only begin with a negative letter if u i+1 = b or u i+1 = b 2 . In the first case, φ(w i+1 ) = y −1 (x −1 y −1 ) n i+1 −1 x −1 y and there is precisely one cancelling pair when we concatenate φ(w i ) and φ(w i+1 ). In the second case, φ(w i+1 ) = (x −1 y −1 ) n i+1 −1 x −1 y and no cancellation occurs when we concatenate φ(w i ) and φ(w i+1 ) completing the proof of the claim. Note that if cancellation occurs, than the cancelling pair is yy −1 . Now consider φ(w 1 )φ(w 2 ) . . . φ(w k )φ(v). As already observed, φ(w 1 ) and φ(w 2 ) both end with x −1 y. By the claim of the previous paragraph, there is at most one cancelling pair of letters, yy −1 , between φ(w 1 ) and φ(w 2 ). So it must be the case that φ(w 1 w 2 ) also ends with x −1 y. Continuing in this manner, we conclude that φ(w 1 w 2 . . . w k ) ends with x −1 y. As φ(v) is either empty or consists of positive letters, there is no cancellation between φ(w 1 w 2 . . . w k ) and φ(v) and we conclude φ(w) is non-empty, completing the proof of this case and of the lemma.
Before we proceed to show that A is MSS but not WSS, we introduce the notion of stability. This is needed in showing that A is not WSS.

Definition 5.6 A semigroup S is stable if both
a J ab ⇒ a R ab and a J ba ⇒ a L ba. We are now ready to establish the separability properties of the semigroup A.

Proposition 5.9
The semigroup A given by the presentation a, b, c | ab 2 c = b is monogenic subsemigroup separable but not weakly subsemigroup separable.
Proof Let T = u ≤ A be a monogenic subsemigroup and let v ∈ A\T . Let FG 2 and φ: A → FG 2 be as in Corollary 5.3. As φ is an embedding, we have that φ(v) / ∈ φ(T ). Let H ≤ FG 2 be the cyclic subgroup with generator φ(u). First we show that This contradicts Lemma 5.5 and we conclude φ(v) / ∈ H . As FG 2 is weakly subgroup separable [8,Theorem 5.1], there exists a finite group G and homomorphism ψ: To show that A = a, b, c | ab 2 c = b is not weakly subsemigroup separable, consider the subsemigroup V = b 2 , b 3 . As b ∼ = N, we have b ∈ A\V . Let P be a finite semigroup and let σ : A → P be a homomorphism. The relation ab 2 c = b ensures that bJ b 2 and hence σ (b)J σ (b 2 ). But as P is finite we have that the H-class of σ (b) is a group by Lemma 5.7 and Remark 5.8. Hence σ (V ) = σ (b) is a finite cyclic group and in particular σ (b) ∈ σ (V ). Therefore A is not weakly subsemigroup separable.
The semigroup A will prove crucial in characterising which finite semigroups are MSS-preserving. In fact our characterisation will stretch to residually finite periodic semigroups. Note that a periodic semigroup is MSS if and only if it is residually finite. Periodic residually finite semigroups are MSS because every monogenic subsemigroup of such a semigroup is finite. The fact that MSS semigroups are residually finite is a consequence of [11,Proposition 2.1]. Although the statement of [11,Proposition 2.1] asserts that WSS semigroups are residually finite, the proof of this assertion only uses weak subsemigroup separability to separate elements from monogenic subsemigroups, and thus also serves as a proof that MSS semigroups are residually finite.

Theorem 5.10 A residually finite periodic semigroup is monogenic subsemigroup separability preserving if and only if it is a union of groups.
Proof (⇐) Let T be a residually finite periodic semigroup which is a union of groups. Let S be a MSS semigroup and let U = (s, t) ≤ S × T . Let (x, y) ∈ (S × T )\U . We separate into cases. Note some cases may overlap.
Case 1 Suppose s ≤ S is finite. As T is periodic, we also have that t is finite. Therefore U is also finite. As S is MSS it is also residually finite [11, Proposition 2.1] and therefore S × T is residually finite. Hence we can separate (x, y) from U .

Case 2
Suppose that x / ∈ π S (U ); that is, x / ∈ s ≤ S. We can separate (x, y) from U by factoring through S and invoking the monogenic subsemigroup separability of S.

Case 3 Suppose that y /
∈ π T (U ). As π T (U ) = t and T is periodic, we have that π T (U ) is finite. So we can separate (x, y) from U by factoring though T and invoking the residual finiteness of T .
Case 4 Now suppose that s ∼ = N, x ∈ π S (U ) and y ∈ π T (U ). Let r ∈ N be minimal such that t r +1 = t. Such an r exists as T is periodic and a union of groups. As x ∈ π S (U ), we have that x = s i for some i ∈ N. As y ∈ π T (U ), we have that y = t j for some j ∈ {1, 2, . . . , r }. Observe that As (x, y) / ∈ U , it must be the case that i ≡ j (mod r ). We split into two subcases.

Case 4a
First we will deal with the case j = r . In this case, y is an idempotent and we have π S (U ∩ (S × {t r })) = s r .

Case 4b
Now assume that j ∈ {1, 2, . . . , r − 1}. Let k be such that j + k = r . Then as i ≡ j (mod r ), we have that i + k ≡ j + k (mod r ). Hence (s i+k , t j+k ) = (s i+k , t r ) / ∈ U . By Case 4a we can separate (s i+k , t r ) from U . We now show that we can separate (x, y) = (s i , t j ) from U . For a contradiction suppose it cannot be separated. Let ∼ be a finite index congruence which separates (s i+k , t r ) from U . As (s i , t j ) cannot be separated from U , there exists ∈ N such that (s i , t j ) ∼ (s, t) . But then This contradicts that ∼ separates (s i+k , t r ) from U . Hence (x, y) can be separated from U , completing the proof of this case and establishing that S × T is MSS.
(⇒) Now suppose that T is a residually finite periodic semigroup which is not a union of groups. We will show that T is not MSS-preserving. As T is not a union of groups, there exists an element t ∈ T such that for all n ≥ 2 we have that t n = t. Let m be the index and let r be the period of the monogenic subsemigroup t . We have that m ≥ 2 and t m = t m+r . Let i = m − 1.
As before, let A be the monogenic subsemigroup separable semigroup given by the presentation a, b, c | ab 2 c = b . It is easy to show that a semigroup S is MSS if and only if S 1 is MSS. Therefore A 1 is also MSS.
Then (b i , t i+r ) / ∈ U . Let d ∈ {m, m + 1, . . . , m + r − 1} be such that d ≡ 0 (mod r ). Then it must be the case that t d is an idempotent. Furthermore, t i+r t d = t i+r . Let ρ be a finite index congruence on A 1 × T . Then ρ is a finite group by Lemma 5.7 and Remark 5.8. In particular there exists k > 2 such that Adopting the convention that if i = 1 then b i−1 is the identity of A 1 , we observe that From Equation (3), we have that (b i+(k−1)r , t i+r ) ∈ U . So ρ does not separate (b i , t i+r ) from U . As ρ was arbitrary we conclude that A 1 × T is not MSS and in particular T is not MSS-preserving.

Remark 5.11
From Theorems 3.5 and 5.10, we have that the class of finite MSSpreserving semigroups is contained within the class of finite SSS-preserving semigroups. However, as already observed, there is no such containment between the class of finite WSS-preserving semigroups with either finite SSS-preserving or finite MSSpreserving semigroups.
The following example is a consequence of the proof of Theorem 5.10. It shows that the direct product of two MSS semigroups need not be MSS, even when one of the factors is finite.

Example 5.12
The direct product of A = a, b, c | ab 2 c = b and the two element zero semigroup N = {x, 0} (with the zero element 0) is not monogenic subsemigroup separable. This follows from the proof of Theorem 5.10 and as N is not a union of groups.
Although it is not true that the direct product of an MSS semigroup with a residually finite semigroup is necessarily MSS, if we strengthen the assumption of monogenic subsemigroup separability to weak subsemigroup separability, we obtain a positive result, which we present below. Proposition 5.13 can be seen as a successor of Theorem 5.10, be it can also be viewed a variation of Theorem 4.6. The similarities between Proposition 5.13 and Theorem 4.6 are discussed in Remark 5.14.

Proposition 5.13
The direct product of a weakly subsemigroup separable semigroup S with a residually finite periodic semigroup T is monogenic subsemigroup separable.
Proof Let U = (s, t) ≤ S × T and let (x, y) ∈ (S × T )\U . We split into cases.
Case 1 Suppose s ≤ S is finite. As T is periodic, we also have that t is finite. Therefore U is also finite. As S is MSS it is also residually finite [11, Proposition 2.1] and therefore S × T is residually finite. Hence we can separate (x, y) from U .

Case 2
Suppose that x / ∈ π S (U ). Then x / ∈ s ≤ S. So we can separate (x, y) from U by factoring through S and invoking the weak subsemigroup separability of S.
Case 3 Now suppose that s ∼ = N and that x ∈ π S (U ). Then x = s i for some i ∈ N. As S is WSS, we can separate s i from s i+1 , s i+2 , . . . , s 2i−1 = {s k | k ≥ i + 1}. Hence we can separate (x, y) from {(s k , t k ) | k ≥ i + 1} by factoring through S and using the weak subsemigroup separability of S. That is, there exists a finite semigroup P 1 and a homomorphism φ 1 : S×T → P 1 such that φ 1 (x, y) = φ 1 (s n , t n ) for all n ≥ i +1. As S is WSS, it is residually finite by [11,Proposition 2.1]. Hence S×T is residually finite by [7,Theorem 2]. Then we can separate (x, y) from the finite set {(s k , t k ) | k ≤ i}. That is, there exists a finite semigroup P 2 and homomorphism φ 2 : S × T → P 2 such that φ 2 (x, y) = φ 2 (s k , t k ) for 1 ≤ k ≤ i. Then the homomorphism φ: S × T → P 1 × P 2 given by φ(a, b) = (φ 1 (a, b), φ 2 (a, b)) separates (x, y) from U . Remark 5.14 If every residually finite periodic semigroup is WSS, then Proposition 5.13 becomes a specific instance of Theorem 4.6. However, it is not known whether every residually finite periodic semigroup is WSS. This is left as an open question at the end of this section.
We conclude this section, and the paper, with some open problems.

Open Problem 5.15
Is there a characterisation of when the direct product of two monogenic subsemigroup separable semigroups is itself monogenic subsemigroup separable?
Open Problem 5.16 If the direct product of two semigroups is monogenic subsemigroup separable, is at least one of the factors monogenic subsemigroup separable?
Open Problem 5.17 Is every residually finite periodic semigroup weakly subsemigroup separable?
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.