On bounded po-semigroups

Author:
Zahava Shmuely

Journal:
Proc. Amer. Math. Soc. **58** (1976), 37-43

MSC:
Primary 06A50

DOI:
https://doi.org/10.1090/S0002-9939-1976-0457316-9

MathSciNet review:
0457316

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: The bounded po-semigroup is investigated by studying its increasing elements and decreasing elements . In particular, in and are all idempotents and the set of idempotents of ordered as a subset of . In and holds for each . Consequently, has a zero element iff and in that case cannot be cancellative unless it is trivial. is the kernel of and consists of all (idempotents) satisfying . Thus when is a (zero) simple bounded po-semigroup then and either or for each . When , the po-semigroup of isotone maps on the bounded poset , then consists of all constant maps on , hence . The following generalization of Tarski's fixed point theorem is obtained: Let be a complete (lattice and a) po-semigroup and let be given. Then the set of all elements satisfying is a nonempty complete lattice when ordered as a subset of .

**[1]**Garrett Birkhoff,*Lattice theory*, Third edition. American Mathematical Society Colloquium Publications, Vol. XXV, American Mathematical Society, Providence, R.I., 1967. MR**0227053****[2]**A. H. Clifford and G. B. Preston,*The algebraic theory of semigroups. Vol. I*, Mathematical Surveys, No. 7, American Mathematical Society, Providence, R.I., 1961. MR**0132791****[3]**L. Fuchs,*Partially ordered algebraic systems*, Pergamon Press, Oxford-London-New York-Paris; Addison-Wesley Publishing Co., Inc., Reading, Mass.-Palo Alto, Calif.-London, 1963. MR**0171864****[4]**Thérèse Merlier,*Nouvelles propriétés algébriques des demi-groupes idempotents totalement ordonnés*, C. R. Acad. Sci. Paris Sér. A-B**277**(1973), A451–A452 (French). MR**0325485****[5]**Oystein Ore,*Galois connexions*, Trans. Amer. Math. Soc.**55**(1944), 493–513. MR**0010555**, https://doi.org/10.1090/S0002-9947-1944-0010555-7**[6]**Zahava Shmuely,*Increasing and decreasing operators on complete lattices*, J. Combinatorial Theory Ser. A**21**(1976), no. 3, 369–383. MR**0424629****[7]**Alfred Tarski,*A lattice-theoretical fixpoint theorem and its applications*, Pacific J. Math.**5**(1955), 285–309. MR**0074376**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC:
06A50

Retrieve articles in all journals with MSC: 06A50

Additional Information

DOI:
https://doi.org/10.1090/S0002-9939-1976-0457316-9

Article copyright:
© Copyright 1976
American Mathematical Society