Finitely presented lattice-ordered abelian groups with order-unit

DOI10.1016/J.JALGEBRA.2011.07.007zbMATH Open1261.06022arXiv1006.4188OpenAlexW2019293722MaRDI QIDQ661891FDOQ661891

Authors: Leonardo Manuel Cabrer, Daniele Mundici 

Publication date: 11 February 2012

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

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)$.

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

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

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)

Cites Work

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

Cited In (12)

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

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)