Bounded semigroups (Q762615)

The author introduces a new class of semigroups, halfway between commutative and general ones. In analogy with bounded rings he calls a semigroup \(S\) (left) bounded if for every prime ideal \(P\) of \(S\) and any left ideal \(I\) of \(S\) containing \(P\) such that \(I\cap X=P\) \((X\) a left ideal of \(S)\) implies \(X=P\), there exists a two-sided ideal \(B\) of \(S\) such that \(P\subset B\subseteq I\). This class of semigroups contains all semigroups for which every left ideal is two-sided (in particular, all commutative ones), all artinian semigroups (in particular, all finite ones) and all semigroups \(S\) satisfying Gabriel's condition (i.e. the left-quotient \(I\cdot .S\) of any left ideal \(I\) of \(S\) is equal to a finite intersection of left-quotients \(I\cdot .a\) with \(a\in S\). The main theorem of the paper establishes that in a bounded semigroup \(S\) the notions of tertiary and uniresiduated ideal coincide if for every left ideal \(I\) of \(S\) the set of all left-quotients and the set of all right-quotients of \(I\) satisfy the ascending chain condition. This generalizes a result of \textit{G. Cauchon} on left noetherian bounded rings [Commun. Algebra 4, 11--50 (1976; Zbl 0319.16014)].