On right chain semigroups.

DOI10.1016/J.JALGEBRA.2005.07.019MaRDI QIDQ2572068zbMATH OpenOpenAlexFDO

Authors Miguel Ferrero, Ryszard Mazurek, Alveri Sant'Ana

Publication date 14 November 2005

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2005.07.019

completely prime ideals idempotent ideals locally nilpotent ideals locally nilpotent radical nil ideals nil radical nilpotent elements prime radical prime segments right chain semigroups

Mathematics Subject Classification ID

General structure theory for semigroups (20M10) Radical theory for semigroups (20M11) Ideal theory for semigroups (20M12)

Review text

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.

Recommendations

Cites work

Cited in

(30)

This page was built for publication: On right chain semigroups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2572068)