×

Order theoretic variants of the fundamental theorem of compact semigroups. (English) Zbl 0812.22003

This paper offers an extensive study of po-semigroups (partially ordered semigroups with order-preserving multiplications) with particular emphasis on the fundamental structure theorem – that is, the possession of a minimal ideal which is a paragroup. The existence of minimal ideals if often deduced from compactness conditions (for example, they are always found in compact right topological semigroups), and the author is aiming at replacing these by order conditions. He observes that order properties are left-right symmetric, whereas right continuity is not.
The key to the structure theorem is the existence of an idempotent minimal in the algebraic sense. The author observes that in each of the theories which involve partially ordered semigroups, each semigroup contains an idempotent of this type which is also order maximal in the minimal left ideal which contains it. General conditions for the existence of such idempotents are given. Special cases are that they do if (a) there are a finite number of maximal, and of minimal, elements in the po-semigroup, and if (b) there are a finite number of minimal elements and the ascending chain condition is satisfied.
The more striking part of the paper is concerned with the structural consequences of the existence of such an idempotent in a po-semigroup \(S\). For example, the maximal subgroups of the minimal ideal must all be antichains. The basic paragroup structure of the minimal ideal is an order isomorphism too (with the direct product having the product order). The set of maximal elements of any minimal left ideal is itself a left group. The subsets \(L\) of \(S\) which are minimal with respect to the property of being both a left ideal and a “down-set” (\(L = \downarrow L = \{x : x \leq y\) for some \(y \in L\}\)) are either identical or disjoint, and each such \(L\) contains precisely one minimal left ideal. If \(M\) denotes the set of elements order maximal in \(L\), then \((\uparrow M)(\downarrow M) = M\). Quite remarkably, no single element in \(\uparrow M\) can lie above two different elements of \(M\), a conclusion which leads to a semigroup congruence on \(\uparrow M\). There is a somewhat weaker analogue for \(\downarrow M\).

MSC:

22A15 Structure of topological semigroups
06F05 Ordered semigroups and monoids
20M12 Ideal theory for semigroups
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] J. F. Berglund, H. D. Junghenn & P. Milnes, ”Analysis on semigroups: function spaces, compacifications, representations”, Wiley, New York, 1989. · Zbl 0727.22001
[2] A. H. Clifford, & G. B. Preston, ”The algebraic theory of semigroups I”, Math. Surveys 7, AMS, Providence, 1961. · Zbl 0111.03403
[3] B. A. Davey, & H. A. Priestley, ”Introduction to lattices and order”, Cambridge University Press, Cambridge, 1990. · Zbl 0701.06001
[4] A. M. Forouzanfar, & J. S. Pym,Compact right uppersemicontinuous semigroups of closed sets, Semigroup Forum,42 (1991) 175–188. · Zbl 0739.22003 · doi:10.1007/BF02573419
[5] S. D. Hippisley-Cox,On the structure of certain po-semigroups, Semigroup Forum,44 (1992) 213–220. · Zbl 0759.22006 · doi:10.1007/BF02574340
[6] Z. Shmuely,On bounded po-semigroups, Proc. AMS58 (1976), 37–43. · Zbl 0343.06017 · doi:10.1090/S0002-9939-1976-0457316-9
[7] A. Suschkewitsch,Über die endlichen Gruppen ohne das Gesetz der eindeutigen Umkerbarkheit, Math. Ann.99 (1928) 30–50. · JFM 54.0151.04 · doi:10.1007/BF01459084
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.