Finitely Presented MV-algebras with Finite Automorphism Group
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.
mv-algebras automorphism groups finitely presented algebras unimodular simplices farey series weighted graphs