Lattice of subalgebras in the finitely generated varieties of MV-algebras (Q2643320)

MV-algebras are an important generalization of Boolean algebras. They were introduced by C.~C.~Chang in the late fifties as the algebraic counterpart of the infinite-valued Łukasiewicz calculus. In the last twenty years the literature on MV-algebras has experienced a rapid growth, because of their equivalence with abelian lattice-ordered groups with order-unit. For background see the monograph [\textit{R. L. O. Cignoli, I. M. L. D'Ottaviano} and \textit{D. Mundici}, Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)]. Komori classified all varieties of MV-algebras. The present paper is concerned with subalgebra lattices of MV-algebras in the variety HSP\((L_n)\) generated by the \(n\)-element-Łukasiewicz chain \(L_n\). The main tool used throughout is the strong natural duality \(D\) between the family of varieties HSP\((L_n)\) and a certain family of topological quasivarieties. This duality was pointed out by \textit{R. L. O. Cignoli} in his abstract ``Natural dualities for the algebras of Łukasiewicz finite-valued logics'' [Bull. Symb. Log. 2, No.~2 (1996; Zbl 0875.03003), p.~218]; as noted by Cignoli himself, \(D\) arises as a particular case of a general construction by \textit{D.~M.~Clark} and \textit{B.~A.~Davey} (Proposition 3.3.14 in their monograph [Natural dualities for the working algebraist. Cambridge: Cambridge University Press (1998; Zbl 0910.08001)]). \(D\) sends embeddings to surjeccive morphisms and vice versa. The main results of the present paper include the dual atomicity of the lattice of subalgebras of members of HSP\((L_n)\). Necessary and sufficient conditions are described for the modularity (resp., the distributivity) of these lattices.