On right chain ordered semigroups (Q722562)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On right chain ordered semigroups
scientific article

    Statements

    On right chain ordered semigroups (English)
    0 references
    0 references
    0 references
    0 references
    26 July 2018
    0 references
    The authors call an ordered semigroup \(S\) ``right chain'' if the right ideals of \(S\) form a chain; they call an element \(0\) the zero of \((S,\cdot,\leq)\) if \(0x=x0=0\) for every \(x\in S\) -- that is, the zero of \((S,\cdot)\). However, the zero of an ordered semigroup \((S,\cdot,\leq)\) is an element \(0\) of \(S\) such that \(0\leq x\) and \(0x=x0=0\) for every \(x\in S\) [\textit{G. Birkhoff}, Lattice theory. Corr. repr. of the 1967 3rd ed. Providence, RI: American Mathematical Society (AMS) (1979; Zbl 0505.06001); \textit{L. Fuchs}, Partially ordered algebraic systems. Oxford-London-New York-Paris: Pergamon Press (1963; Zbl 0137.02001)]. They consider an ordered semigroup \((S,\cdot,\leq)\) having an identity \(e\) and a zero \(0\) of \((S,\cdot)\); and extend the results by \textit{M. Ferrero} et al. [J. Algebra 292, No. 2, 574--584 (2005; Zbl 1098.20045)] from semigroups to ordered semigroups containing these two elements. We do not always need the existence of these two elements in the paper. In Theorem 2.4, one of the main results of the paper, the authors try to prove that in an ordered semigroup \(S\) the Hoehnke ideal is really an ideal of \(S\), they proved that it is an interior ideal of \(S\). Since \(S\) has an identity, an interior ideal (in particular for this paper) happens to be an ideal as well; but this should be emphasized in the paper since an interior ideal is not an ideal in general and confusion is possible. The Proposition 2.1 of the paper, actually a lemma containing properties used throughout the paper, is not new (see, for example [the reviewer, Math. Jap. 35, No. 6, 1051--1056 (1990; Zbl 0717.06006)]). According to Proposition 2.3, an ideal \(I\) of an ordered semigroup \(S\) is completely prime if and only if \(I\) is prime and completely semiprime. This proposition is not new; it has been proved in a more general case by the reviewer [Semigroup Forum 44, No. 3, 341--346 (1992; Zbl 0756.06008)]. Besides, the prime right ideal is defined and there is no definition of prime ideals in the paper. The fact that every semigroup endowed with the order \(\leq :=\{(x,y) \mid x=y\}\) is an ordered semigroup and, because of that, the notion of right chain ordered semigroups generalizes the notion of right chain semigroups is also well known as it is known for any type of semigroups (see, for example [the reviewer, Math. Slovaca 62, No. 3, 417--424 (2012; Zbl 1314.06018); the reviewer and \textit{M. Tsingelis}, Semigroup Forum 78, No. 2, 343--348 (2009; Zbl 1169.06008)]). Although the paper is completely influenced by the reviewer's work on ordered semigroups, there is no reference even for the results the authors use in the paper. As they refer to Hoehnke's ideal, at least to the definition of right (left) ideals, introduced by the reviewer in [Math. Jap. 35, No. 6, 1061--1063 (1990; Zbl 0717.06008)] they ought to refer (as without this definition no research on ordered semigroups were ever possible).
    0 references
    ordered semigroup
    0 references
    prime
    0 references
    right chain
    0 references
    Hoehnke's ideal
    0 references
    completely prime
    0 references
    completely semiprime
    0 references
    semiprime.
    0 references

    Identifiers