Monoides et semi-anneaux continus. (Continuous monoids and semirings) (Q1105674): Difference between revisions

This paper continues the investigations of complete and countably complete (c-complete) monoids \((M,+,\Sigma)\) in [*] [the author, Semigroup Forum 36, 323-339 (1987; Zbl 0636.16019)]. Such a complete [c- complete] monoid \((M,+,\Sigma)\) is called continuous [c-continuous] iff i) \((M,+)\) is naturally partially ordered (n.p.o.) and ii) for each [at most countably infinite] family \((x_ i|\) \(i\in I)\) in M the sum \(\sum_ I(x_ i)_{i\in I}\) coincides with sup\(\{\sum_ J(x_ i)_{i\in J}\) for all finite \(J\subseteq I\}\). Among others it is shown that each naturally fully ordered (n.f.o.) continuous [c-continuous] monoid \((M,+,\Sigma)\) is t-complete [tc-complete], which means (cf. [*]) that all sums can be defined by a suitable topology \({\mathcal T}\) on \((M,+)\). The converse fails to be true for n.f.o. t-complete monoids, but it is shown for ct-complete monoids with additional assumptions on \({\mathcal T}\). The main result of the next part is that each complete [c-complete] monoid \((M,+,\Sigma)\) is n.f.o. iff there is a certain decomposition of \((M,+,\Sigma)\) by a family \((M_ i|\) \(i\in I)\), where each \(M_ i\) is one of five n.f.o. complete or c-complete monoids of a rather simple structure, a theorem corresponding to a well known one by \textit{A. H. Clifford} [Am. J. Math. 76, 631-646 (1954; Zbl 0055.015)]. Finally, some results are applied to complete [c-complete] semirings \((M,+,\cdot,\Sigma)\), where \((M,+,\cdot)\) is a semiring which need not have an identity, but an additive neutral 0 which is multiplicatively absorbing.