Finitely presented, coherent, and ultrasimplicial ordered abelian groups - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Semigroup Forum Année : 2000

Finitely presented, coherent, and ultrasimplicial ordered abelian groups

Résumé

We study notions such as finite presentability and coherence, for partially ordered abelian groups and vector spaces. Typical results are the following: (i) A partially ordered abelian group G is finitely presented if and only if G is finitely generated as a group, the positive cone G^+ is well-founded as a partially ordered set, and the set of minimal elements of (G^+)-{0} is finite. (ii) Torsion-free, finitely presented partially ordered abelian groups can be represented as subgroups of some Z^n, with a finitely generated submonoid of (Z+)^n as positive cone. (iii) Every unperforated, finitely presented partially ordered abelian group is Archimedean. Further, we establish connections with interpolation. In particular, we prove that a divisible dimension group G is a directed union of simplicial subgroups if and only if every finite subset of G is contained into a finitely presented ordered subgroup.
Fichier principal
Vignette du fichier
JFFred.pdf (219.86 Ko) Télécharger le fichier

Dates et versions

hal-00004048 , version 1 (24-01-2005)

Identifiants

Citer

Jean-François Caillot, Friedrich Wehrung. Finitely presented, coherent, and ultrasimplicial ordered abelian groups. Semigroup Forum, 2000, 61 (1), pp.116-137. ⟨10.1007/PL00006008⟩. ⟨hal-00004048⟩
77 Consultations
122 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More