Lattice-ordered groups generated by an ordered group and regular systems of ideals - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

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

Résumé

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 propose to define systems of ideals for a commutative ordered monoid G as unbounded single-conclusion entailment relations that preserve its order and are equivariant: 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 systems of ideals. In particular, the free lattice-ordered group generated by G is described through the finest regular system of ideals 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 is motivated by the system of Dedekind ideals for the divisibility group of an integral domain R; we provide an explicit description of the lattice-ordered group granted by Wolfgang Krull’s “Fundamentalsatz” if (and only if) R is integrally closed through the “regularisation” of the Dedekind system of ideals.
Fichier principal
Vignette du fichier
GOGrlPaper.pdf (510.89 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et 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)

Identifiants

Citer

Thierry Coquand, Henri Lombardi, Stefan Neuwirth. Lattice-ordered groups generated by an ordered group and regular systems of ideals. 2017. ⟨hal-01427208v2⟩
516 Consultations
468 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More