Finitely Presented MV-algebras with Finite Automorphism Group
Stefano Aguzzoli, Vincenzo Marra · Journal of Logic and Computation · 2008
We address the question, which MV-algebras have finite automorphism group. We prove that finitely presented MV-algebras whose maximal spectral space has topological dimension not exceeding 1 do have finite automorphism group. We give examples to show that finite presentability is an essential hypothesis. Our proof produces as an interesting by-product a complete graph–theoretic isomorphism invariant for the class of MV-algebras involved.