Mathematics – Logic
Scientific paper
2004-08-26
Mathematics
Logic
12 pages, 3 figures. Revised version according to the referee's suggestions. To appear in the J. of Pure and Applied Algebra
Scientific paper
MV-algebras can be viewed either as the Lindenbaum algebras of Lukasiewicz infinite-valued logic, or as unit intervals [0,u] of lattice-ordered abelian groups in which a strong order unit u>0 has been fixed. They form an equational class, and the free n-generated free MV-algebra is representable as an algebra of piecewise-linear continuous functions with integer coefficients over the unit n-dimensional cube. In this paper we show that the automorphism group of such a free algebra contains elements having strongly chaotic behaviour, is the sense that their duals are measure-theoretically isomorphic to a Bernoulli shift. This fact is noteworthy from the viewpoint of algebraic logic, since it gives a distinguished status to Lebesgue measure as an averaging measure on the space of valuations. As an ergodic theory fact, it provides explicit examples of volume-preserving homeomorphisms of the unit cube which are piecewise-linear with integer coefficients, preserve the denominators of rational points, and enjoy the Bernoulli property.
No associations
LandOfFree
Bernoulli automorphisms of finitely generated free MV-algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Bernoulli automorphisms of finitely generated free MV-algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bernoulli automorphisms of finitely generated free MV-algebras will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-476717