Abstract
Every finitely presented MV-algebra A has a unique idempotent valuation E assigning value 1 to every basic element of A. For each a ∈ A, E(a) turns out to coincide with the Euler characteristic of the open set of maximal ideals m of A such that a/m is nonzero.
Similar content being viewed by others
References
AGRACHEV, A. A.— PALLASCHE, D.— SCHOLTE, S.: On Morse theory for piecewise smooth functions, J. Dyn. Control Syst. 3 (1997), 449–469.
CABRER, L.— MUNDICI, D.: Finitely presented lattice-ordered abelian groups with orderunit, J. Algebra 343 (2011), 1–10.
CIGNOLI, R. L. O.— D’OTTAVIANO, I. M. L.— MUNDICI, D.: Algebraic Foundations of many-valued Reasoning. Trends in Logic, Vol. 7, Kluwer/Springer, Dordrecht/Berlin, 2000.
FORMAN, R.: Morse theory for cell complexes, Adv. Math. 134 (1998), 90–145.
MARRA, V.— SPADA, L.: The dual adjunction between MV-algebras and Tychonoff spaces, Studia Logica 100 (2012), 253–278 (Special issue in memoriam Leo Esakia).
MAUNDER, C. R. F.: Algebraic Topology, Cambridge University Press, Cambridge, 1980.
MILNOR, J.: Morse theory, Princeton University Press, Princeton, NJ, 1963.
MUNDICI, D.: Advanced Łukasiewicz Calculus and MV-algebras. Trends in Logic, Vol. 35, Springer, Berlin, 2011.
PEDRINI, A.: The Euler characteristic of a polyhedron as a valuation on its coordinate vector lattice. Electronic version: arXiv:1209.3248v1
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Anatolij Dvurečenskij
to Ján Jakubík, on his 90th birthday
About this article
Cite this article
Mundici, D., Pedrini, A. The Euler characteristic and valuations on MV-algebras. Math. Slovaca 64, 563–570 (2014). https://doi.org/10.2478/s12175-014-0226-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.2478/s12175-014-0226-6