Bernoulli automorphisms of finitely generated free MV-algebras (Q860428)

In this paper the author continues his original and deep investigation of the mutual relationships between dynamical properties, such as ergodicity, and their logical counterparts, with particular reference to the infinite-valued Łukasiewicz calculus. The algebras of this logic are known as MV-algebras. The free \(n\)-generated MV-algebra \(F_n\) consists of equivalence classes of formulas in this logic. In 1951 McNaughton represented \(F_n\) as the MV-algebra of all piecewise linear \([0,1]\)-valued functions \(f\) defined over the unit \(n\)-cube \([0,1]^n\), where each piece of \(f\) has integer coefficients. As discovered by the same author in his PhD thesis, for each \(n= 2,3,4,\dots\) the automorphism group \(G_n\) of \(F_n\) is highly nontrivial. The dual of \(G_n\) is the group of piecewise linear homeomorphisms \(h\) of the \(n\)-cube onto itself, each piece of \(h\) having integer coefficients. In the present paper it is shown that \(G_n\) contains strongly chaotic automorphisms whose dual homeomorphisms are isomorphic to a Bernoulli shift. This result, combined with the main theorem of his preprint [Invariant measures in Łukasiewicz logic, available at \url{http://arxiv.org/abs/math.LO/0508445}], gives a special status to the Lebesgue integral among all invariant states of \(F_n\). For background on MV-algebras see the monograph [\textit{R. L. O. Cignoli}, \textit{I. M. L. D'Ottaviano} and \textit{D. Mundici}, Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)]. For MV-algebraic states see [\textit{D. Mundici}, ``Averaging the truth-value in Łukasiewicz logic, Stud. Log. 55, No. 1, 113--127 (1995; Zbl 0836.03016)].