Zur Theorie der Stetigen Teilbarkeitshalbgruppen

Abstract

O. CallS:=(S,·,∩) a d-semigroup ifS satisfies the axioms (A1) (S,·) is a semigroup, (A2) (S,∩) is a semilattice (A3), (S,·,∩) is a semiring, (A4) a ≤b⇒bε aS ∩ Sa. Call tεS positive if ÅaεS: ta ≥a≤at. Let S⁺ denote the set {t‖t positive}. Every d-semigroup is closed under sup and (s,·,∪) is a semiring, (S, ∩, ∪) is a distributive lattice. Denote by D□X the implication s=Xa_i⇒x□s□y=X(x□a_i□y) where □ε{·,∩,∪} and Xε{∪,∩}. CallS continuous ifS satisfies all D□X. The theory of d-semigroups (divisibility-semigroups) was established in [3], [4], [5], and is continued here by some contributions to the theory of continuous d-semigroups the main results of which are the two propositions: (1) LetS be a d-semigroup with 1. ThenS satisfies D□X iffS ⁺ satisfies this axiom. (2) LetS be continuous. Then (S,·) is commutative. Obviously Proposition (2) is an improvement of Iwasawa's theorem concerning conditionally complete lattice ordered groups.