A characterization of MV-algebras free over finite外文电子书籍.pdf

Arch. Math. Logic (2008) 47:263–276 DOI 10.1007/s00153-008-0084-4 Mathematical Logic A characterization of MV-algebras free over finite distributive lattices Vincenzo Marra Received: 31 July 2007 / Revised: 15 November 2007 / Published online: 21 June 2008 © Springer-Verlag 2008 Abstract Mundici has recently established a characterization of free finitely gen- erated MV-algebras similar in spirit to the representation of the free Boolean algebra with a countably infinite set of free generators as any Boolean algebra that is countable and atomless. No reference to universal properties is made in either theorem. Our main result is an extension of Mundici’s theorem to the whole class of MV-algebras that are free over some finite distributive lattice. Keywords MV-algebras · Łukasiewicz logic · Lattice-ordered Abelian groups with a strong order unit · Distributive lattices · Free objects · Order complexes · Schauder bases Mathematics Subject Classification (2000) Primary 06D35; Secondary 06F20 1 Introduction We assume familiarity with MV-algebras, the Lindenbaum algebras of Łukasiewicz (infinite-valued propositional) logic [6,7]. The main purpose of this paper is to extend Mundici’s characterization of free finitely generated MV-algebras [ 12, 2.1] to the whole class of MV-algebras that are free over some finite distributive lattice, using the tools developed in [9]. Any MV-algebra A has an underlying bounded distributive lattice1 [6, 1.5.1]. One says A is free over the distributive lattice L , or isfreely generated by L , if there is an 1 All distributive lattices in this paper have top and bottom elements as distinguished constants, so that homomorphisms are to preserve them. V. Marra ( ) B Dipartimento di Informatica e Comunicazione, Università degli Studi di Milano, via Comelico 39/41, 20135 Milano, Italy e-mail: marra@dico.unimi.it