We prove that the category of Dedekind σ-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 R, regarded as a Dedekind σ-complete Riesz space, generates this category as a variety; further, we use this fact to obtain the even stronger result that R generates this category as a quasi-variety. Analogous results are established for the categories of (i) Dedekind σ-complete Riesz spaces with a weak order unit, (ii) Dedekind σ-complete lattice-ordered groups, and (iii) Dedekind σ-complete lattice-ordered groups with a weak order unit.

Dedekind σ-complete ℓ-groups and Riesz spaces as varieties

Abbadini M.
2020-01-01

Abstract

We prove that the category of Dedekind σ-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 R, regarded as a Dedekind σ-complete Riesz space, generates this category as a variety; further, we use this fact to obtain the even stronger result that R generates this category as a quasi-variety. Analogous results are established for the categories of (i) Dedekind σ-complete Riesz spaces with a weak order unit, (ii) Dedekind σ-complete lattice-ordered groups, and (iii) Dedekind σ-complete lattice-ordered groups with a weak order unit.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11386/4774793
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact