Finitely presented lattice-ordered abelian groups with order-unit (Q661891)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finitely presented lattice-ordered abelian groups with order-unit |
scientific article |
Statements
Finitely presented lattice-ordered abelian groups with order-unit (English)
0 references
11 February 2012
0 references
Let \((G, u)\) be a unital \(l\)-group. A basis of \(G\) is a set \(B = \{b_1, \cdots , b_n \}\) of strictly positive elements such that (i) \(\langle B\rangle=G\); (ii) there are natural numbers \(m_1, \ldots ,m_n\) such that \(u=\sum_{i+1}^{n}m_ib_i;\) (iii) for each \(k = 1, 2, \ldots\) and \(k\)-element subset \(C\) of \(B\) with \(0\neq \bigwedge \{b \mid b \in C\}\), the set \(\{ m \in \text{MaxSpec}(G) \mid m \supseteq B\setminus C\}\) is homeomorphic to a \((k -1)\)-simplex, where MaxSpec(\(G\)) denotes the set of maximal ideals of \(G\) with the spectral topology. The authors show that a unital \(l\)-group is finitely presented iff it has a basis, which extends the Baker-Beynon theorem of abelian \(l\)-groups. Furthermore, a large class of projectives is constructed from bases having special properties. The reviewer would like to recommend this nice paper to readers in the field of \(l\)-groups and MV-algebras.
0 references
lattice-ordered abelian group
0 references
order-unit
0 references
spectral space
0 references
Schauder basis
0 references
dimension group
0 references
Elliott classification
0 references
simplicial group
0 references
finite presentation
0 references
projective
0 references
rational polyhedron
0 references
simplicial complex
0 references
unimodular triangulation
0 references
fan
0 references
0 references
0 references