Simplicial geometry of unital lattice-ordered abelian groups.

DOI10.1515/FORUM-2011-0131MaRDI QIDQ2343345zbMATH OpenOpenAlexFDO

Authors Leonardo Manuel Cabrer

Publication date 5 May 2015

Published in Forum Mathematicum (Search for Journal in Brave)

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

zbMATH Keywords

exact formulafinitely presented \(\ell\)-groupsfinitely presented MV-algebraslattice-ordered Abelian groupsprojective algebrarational polyhedraunital lattice-ordered groups

Mathematics Subject Classification ID

Combinatorial aspects of simplicial complexes (05E45) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) (n)-dimensional polytopes (52B11) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Abstract complexes in algebraic topology (55U05) Simplicial sets and complexes in algebraic topology (55U10) General topology of complexes (57Q05)

Abstract: By an $ell$-group $G$ we mean a lattice-ordered abelian group. This paper is concerned with the category $FP$ of finitely presented {it unital} $ell$-groups, those $ell$-groups having a distinguished order-unit $u$. Using the duality between $FP$ the category of rational polyhedra, we will provide (i) a construction of finite limits and co-limits in $FP$; (ii) a Cantor-Bernstein-Schr"oder theorem for finitely presented unital $ell$-groups; (iii) a geometrical characterization of finitely generated subalgebras of free objects of $FP$.

Review text

This paper is concerned with unital \(\ell\)-groups, that is, lattice ordered abelian groups with a distinguished order unit. These groups are related with \(C^*\)-algebras via Grothendieck's \(K_0\) functor, and with MV-algebras via Mundici's \(\Gamma\) functor. The category \(U_{fp}\) is given by finitely presented unital \(\ell\)-groups with unital \(\ell\)-homomorphisms. This category (Theorem 2.7) is dual to a category \(P_{\mathbb Z}\) of compact rational polyhedra, where morphisms are piecewise linear functions called \(\mathbb Z\)-maps. Theorem 3.1 describes Cartesian products and equalizers in \(P_{\mathbb Z}\), and Theorem 3.2 describes monomorphisms and epimorphisms. Theorem 3.3 characterizes isomorphisms. By using these characterizations, a Cantor-Bernstein-Schröder Theorem is given for polyhedra (Theorem 3.7) and unital \(\ell\)-groups (Corollary 3.8). In Theorem 3.10 it is shown that \(P_{\mathbb Z}\) has finite coproducts and a restricted kind of pushouts. As a corollary 3.11, \(U_{fp}\) is closed under fibered products. Section 4 deals with exact unital \(\ell\)-groups, that is, those whose image under \(\Gamma\) is an exact MV-algebra in the sense of De Jongh: a finitely presented MV-algebra embeddable in a free finitely generated MV-algebra. Exact unital \(\ell\)-groups are characterized geometrically in Theorem 4.10 as groups of piecewise linear functions on polyhedra having a restricted kind of triangulation, then algebraically in Theorem 4.15, in terms of bases, and logically in Theorem 4.18, in terms of admissible rules in Łukasiewicz logic.

Recommendations

• Rational polyhedra and projective lattice-ordered abelian groups with order unit
• Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups
• Projective MV-algebras and rational polyhedra
• Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras.
• Some invariant skeletons for -u groups and MV-algebras

Cited in

(19)

• Archimedean unital groups with finite unit intervals
• Recognizing free generating sets of \(\ell\)-groups
• Semisimplicial unital groups
• Algebraic geometry for \(\ell \)-groups
• Rational polyhedra and projective lattice-ordered abelian groups with order unit
• Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras
• The Lebesgue state of a unital abelian lattice-ordered group. II
• Idempotent endomorphisms of free MV-algebras and unital -groups
• scientific article; zbMATH DE number 1302674 (Why is no real title available?)
• REPRESENTATION OF A UNITAL GROUP HAVING A FINITE UNIT INTERVAL
• Computing on Lattice-Ordered Abelian Groups
• Germinal theories in Łukasiewicz logic
• A Geometric Approach to MV-Algebras
• Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups
• Separable MV-algebras and lattice-ordered groups
• Finitely presented lattice-ordered abelian groups with order-unit
• The polyhedral geometry of Wajsberg hoops
• Unification via projectivity in varieties of hoops
• Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit

This page was built for publication: Simplicial geometry of unital lattice-ordered abelian groups.

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