A characterization of the free n-generated MV-algebra

DOI10.1007/S00153-004-0273-8MaRDI QIDQ818513zbMATH OpenOpenAlexFDO

Authors Daniele Mundici

Publication date 21 March 2006

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-004-0273-8

zbMATH Keywords

\(\Gamma\)-functorfree MV-algebraMcNaughton functionMV-algebrapartition of unitysingular homology groupstandard triangulation of the \(n\)-cube

Mathematics Subject Classification ID

Many-valued logic (03B50) MV-algebras (06D35) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Singular homology and cohomology theory (55N10)

Review text

The usual way how the free MV-algebra over \(n\) generators is described, is by means of McNaughton functions. More precisely, it can be considered as the algebra of all McNaughton functions over the \(n\)-dimensional hypercube with the operations defined point-wise. In this paper the author gives an alternative characterization. He proves that an MV-algebra \(A\) is isomorphic to the free \(n\)-generated MV-algebra if, and only if, it satisfies the following conditions: (1) \(A\) is semisimple. (2) \(A\) is generated by a partition of unity \(P=\{p_0,\dots,p_{2^n-1}\}\), i.e., \(p_j\neq 0\) and \(\bigoplus_{i\neq j} p_i=\neg p_j\) for each \(j\). (3) Let \(C=\{q_1,\dots,q_k\}\) be a \(k\)-element subset of \(P\). The subset \(C\) is called \(k\)-cluster if \(\bigwedge q_i\neq 0\). The one-set of \(C\) is the set of maximal ideals \(J\) of \(A\) such that \(\bigoplus_{i=1}^k (q_i/J)=1\), endowed with the spectral topology of the maximal ideal space of \(A\). Then the one-set of each \(k\)-cluster is homeomorphic to the \((k-1)\)-dimensional disk with the usual topology. (4) The clusters of \(P\) are exactly the nice subsets of \(P\).

Recommendations

• Free MV_n-algebras
• Complete generators and maximal completions of MV-algebras
• A characterization of free generating sets in MV-algebras
• Note on the construction of free MV-algebras
• A discrete representation of free MV-algebras

Cites work

• A constructive proof of McNaughton's theorem in infinite-valued logic
• Algebraic foundations of many-valued reasoning
• Extending Stone duality to multisets and locally finite MV-algebras.
• Groupes et anneaux reticules
• scientific article; zbMATH DE number 3690275 (Why is no real title available?)
• scientific article; zbMATH DE number 1344825 (Why is no real title available?)
• scientific article; zbMATH DE number 523239 (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
• Schauder bases in Banach spaces of continuous functions

Cited in

(12)

• A characterization of free generating sets in MV-algebras
• Lattice-ordered Abelian groups and Schauder bases of unimodular fans
• scientific article; zbMATH DE number 5125127 (Why is no real title available?)
• A discrete representation of free MV-algebras
• MV-algebras freely generated by finite Kleene algebras.
• Representations of strongly algebraically closed algebras
• Generators of projective MV-algebras
• The Lebesgue state of a unital abelian lattice-ordered group
• Finite axiomatizability in Łukasiewicz logic
• Free MV_n-algebras
• A characterization of MV-algebras free over finite distributive lattices
• Note on the construction of free MV-algebras

This page was built for publication: A characterization of the free \(n\)-generated MV-algebra

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