Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Lattice-ordered groups ge… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

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

Artikel i vetenskaplig tidskrift
Författare Thierry Coquand
H. Lombardi
S. Neuwirth
Publicerad i Rocky Mountain Journal of Mathematics
Volym 49
Nummer/häfte 5
Sidor 1449-1489
ISSN 0035-7596
Publiceringsår 2019
Publicerad vid Institutionen för data- och informationsteknik (GU)
Sidor 1449-1489
Språk en
Länkar dx.doi.org/10.1216/rmj-2019-49-5-14...
Ämnesord Ordered monoid, system of ideals, equivariant system of ideals, morphism from an ordered monoid, Mathematics
Ämneskategorier Matematik

Sammanfattning

Unbounded entailment relations, introduced by Paul Lorenzen (1951), are a slight variant of a notion which plays a fundamental role in logic (Scott 1974) and in algebra (Lombardi and Quitte 2015). We call systems of ideals their single-conclusion counterpart. If they preserve the order of a commutative ordered monoid G and are equivariant with respect to 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 a 1953 article by Lorenzen 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; 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-Dieudonne 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 one proceeds as if its elements are comparable.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?