Finitely presented, coherent, and ultrasimplicial ordered abelian groups
Caillot, Jean-François ; Wehrung, Friedrich
HAL, hal-00004048 / Harvested from HAL
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.
Publié le : 2000-07-05
Classification:  matrix,  ultrasimplicial,  coherent,  system of inequalities,  ordered,  abelian group,  finitely presented,  06F20, 06F25, 15A39, 12J15,  [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
@article{hal-00004048,
     author = {Caillot, Jean-Fran\c cois and Wehrung, Friedrich},
     title = {Finitely presented, coherent, and ultrasimplicial ordered abelian groups},
     journal = {HAL},
     volume = {2000},
     number = {0},
     year = {2000},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00004048}
}
Caillot, Jean-François; Wehrung, Friedrich. Finitely presented, coherent, and ultrasimplicial ordered abelian groups. HAL, Tome 2000 (2000) no. 0, . http://gdmltest.u-ga.fr/item/hal-00004048/