Finitely presented lattice-ordered abelian groups with order-unit

DOI10.1016/J.JALGEBRA.2011.07.007MaRDI QIDQ661891zbMATH OpenOpenAlexFDO

Authors Leonardo Manuel Cabrer, Daniele Mundici

Publication date 11 February 2012

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1006.4188

zbMATH Keywords

dimension groupElliott classificationfanfinite presentationlattice-ordered abelian grouporder-unitprojectiverational polyhedronSchauder basissimplicial complexsimplicial groupspectral spaceunimodular triangulation

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Injectives, projectives (08B30)

Abstract: Let $G$ be an $ell$-group (which is short for ``lattice-ordered abelian group). Baker and Beynon proved that $G$ is finitely presented iff it is finitely generated and projective. In the category $mathcalU$ of {it unital} $ell$-groups---those $ell$-groups having a distinguished order-unit $u$---only the $(Leftarrow)$-direction holds in general. Morphisms in $mathcalU$ are {it unital $ell$-homomorphisms,} i.e., hom-o-mor-phisms that preserve the order-unit and the lattice structure. We show that a unital $ell$-group $(G,u)$ is finitely presented iff it has a basis, i.e., $G$ is generated by an abstract Schauder basis over its maximal spectral space. Thus every finitely generated projective unital $ell$-group has a basis $mathcalB$. As a partial converse, a large class of projectives is constructed from bases satisfying $$. Without using the Effros-Handelman-Shen theorem, we finally show that the bases of any finitely presented unital $ell$-group $(G,u)$ provide a direct system of simplicial groups with 1-1 positive unital homomorphisms, whose limit is $(G,u)$.

Review text

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.

Recommendations

• Lattice-ordered Abelian groups and Schauder bases of unimodular fans
• Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras.
• Simplicial geometry of unital lattice-ordered abelian groups.
• Rational polyhedra and projective lattice-ordered abelian groups with order unit
• Lattice-ordered abelian groups and Schauder bases of unimodular fans. II

Cites work

• Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
• Dimension Groups and Their Affine Representations
• Directed colimits of free commutative semigroups
• Every Abelian \(\ell\)-group is ultrasimplicial
• Free Vector Lattices
• Groupes et anneaux reticules
• scientific article; zbMATH DE number 3946195 (Why is no real title available?)
• scientific article; zbMATH DE number 1344825 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 960150 (Why is no real title available?)
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Representations of distributive semilattices in ideal lattices of various algebraic structures.
• The Lebesgue state of a unital abelian lattice-ordered group

Cited in

(12)

• Finitely presented partially ordered abelian groups
• Construction of existentially closed abelian lattice-ordered groups using upper extensions
• Algebraic geometry for \(\ell \)-groups
• Lattice-ordered abelian groups finitely generated as semirings
• Lattice-ordered abelian groups and Schauder bases of unimodular fans. II
• Rational polyhedra and projective lattice-ordered abelian groups with order unit
• Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras
• Lattice-ordered Abelian groups and Schauder bases of unimodular fans
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
• The Lebesgue state of a unital abelian lattice-ordered group
• Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups
• Finite axiomatizability in Łukasiewicz logic

This page was built for publication: Finitely presented lattice-ordered abelian groups with order-unit

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q661891)