The Chang-Mundici equivalence between the category of MV-algebras and the category of lattice-ordered abelian groups
with strong unit allows us to translate facts/problems about Lukasiewicz many valued logics into facts/problems about
partially ordered abelian groups, and conversely. After giving a brief survey of the theory, we study the automorphism
groups of the free MV-algebras, i.e., the Lindenbaum algebras of Lukasiewicz logics.
