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
    0 references
    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
    0 references
    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