Lattice-ordered groups generated by an ordered group and regular systems of ideals - Archive ouverte HAL Access content directly
Journal Articles Rocky Mountain Journal of Mathematics Year : 2019

Lattice-ordered groups generated by an ordered group and regular systems of ideals

Groupes réticulés engendrés par un groupe ordonné et systèmes réguliers d'idéaux


Unbounded entailment relations, introduced by Paul Lorenzen (1951), are a slight variant of a notion which plays a fundamental rôle in logic (see Scott 1974) and in algebra (see Lombardi and Quitté 2015). We call “systems of ideals” their single-conclusion counterpart. If they preserve the order of a commutative ordered monoid G and are equivariant w.r.t. its law, we call them “equivariant systems of ideals for G”: they describe all morphisms from G to meet-semilattice-ordered monoids generated by (the image of) G. Taking an article by Lorenzen (1953) as a starting point, we also describe all morphisms from a commutative ordered group G to lattice-ordered groups generated by G through unbounded entailment relations that preserve its order, are equivariant, and satisfy a regularity property invented by Lorenzen (1950); we call them “regular entailment relations”. In particular, the free lattice-ordered group generated by G is described through the finest regular entailment relation for G, and we provide an explicit description for it; it is order-reflecting if and only if the morphism is injective, so that the Lorenzen-Clifford-Dieudonné theorem fits into our framework. Lorenzen’s research in algebra starts as an inquiry into the system of Dedekind ideals for the divisibility group of an integral domain R, and specifically into Wolfgang Krull’s “Fundamentalsatz” that R may be represented as an intersection of valuation rings if and only if R is integrally closed: his constructive substitute for this representation is the “regularisation” of the system of Dedekind ideals, i.e. the lattice-ordered group generated by it when doing as if its elements are comparable.
Fichier principal
Vignette du fichier
GOGrlPaper.pdf (474.25 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01427208 , version 1 (11-01-2017)
hal-01427208 , version 2 (19-01-2018)
hal-01427208 , version 3 (07-08-2018)
hal-01427208 , version 4 (22-10-2018)



Thierry Coquand, Henri Lombardi, Stefan Neuwirth. Lattice-ordered groups generated by an ordered group and regular systems of ideals. Rocky Mountain Journal of Mathematics, 2019, 49 (5), pp.1449-1489. ⟨10.1216/RMJ-2019-49-5-1449⟩. ⟨hal-01427208v4⟩
515 View
463 Download



Gmail Facebook X LinkedIn More