On right chain ordered semigroups

A right chain ordered semigroup is an ordered semigroup whose right ideals form a chain. In this paper we study the ideal theory of right chain ordered semigroups in terms of prime ideals, completely prime ideals and prime segments, extending to these semigroups results on right chain semigroups proved in Ferrero et al. (J Algebra 292:574–584, 2005).


Introduction and preliminaries
Problems studied in this paper have their roots in the theory of chain rings. Recall that a ring R with unity is said to be a right (respectively left) chain ring if its right (respectively left) ideals form a chain, i.e., are totally ordered by set inclusion. If R Communicated by Mikhail Volkov. B Ryszard Mazurek r.mazurek@pb.edu.pl Thawhat Changphas thacha@kku.ac.th is a right and left chain ring, then R is called a chain ring. These rings are natural generalizations of commutative valuation rings to the noncommutative case and they have been extensively studied in many papers.
In 1976, Brungs and Törner proved in [6,Theorem 3.6] that a semi-invariant chain ring is invariant provided it satisfies d.c.c. for prime ideals. This result indicated the importance of the structure of the lattice of prime ideals of a chain ring. In [1,Theorem 3.5], Bessenrodt, Brungs and Törner noted that in a right chain ring, a prime ideal which is not completely prime is always pairing with a unique completely prime ideal, and this result drew attention to the structure of the lattice of completely prime ideals of a right chain ring. As noted in [7], essential for the understanding of the ideal theory of right chain rings R is the understanding of the ideals between two neighbouring completely prime ideals P 1 ⊃ P 2 of R; such a pair (P 1 , P 2 ) is called a prime segment of R. In [7, Theorem 2.2], Brungs and Törner proved that a prime segment of a right chain ring falls in exactly one of three classes: it is either archimedean, or simple, or exceptional. An analogous classification for prime segments of Dubrovin valuation rings was obtained by Brungs et al. [2], and for so called semiprime segments of any ring by Törner and the third author in [13]. Further results on prime segments can be found in, e.g., [3][4][5]12].
A natural generalization of right chain rings are right chain semigroups, i.e., semigroups with unity whose right ideals form a chain. Examples of right chain semigroups include the cones of left ordered groups and the multiplicative semigroups of right chain rings. In [8] Brungs and Törner extended the ideal theory of right chain rings in terms of prime ideals, completely prime ideals and prime segments to right cones, that is to right chain semigroups with a left cancellation law. In particular, in [8,Theorem 1.14] Brungs and Törner classified prime segments of a right cone as either archimedean, or simple, or exceptional. An analogous classification of prime segments P 1 ⊃ P 2 for right P 1 -comparable semigroups was obtained by Halimi in [11,Theorem 4.8]. In [9], Ferrero, Sant'Ana, and the third author generalized the ideal theory of right cones to right chain semigroups, but in this case it was necessary to add to the three known types of prime segments (archimedean, simple, exceptional) another one, which was named "supplementary".
In this paper we do a next step, namely we introduce right chain ordered semigroups and extend to them the ideal theory of right chain semigroups developed in [9]. Below in this section we explain why the new class of semigroups is a generalization of right chain semigroups.
Recall (see, e.g., [10]) that an ordered semigroup (S, ·, ≤) is a semigroup (S, ·) together with a partial order ≤ that is compatible with the semigroup operation, i.e., for any x, y, z ∈ S we have x ≤ y ⇒ xz ≤ yz and zx ≤ zy.
For nonempty subsets A, B of S we define (A] = {s ∈ S : s ≤ a for some a ∈ A} and AB = {ab : a ∈ A, b ∈ B}. A nonempty subset I of an ordered semigroup (S, ·, ≤) is called a right (respectively, left) ideal of S if it satisfies the following conditions: (1) I S ⊆ I (respectively, S I ⊆ I ); (2) I = (I ], that is, for any s ∈ S and a ∈ I , s ≤ a implies s ∈ I . If I is both a left and a right ideal of S, then I is called a two-sided ideal of S, or simply an ideal of S. Definition 1.1 An ordered semigroup (S, ·, ≤) is called a right chain ordered semigroup if the right ideals of S form a chain, i.e., for any right ideals I, J of S we have I ⊆ J or J ⊆ I . Left chain semigroups are defined analogously, and S is a chain ordered semigroup if it is a right and left chain ordered semigroup.
Note that any semigroup (S, ·) is an ordered semigroup with respect to the trivial order ≤ on S (i.e., the order defined by x ≤ y ⇔ x = y). Furthermore, if ≤ is the trivial order on S, then a subset A ⊆ S is a right ideal of the ordered semigroup (S, ·, ≤) if and only if A is a right ideal of the semigroup (S, ·). Hence right chain semigroups are exactly right chain ordered semigroups with respect to the trivial order. Therefore, the notion of a right chain ordered semigroup generalizes the notion of a right chain semigroup. It is also obvious that any general result on right chain ordered semigroups (S, ·, ≤), when applied to the trivial order ≤ on S, gives its counterpart for the right chain semigroup (S, ·).
An element e of an ordered semigroup (S, ·, ≤) is called an identity element of S if ex = x = xe for any x ∈ S. An element 0 of S is called a zero element of S if 0x = 0 = 0x for any x ∈ S. In this paper we assume that each ordered semigroup is with identity element e, and with zero element 0, and e = 0.
The following example shows that a right chain ordered semigroup need not be a right chain semigroup.

Example 1.2
The set T = {a, b} with the multiplication x y = x for any x, y ∈ T is a semigroup (without zero and identity). Let S be the semigroup obtained from T by adjoining zero and unity elements, i.e., S = {0, e, a, b} and the multiplication in S is defined as follows: Hence (S, ·, ≤) is a right chain ordered semigroup.
The paper is organized as follows. In Sect. 2 we study relationships between prime, semiprime, completely prime, and completely semiprime right ideals of an ordered semigroup (S, ·, ≤), and we provide some methods for constructing such right ideals. In Sect. 3 we show that if furthermore (S, ·, ≤) is a right chain ordered semigroup, then for any right ideal of S, being semiprime is equivalent to being prime, and being completely semiprime is the same as being completely prime. Moreover, in Sect. 3 we use powers of an ideal and powers of an element to construct completely prime right ideals. In Sect. 4 we focus on prime segments of right chain ordered semigroups, proving that any prime segment falls into one of four categories: it has to be archimedean, or simple, or exceptional, or supplementary.
In the paper the symbol ⊂ denotes proper inclusion of sets. The set of positive integers is denoted by N.

Prime, semiprime, completely prime and completely semiprime ideals of ordered semigroups
Let (S, ·, ≤) be an ordered semigroup and let A and B be nonempty subsets of S.
Recall that AB denotes the set of all products ab, where a ∈ A and b ∈ B. If s ∈ S, then we write s A (respectively, As) instead of {s}A (respectively, A{s}). If n ∈ N, then A n denotes the set of all products a 1 a 2 · · · a n , where a 1 , a 2 , . . . , a n ∈ A. The symbol (A] denotes the set of all elements s ∈ S such that s ≤ a for some a ∈ A.
In the following proposition we record some basic properties of these sets. We will freely use this proposition in the paper; its easy proof is left to the reader.
It is easy to see that if I and J are right (respectively, two-sided) ideals of S, then (I J] is a right (respectively, two-sided) ideal of S. Furthermore, directly from Proposition 2.1(2) we obtain the following corollary. completely prime if I is proper and for any elements a, b of S, ab ∈ I implies a ∈ I or b ∈ I ; semiprime if I is proper and for any right ideal A of S, A 2 ⊆ I implies A ⊆ I ; completely semiprime if I is proper and for any element a of S, a 2 ∈ I implies a ∈ I .
From the above definitions we obtain immediately the following implication chart for the considered types of right ideals: completely prime ⇒ completely semiprime Below we prove another interrelation between considered types of ideals.

Proposition 2.3 Let I be an ideal of an ordered semigroup (S, ·, ≤). Then I is completely prime if and only if I is prime and completely semiprime.
Proof Obviously if I is completely prime, then I is prime and completely semiprime.
To prove the converse implication, assume that I is prime and completely semiprime.
To show that I is completely prime, consider any a, b ∈ S such that ab ∈ I . Then and since I is completely semiprime, we obtain (bSa] ⊆ I and thus bSa ⊆ I . Hence and since I is prime, it follows from (2.2) that (bS] ⊆ I or (aS] ⊆ I . Thus b ∈ I or a ∈ I , which shows that I is completely prime. The following concept will be useful in constructing semiprime ideals of an ordered semigroup (S, ·, ≤). For any proper right ideal A of S we define the Hoehnke ideal of S associated with A to be the set If the order ≤ is trivial and A is an ideal of S, then the Hoehnke ideal coincides with the set H A (S) = {h ∈ S : s / ∈ shS f or all s ∈ S\A}, which was defined and studied in [9] (for information why Hoehnke's name appears in this context, the interested reader is referred to [9]). Below we extend [9, Proposition 2] to ordered semigroups, showing in particular that indeed H A (S) is an ideal of S.
Then y ≤ h for some h ∈ H A (S). Since for any s ∈ S\A we have sy ≤ sh, we get Before showing that the ideal H A (S) is semiprime, we prove for any right ideal I of S the equivalence stated in (2). We proceed by contraposition. If I H A (S), then there exist i ∈ I and s ∈ S\A such that s ∈ (si S], and s ∈ (s I ] follows, which proves the implication "⇐" in (2). To prove the opposite implication, suppose that s ∈ (s I ] for some s ∈ S\ A. Then for some i ∈ I we have s ≤ si = sie ∈ si S, and thus s ∈ (si S], which implies that i / ∈ H A (S). Hence I H A (S) and the proof of (2) is complete.
To establish (1) For any proper right ideal A of an ordered semigroup (S, ·, ≤) we define the associated prime right ideal of A to be the set This concept is an analogue of the notion introduced in [9, Definition 12]. Below we extend [9, Lemma 13(i)] to ordered semigroups.

Proposition 2.5 Let A be a proper right ideal of an ordered semigroup (S, ·, ≤). Then P r (A) is a completely prime right ideal of S containing A.
Proof By assumption, A is a proper right ideal of S. Hence e / ∈ A, and since for any a ∈ A we have ea = a ∈ A, it follows that A ⊆ P r (A). Now we show that P r (A) is a right ideal of S. For this, let us consider any s ∈ S and p ∈ P r (A). Since p ∈ P r (A), for some x ∈ S\ A we have x p ∈ A, and since A is a right ideal of S, we obtain x( ps) = (x p)s ∈ A and thus ps ∈ P r (A). Hence P r (A)S ⊆ P r (A). To complete the proof that P r (A) is a right ideal of S, it suffices to show that (P r (A)] ⊆ P r (A). For this, consider any q ∈ (P r (A)]. Then there exists p ∈ S such that q ≤ p and x p ∈ A for some x ∈ S\A. Since xq ≤ x p and x p ∈ A, it follows that xq ∈ (A] = A and thus q ∈ P r (A), as desired. Since obviously e / ∈ P r (A), it follows that P r (A) is a proper right ideal of S. To show that this right ideal is completely prime, consider any a, b ∈ S with ab ∈ P r (A). Then there exists x ∈ S\A such that xab ∈ A. If xa ∈ A, then we have a ∈ P r (A). Otherwise xa ∈ S\A, and since (xa)b = xab ∈ A, b ∈ P r (A) follows.

Prime and completely prime ideals of right chain ordered semigroups
The following result shows that for any right chain ordered semigroup the horizontal implications on the chart (2.1) are in fact equivalences. The result is a generalization of [9, Lemma 8].

Proposition 3.1 If (S, ·, ≤) is a right chain ordered semigroup, then (1) A right ideal I of S is semiprime if and only if I is prime. (2) An ideal I of S is completely semiprime if and only if I is completely prime.
Proof (1) Assume that I is a semiprime right ideal of S. Let A, B be right ideals of S such that AB ⊆ I . Since S is a right chain ordered semigroup, we must have A ⊆ B or B ⊆ A. If A ⊆ B, then A 2 ⊆ AB ⊆ I and A ⊆ I follows. Similarly B ⊆ A implies B ⊆ I . Thus I is prime. The converse statement is obvious.
(2) If an ideal I is completely semiprime, then (1) implies that I is prime, and thus I is completely prime by Proposition 2.3. The converse statement is clear.
Let A be an ideal of an ordered semigroup (S, ·, ≤). We adopt from [9] the following two useful notions. An ideal I of S is said to be A-nilpotent if I n ⊆ A for some n ∈ N. An element t of S is said to be A-nilpotent if t n ∈ A for some n ∈ N.
The following result extends [9, Proposition 9] to right chain ordered semigroups.

Proposition 3.2 Let A be a proper ideal of a right chain ordered semigroup (S, ·, ≤ ).
(

1) If I is an ideal of S such that I ⊆ H A (S) and I is not A-nilpotent, then n∈N (I n ] is a completely prime ideal of S. (2) If t ∈ S is such that t ∈ H A (S) and t is not A-nilpotent, then n∈N (t n S] is a prime right ideal of S.
Proof ( and thus t 2m ∈ A by Theorem 2.4 (2). But this is a contradiction, since t is not Anilpotent.
Example 10 in [9] shows that in Proposition 3.2 the assumptions I ⊆ H A (S) in part (1) and t ∈ H A (S) in part (2) are both necessary.

Proposition 3.4 Let A be a prime right ideal of a right chain ordered semigroup (S, ·, ≤). Then for any ideal I of S we have I ⊆ A or P r (A) ⊆ I . Proof Let I be an ideal of S such that P r (A)
I . Then there exists p ∈ P r (A)\I . Since p ∈ P r (A), for some x ∈ S\ A we have x p ∈ A, and since S is a right chain ordered semigroup and p / ∈ I , it follows that I ⊆ ( pS]. Hence

(x S]I ⊆ (x S I ] ⊆ (x I ] ⊆ (x( pS]] ⊆ (x pS] ⊆ (AS] ⊆ (A] = A,
and since A is prime and x / ∈ A, it follows that I ⊆ A.
The following lemma generalizes [9, Lemma 16]. Thus the result follows by induction.

Lemma 3.5 If
The following two notions are obvious analogues of the concepts defined in [9, p. 580]. Definition 3.6 Let (S, ·, ≤) be an ordered semigroup. An ideal Q of S is called an exceptional prime ideal of S if Q is prime but not completely prime. If I ⊂ J are ideals of S such that there are no further ideals properly between I and J , then we say that J is minimal over I .
We close this section with the following generalization of [9, Lemmas 15 and 17]. Proposition 3.7 Let (S, ·, ≤) be a right chain ordered semigroup, and let Q be an exceptional prime ideal of S. Then there exists a unique ideal D of S such that Q ⊂ D and D is minimal over Q. Furthermore, D = (D 2 ] and there exists an element a ∈ D\Q such that Q ⊂ n∈N (a n S]. In particular, there exist elements in D\Q that are not Q-nilpotent.
Proof Let D denote the intersection of all ideals I of S such that Q ⊂ I . Proposition 3.4 implies that for any such an ideal I we have P r (Q) ⊆ I and thus P r (Q) ⊆ D. By Proposition 2.5, P r (Q) is a completely prime right ideal of S containing Q, and since Q is an exceptional prime ideal, it follows that Q ⊂ P r (Q). Hence Q ⊂ D and now the definition of D and Corollary 2.2 imply that the ideal D is minimal over Q, and obviously D is a unique ideal of S with this property. If D = (D 2 ], then (D 2 ] ⊂ D, and the minimality of D over Q implies (D 2 ] ⊆ Q. Hence D 2 ⊆ (D 2 ] ⊆ Q, and since Q is prime, we get D ⊆ Q. This contradiction shows that D = (D 2 ]. We now prove that there exists a ∈ D\Q such that Q ⊂ n∈N (a n S]. Set Note that Q ⊆ C and thus the set C is nonempty. We claim that C ⊆ D. Indeed, if s ∈ S\D, then Lemma 3.5 implies that n∈N (s n D] = D, and since D Q, it follows that s / ∈ C, which proves our claim. Since Q is an exceptional prime ideal of S, by Proposition 3.1(2) for some b ∈ S\Q we have b 2 ∈ Q. If b ∈ (CbD], then b ∈ (cbD] for some c ∈ C. Hence (bD] ⊆ (cbD], and thus Since Q is prime and ((bS]D] 2 ⊆ Q, we get (bS]D ⊆ Q, so b ∈ Q or D ⊆ Q, a contradiction. Hence we must have C ⊂ D. To complete the proof, take any a ∈ D\C. Then n∈N (a n D] Q, and since S is a right chain ordered semigroup, we obtain Q ⊂ n∈N (a n D] ⊆ n∈N (a n S].

Prime segments of right chain ordered semigroups
Following [9], we define a prime segment of a right chain ordered semigroup (S, ·, ≤) to be a pair P 2 ⊂ P 1 of completely prime ideals of S such that no further completely prime ideal of S exists between P 2 and P 1 . In the following theorem we extend to right chain ordered semigroups the classification of prime segments of right chain semigroups given in [9,Theorem 18]. (a) There are no further ideals of S between P 2 and P 1 ; the prime segment is called simple in this case.
(b) For every a ∈ P 1 \P 2 there exists an ideal I ⊆ P 1 of S such that a ∈ I and n∈N (I n ] = P 2 ; the prime segment is called archimedean in this case. (c) There exists a prime ideal Q of S with P 2 ⊂ Q ⊂ P 1 ; the prime segment is called exceptional in this case. (d) There exists an ideal D of S such that P 2 ⊂ D ⊂ P 1 and D is minimal over P 2 ; the prime segment is called supplementary in this case.
Possibilities Proof Assume that the prime segment P 2 ⊂ P 1 is not simple, i.e., case (a) does not hold. Then there exists an ideal I of S such that P 2 ⊂ I ⊂ P 1 . If P 1 H I (S), then since S is a right chain ordered semigroup, we must have H I (S) ⊂ P 1 , and by combining Theorem 2.4(1,3) with Proposition 3.1(1) we can see that H I (S) is a prime ideal of S lying properly between P 2 and P 1 . Thus the prime segment P 2 ⊂ P 1 is exceptional in this case. Hence to the end of the proof we assume that there exists an ideal I of S with P 2 ⊂ I ⊂ P 1 and for any such an ideal I we have P 1 ⊆ H I (S). ] ⊆ P 2 , then since P 2 is completely prime, we would get I ⊆ P 2 ⊂ I , a contradiction. Hence, since S is a right chain ordered semigroup, we must have P 2 ⊂ D. We show that furthermore D is minimal over P 2 . If not, then there exists an ideal A of S such that P 2 ⊂ A ⊂ D. Then P 2 ⊂ A ⊂ P 1 and by (4.1) we have D ⊂ P 1 ⊆ H A (S). Hence by Proposition 3.2(1), n∈N (D n ] = D is a completely prime ideal of S, which however is impossible, since P 2 ⊂ P 1 is a prime segment. Hence D is minimal over P 2 and thus the prime segment P 2 ⊂ P 1 is supplementary in this case.
We are left with the case where there exists an ideal I of S such that P 2 ⊂ I ⊂ P 1 and for any such an ideal I we have (I n ] = (I n+1 ] for all n ∈ N. Let I be the set of all ideals I of S such that P 2 ⊂ I ⊂ P 1 . Since S is a right chain ordered semigroup and the ideal P 2 is completely prime, for any I ∈ I and n ∈ N we have P 2 ⊆ (I n ], and thus P 2 ⊆ n∈N (I n ] ⊂ P 1 . Since by Corollary 3.3 the ideal n∈N (I n ] is completely prime, it follows that n∈N (I n ] = P 2 f or any I ∈ I. (4.2) Let Q = {I : I ∈ I}. By Corollary 2.2, Q is an ideal of S. If Q = P 1 , then (4.2) implies that the prime segment P 2 ⊂ P 1 is archimedean. Assume that Q = P 1 . Then Q ⊂ P 1 . We consider two cases: Case1 : (P 2 1 ] ⊂ P 1 . Then P 2 ⊂ (P 2 1 ] ⊂ P 1 and thus (P 2 1 ] ∈ I. Hence n∈N (P 2n 1 ] = n∈N ((P 2 1 ] n ] = P 2 by (4.2) and thus Therefore P 2 = n∈N (P n 1 ] and the prime segment P 2 ⊂ P 1 is archimedean in this case.
Case2 : (P 2 1 ] = P 1 . We show that the ideal Q is prime in this case. By Proposition 3.1(1), it suffices to show that Q is semiprime. For this, consider any right ideal A of S such that A 2 ⊆ Q. Then A 2 ⊆ P 1 , and since P 1 is completely prime, A ⊆ P 1 follows. If A = P 1 , then P 1 = (P 2 1 ] = (A 2 ] ⊆ (Q] = Q ⊂ P 1 , a contradiction. Hence A ⊂ P 1 and thus A ⊆ Q by the definition of Q. Therefore Q is prime and the prime segment P 2 ⊂ P 1 is exceptional in this case. It is easy to see that possibilities (a), (b), (c) are mutually exclusive. It is also clear that (a) and (d) are mutually exclusive. To complete the proof, assume that the possibility (d) occurs and D is minimal over P 2 . Then D = (D 2 ], and Lemma 3.5 implies that for any a ∈ P 1 \D we have P 2 ⊂ D = n∈N (a n D] ⊆ n∈N (a n S]. Hence (b) and (d) cannot happen simultaneously.
Example 19 from [9] shows that possibilities (c) and (d) of Theorem 4.1 can occur simultaneously.
We close the paper with the following characterization of archimedean prime segments of right chain ordered semigroups. The result is a generalization of [9, Corollary 20]. Corollary 4.2 Let P 2 ⊂ P 1 be a prime segment of a right chain ordered semigroup (S, ·, ≤). Then the following conditions are equivalent.
(i) The prime segment P 2 ⊂ P 1 is archimedean.
(ii) ⇒ (iii) Let a ∈ P 1 \P 2 . Suppose that (aS] ⊆ (P 1 aS]. Then a ≤ pas for some p ∈ P 1 and s ∈ S. If p ∈ P 2 , then a ∈ (P 2 aS] ⊆ (P 2 ] = P 2 , a contradiction. Hence p ∈ P 1 \P 2 . Furthermore, a ≤ pas implies a ≤ pas ≤ p( pas)s = p 2 as 2 ≤ p 2 ( pas)s 2 = p 3 as 3 ≤ p 3 ( pas)s 3 = p 4 as 4 ≤ ... and thus for any n ∈ N we have a ≤ p n as n , and a ∈ ( p n S] follows. Hence by (ii), a ∈ n∈N ( p n S] = P 2 , which is a contradiction. Thus (aS] (P 1 aS], and since S is a right chain ordered semigroup, we obtain (P 1 aS] ⊂ (aS], as desired.
(iii) ⇒ (i) Assume (iii). Then for any a ∈ P 1 \P 2 we have P 2 ⊂ (P 1 aS] ⊂ (aS] ⊆ P 1 and thus the prime segment P 2 ⊂ P 1 is not simple. Suppose the prime segment P 2 ⊂ P 1 is exceptional, i.e., there exists a prime ideal Q of S such that P 2 ⊂ Q ⊂ P 1 . Then by Proposition 3.7 there exists an ideal D of S which is minimal over Q. This however is impossible, since (iii) implies that for any a ∈ D\Q we have Q ⊂ (P 1 aS] ⊂ (aS] ⊆ D. Finally, suppose the prime segment P 2 ⊂ P 1 is supplementary. Then there exists an ideal D of S such that P 2 ⊂ D ⊂ P 1 and D is minimal over P 2 . Then by (iii), for any a ∈ D \P 2 we have P 2 ⊆ (P 1 aS] ⊂ (aS] ⊆ D , a contradiction. Hence the prime segment P 2 ⊂ P 1 is neither simple, nor exceptional, nor supplementary, and thus by Theorem 4.1 it must be archimedean.