A classification of finite rank dimension groups by their representations in ordered real vector spaces (Q537694): Difference between revisions

An ordered group \(G\) is said to have Riesz interpolation if for all \(x\), \(y\), \(z\), \(t\) in \(G\) with \(x\leq y\) and \(z\leq t\) there is \(u\in G\) for which \(x\leq u\leq y\) and \(z\leq u\leq t\). A dimension group is an ordered group with Riesz interpolation such that, if \(x\in G\) and \( nx\in G^{+}\) for some positive integer \(n\), then \(x\in G^{+}\). The paper under review classifies finite-rank dimension groups. More precisely, it is shown that, for each positive integer \(n\), there exist finitely many \(n\)-dimensional ordered real vector spaces with Riesz interpolation. On the way, an explicit model of each of those spaces is given in terms of combinatorial data. It is also shown that every finite-rank dimension group can be canonically embedded as a subgroup in a finite-dimensional ordered real vector space with Riesz interpolation. We also find in this interesting paper a characterization of subgroups of a finite-dimensional ordered real vector space that have Riesz interpolation. We refer the reader to the paper for more details.