Mathematics – General Mathematics
Scientific paper
2005-01-25
Semigroup Forum 61 (2000) 116--137
Mathematics
General Mathematics
Scientific paper
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.
Caillot Jean-François
Wehrung Friedrich
No associations
LandOfFree
Finitely presented, coherent, and ultrasimplicial ordered abelian groups does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Finitely presented, coherent, and ultrasimplicial ordered abelian groups, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Finitely presented, coherent, and ultrasimplicial ordered abelian groups will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-513616