Finitely generated free MV-algebras and their automorphism groups

The MV-algebra Smω is obtained from the (m+1)-valued Łukasiewicz chain by adding infinitesimals, in the same way as Chang's algebra is obtained from the two-valued chain. These algebras were introduced by Komori in his study of varieties of MV-algebras. In this paper we describe the finitely generated totally ordered algebras in the variety MVmω generated by Smω. This yields an easy description of the free Mmω-algebras over one generator. We characterize the automorphism groups of the free MV-algebras over finitely many generators.