On bounded po-semigroups
HTML articles powered by AMS MathViewer
- by Zahava Shmuely PDF
- Proc. Amer. Math. Soc. 58 (1976), 37-43 Request permission
Abstract:
The bounded po-semigroup $S$ is investigated by studying its increasing elements $u( \leq {u^2})$ and decreasing elements $v( \geq {v^2})$. In particular, in $S,01( = {0^n}{1^m}),10( = {1^n}{0^m}),010$ and $101$ are all idempotents and $010 = 01{ \wedge _E}10,101 = 10{ \vee _E}01,E$ the set of idempotents of $S$ ordered as a subset of $S$. In $S,0a1 = 01$ and $1a0 = 10$ holds for each $a \in S$. Consequently, $S$ has a zero element $z$ iff $01 = 10$ and in that case $z = 01.S$ cannot be cancellative unless it is trivial. ${J_0} = S10S \subseteq S$ is the kernel of $S$ and consists of all (idempotents) $a \in S$ satisfying $aSa = a$. Thus when $S$ is a (zero) simple bounded po-semigroup then $aSa = \{ a,z\}$ and either ${a^2} = a$ or ${a^2} = z$ for each $a \in S$. When $S = {X^X}$, the po-semigroup of isotone maps $f$ on the bounded poset $X$, then ${J_0}$ consists of all constant maps on $X$, hence ${J_0} \simeq X$. The following generalization of Tarski’s fixed point theorem is obtained: Let $S$ be a complete (lattice and a) po-semigroup and let $s \in S$ be given. Then the set ${E_s}({J_s})$ of all elements ${x_0} \in E( \in {J_0}{\text { resp}}{\text {.)}}$ satisfying $s{x_0} = {x_0}s = {x_0}$ is a nonempty complete lattice when ordered as a subset of $S$.References
- Garrett Birkhoff, Lattice theory, 3rd ed., American Mathematical Society Colloquium Publications, Vol. XXV, American Mathematical Society, Providence, R.I., 1967. MR 0227053
- 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
- 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
- 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 325485
- Oystein Ore, Galois connexions, Trans. Amer. Math. Soc. 55 (1944), 493–513. MR 10555, DOI 10.1090/S0002-9947-1944-0010555-7
- Zahava Shmuely, Increasing and decreasing operators on complete lattices, J. Combinatorial Theory Ser. A 21 (1976), no. 3, 369–383. MR 424629, DOI 10.1016/0097-3165(76)90008-x
- Alfred Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific J. Math. 5 (1955), 285–309. MR 74376
Additional Information
- © Copyright 1976 American Mathematical Society
- 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