Finitely presented, coherent, and ultrasimplicial ordered abelian groups (Q1576304)

Let \(G\) be a partially ordered abelian group, and let \(G^+= \{x\in G\mid x\geq 0\}\). Among the typical results of this paper we mention the following: i) \(G\) is finitely presented as a partially ordered abelian group iff \(G\) is finitely generated as a group, \(G^+\) is well-founded as a partially ordered set, and the set of minimal elements of \(G^+ \setminus \{0\}\) is finite. ii) If \(G\) is torsion-free and finitely presented as a partially ordered abelian group then \(G\) can be presented as a subgroup of some \(Z^n\), with a finitely generated submonoid of \((Z^+)^n\) as \(G^+\). iii) If \(G\) is finitely presented as a partially ordered abelian group, and \(mx\geq 0\) implies that \(x\geq 0\), for all \(m\in N\) and all \(x\in G\), then \(G\) is Archimedean, i.e. \(a\leq 0\) whenever there is \(b\in G\) such that \(na\leq b\) for all \(n\geq 0\).