×

Dedekind \(\sigma \)-complete \(\ell \)-groups and Riesz spaces as varieties. (English) Zbl 1484.06059

Summary: We prove that the category of Dedekind \(\sigma \)-complete Riesz spaces is an infinitary variety, and we provide an explicit equational axiomatization. In fact, we show that finitely many axioms suffice over the usual equational axiomatization of Riesz spaces. Our main result is that \({\mathbb{R}} \), regarded as a Dedekind \(\sigma \)-complete Riesz space, generates this category as a variety; further, we use this fact to obtain the even stronger result that \({\mathbb{R}}\) generates this category as a quasi-variety. Analogous results are established for the categories of (i) Dedekind \(\sigma \)-complete Riesz spaces with a weak order unit, (ii) Dedekind \(\sigma \)-complete lattice-ordered groups, and (iii) Dedekind \(\sigma \)-complete lattice-ordered groups with a weak order unit.

MSC:

06F20 Ordered abelian groups, Riesz groups, ordered linear spaces
03C05 Equational classes, universal algebra in model theory
08A65 Infinitary algebras

References:

[1] Aliprantis, CD; Border, KC, Infinite Dimensional Analysis (2006), Berlin: Springer, Berlin · Zbl 1156.46001
[2] Aliprantis, CD; Burkinshaw, O., Positive Operators (2006), Dordrecht: Springer, Dordrecht · Zbl 1098.47001
[3] Bigard, A.; Keimel, K.; Wolfenstein, S., Groupes et Anneaux réticulés (1977), Berlin: Springer, Berlin · Zbl 0384.06022
[4] Birkhoff, G.: Lattice theory. In: American Mathematical Society Colloquium Publications, vol. XXV, 3rd edn. American Mathematical Society, Providence (1967) · Zbl 0153.02501
[5] Burris, S.; Sankappanavar, HP, A Course in Universal Algebra, Graduate Texts in Mathematics (1981), New York: Springer, New York · Zbl 0478.08001
[6] Buskes, G.; de Pagter, B.; van Rooij, A., The Loomis-Sikorski theorem revisited, Algebra Univ., 58, 4, 413-426 (2008) · Zbl 1158.06006 · doi:10.1007/s00012-008-2077-x
[7] Buskes, G.; van Rooij, A., Small Riesz spaces, Math. Proc. Camb. Philos. Soc., 105, 3, 523-536 (1989) · Zbl 0683.46013 · doi:10.1017/S0305004100077902
[8] Buskes, G.; Van Rooij, A., Representation of Riesz spaces without the Axiom of Choice, Nepali Math. Sci. Rep., 16, 1-2, 19-22 (1997) · Zbl 1061.46500
[9] Lepellere, MA; Valente, A., Embedding of Archimedean \(l\)-groups in Riesz spaces, Atti Sem. Mat. Fis. Univ. Modena, 46, 1, 249-254 (1998) · Zbl 0929.46009
[10] Luxemburg, WAJ; Zaanen, AC, Riesz Spaces (1971), Amsterdam: North-Holland Publishing Co., Amsterdam · Zbl 0231.46014
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.