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

simplicial complexprojectiveSchauder basisfanspectral spacelattice-ordered abelian grouprational polyhedronElliott classificationdimension groupsimplicial groupfinite presentationorder-unitunimodular 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)$.

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

• 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?)
• 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
• 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)

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

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)