On right chain semigroups. (Q2572068)

Let \(S\) be a semigroup. If the set of all right ideals of \(S\) forms a chain with respect to inclusion, then \(S\) is called a right chain semigroup. The prime radical \(P(S)\) is the intersection of all prime ideals of \(S\); the locally nilpotent radical \(L(S)\) is the largest locally nilpotent ideal of \(S\); the nil radical \(N(S)\) is the largest nil ideal of \(S\); the Schwarz radical \(R(S)\) is the union of all nilpotent ideals of \(S\). For every semigroup \(S\), \(R(S)\subseteq P(S)\subseteq L(S)\subseteq N(S)\). The first theorem of this paper: Let \(S\) be a right chain semigroup, and \(T(S)\) the set of nilpotent elements of \(S\). Then the following holds: (1) \(T(S)s\leq sS\) for all \(s\in S\). (2) \(T(S)\) is a subsemigroup of \(S\), and \(T(S)\) is the union of nilpotent ideals of \(T(S)\). (3) \(R(S)=P(S)=L(S)=N(S)\) and it is a prime ideal of \(S\). Next a prime segment of a right chain semigroup \(S\) is defined to be a pair \(P_2\subset P_1\) of completely prime ideals of \(S\) such that there is no completely prime ideal of \(S\) between \(P_2\) and \(P_1\). The following is the main theorem of this paper. Let \(S\) be a right chain semigroup, and let \(P_2\subset P_1\) be a prime segment of \(S\). Then one of the following cases occurs: (a) For every \(s\in P_1\setminus P_2\) there exists an ideal \(I\subseteq P_1\) of \(S\) such that \(a\in I\) and \(\bigcap_{n\geq 1}I^n=P_2\). (b) There is no further ideal of \(S\) between \(P_2\) and \(P_1\). (c) There exists a prime ideal \(Q\) of \(S\) such that \(P_2\subset Q\subset P_1\). (d) There exists an idempotent ideal \(D\) of \(S\) with \(P_2\subset D\subset P_1\), \(D\) is minimal over \(P_2\). -- The prime segment \(P_2\subset P_1\) in case (a), (b), (c) and (d) is respectively called Archimedean, simple, exceptional, supplementary. Cases (a), (b), (c) are mutually exclusive, and cases (a), (b), (d) are also mutually exclusive, but (c) and (d) may occur simultaneously.