×

Injective positively ordered monoids. I. (English) Zbl 0790.06016

A positively ordered monoid is a structure \((A,+,0,\leq)\), where \((A,+,0)\) is a commutative monoid and \(\leq\) is a partial preordering of \(A\) in which every element is positive and the ordering is compatible with \(+\). This work defines various kinds of complete positively ordered monoids which are contexts for studying measurable function spaces, equidecomposability types of spaces, partially ordered Abelian groups, and cardinal algebras. The strongest notion of complete, termed injective, is arithmetically determined to be complete with the added requirement of divisibility by all nonzero natural numbers.
The motivation for many of the results lies in the work of A. Tarski [Fundam. Math. 31, 47-66 (1938; Zbl 0019.05403); Cardinal algebras (1949; Zbl 0041.345)] on the existence of a homomorphism from a commutative monoid to the extended positive real line and on cardinal algebras. The first result, the injectivity of the extended positive real line, is framed in the category of positively ordered monoids, and injective positively ordered monoids are posed as an algebraic enrichment of cardinal algebras.

MSC:

06F05 Ordered semigroups and monoids
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Birkhoff, G., Lattice theory (1961), American Mathematical Society: American Mathematical Society Providence, RI · Zbl 0126.03801
[2] Boltianskii, W. G., Hilbert’s Third Problem (1978), Winston: Winston Washington, DC, translated by R. Silverman
[3] Bradford, R., Cardinal addition and the axiom of choice, Ann. Math. Logic, 3, 111-196 (1971) · Zbl 0287.02041
[4] Chang, C. C.; Keisler, H. J., Model Theory (1973), North-Holland: North-Holland Amsterdam · Zbl 0276.02032
[5] Christensen, J. P.R., Topology and Borel Structure (1974), North-Holland: North-Holland Amsterdam · Zbl 0273.28001
[6] Chuaqui, R., Cardinal algebras and measures invariant under equivalence relations, Trans. Amer. Math. Soc., 142, 61-79 (1969) · Zbl 0187.31101
[7] Chuaqui, R., Cardinal algebras of functions and integration, Fund. Math., 71, 77-84 (1971) · Zbl 0224.28002
[8] Clarke, A. B., On the representation of cardinal algebras by directed sums, Trans. Amer. Math. Soc., 91, 161-192 (1959) · Zbl 0085.25904
[9] P.F. Conrad, Introduction à la théorie des groupes réticulés, Conferences at the Institut Henri Poincaré (Paris), May-June 1967, written by B. Gostiaux and S. Wolfenstein; P.F. Conrad, Introduction à la théorie des groupes réticulés, Conferences at the Institut Henri Poincaré (Paris), May-June 1967, written by B. Gostiaux and S. Wolfenstein
[10] Deliyannis, P. C., Group representations and cardinal algebras, Canad. J. Math., 22, 759-772 (1970) · Zbl 0238.06015
[11] Dellacherie, C.; Meyer, P. A., Théorie Discrète du Potentiel (1983), Hermann: Hermann Paris
[12] Dobbertin, H., Refinement monoids, Vaught monoids, and Boolean algebras, Math. Ann., 265, 475-487 (1983) · Zbl 0505.08005
[13] R. Dougherty and M. foreman, Banach-Tarski decompositions using sets with the property of Baire, Preprint.; R. Dougherty and M. foreman, Banach-Tarski decompositions using sets with the property of Baire, Preprint. · Zbl 0795.28003
[14] Fillmore, P. A., An Archimedean property of cardinal algebras, Michigan Math. J., 11, 365-367 (1964) · Zbl 0192.09604
[15] Fillmore, P. A., The dimension theory of certain cardinal algebras, Trans. Amer. Math. Soc., 117, 21-36 (1965) · Zbl 0146.01803
[16] Følner, E., On groups with full Banach mean value, Math. Scand., 3, 243-254 (1955) · Zbl 0067.01203
[17] Foreman, M.; Wehrung, F., The Hahn-Banach theorem implies the existence of a non-measurable set, Fund. Math., 138, 13-19 (1991) · Zbl 0792.28005
[18] Goodearl, K. R., Partially Ordered Abelian Groups with the Interpolation Property, (Mathematical Surveys and Monographs, Vol. 20 (1986), American Mathematical Society: American Mathematical Society Providence, RI) · Zbl 1147.17017
[19] Greenleaf, F., Invariant Means of Topological Groups (1969), Van Nostrand Reinhold: Van Nostrand Reinhold New York · Zbl 0174.19001
[20] Halmos, P. R., Measure Theory (1958), Van Nostrand: Van Nostrand New York · Zbl 0117.10502
[21] Hanf, W., On some fundamental problems concerning isomorphism of Boolean algebras, Math. Scand., 5, 205-217 (1957) · Zbl 0081.26101
[22] Jech, T., The Axiom of Choice (1973), North-Holland: North-Holland Amsterdam · Zbl 0259.02051
[23] Jech, T., Set Theory (1978), Academic Press: Academic Press New York · Zbl 0419.03028
[24] Kinoshita, S., A solution of a problem of R. Sikorski, Fund. Math., 40, 39-41 (1953) · Zbl 0052.18902
[25] Koppelberg, S., General Theory of Boolean Algebras, (Monk, J. D., Handbook of Boolean Algebras, Vol. 1 (1989), Elsevier: Elsevier Amsterdam), 1-311
[26] Laczcovitch, M., Equidecomposability and discrepancy; a solution of Tarski’s circle-squaring problem, J. Reine Angew. Math., 404, 77-117 (1990) · Zbl 0748.51017
[27] Mycielski, J., The Banach-Tarski paradox for the hyperbolic plane, Fund. Math., 132, 143-149 (1989) · Zbl 0685.51012
[28] Namioka, I., Følner’s condition for amenable semi-groups, Math. Scand., 15, 18-28 (1964) · Zbl 0138.38001
[29] Pincus, D., The strength of the Hahn-Banach theorem, (Proceedings of the Victoria Symposium on Non-Standard Analysis. Proceedings of the Victoria Symposium on Non-Standard Analysis, Lecture Notes in Mathematics, Vol. 369 (1974), Springer: Springer Berlin), 203-248
[30] Pincus, D.; Solovay, R., Definability of measures and ultrafilters, J. Symbolic Logic, 42, 179-190 (1977) · Zbl 0384.03030
[31] Bhaskara Rao, K. P.S.; Shortt, R. M., The dual of a refinement algebra, (Proceedings of the 5th North East Conference on General Topology and Applications. Proceedings of the 5th North East Conference on General Topology and Applications, Lecture Notes in Pure and Applied Mathematics, Vol. 134 (1991), Dekker: Dekker New York), 335-367 · Zbl 0774.08005
[32] K.P.S. Bhaskara Rao and R.M. Shortt, Weak cardinal algebras, in: Proceedings of the 6th North East Conference on General Topology and Applications, to appear.; K.P.S. Bhaskara Rao and R.M. Shortt, Weak cardinal algebras, in: Proceedings of the 6th North East Conference on General Topology and Applications, to appear. · Zbl 1251.06003
[33] Shortt, R. M., Duality for cardinal algebras, Forum Math., 2, 433-450 (1990) · Zbl 0717.28003
[34] Tarski, A., Algebraische Fassung des Maβproblems, Fund. Math., 31, 47-66 (1938) · JFM 64.0190.01
[35] Tarski, A., Cardinal Algebras (1949), Oxford University Press: Oxford University Press New York
[36] Wagon, S., The Banach Tarski-paradox (1984), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0569.43001
[37] Wehrung, F., Théorème de Hahn-Banach et paradoxes continus et discrets, C.R. Acad. Sci. Paris. Sér. I. Math., 310, 303-306 (1990) · Zbl 0721.28009
[38] F. Wehrung, Metric properties of positively ordered monoids, Forum Math., to appear.; F. Wehrung, Metric properties of positively ordered monoids, Forum Math., to appear. · Zbl 0769.06008
[39] Wehrung, F., Injective positively ordered monoids II, J. Pure Appl. Algebra, 83, 1, 83-100 (1992), this issue · Zbl 0790.06017
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.