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.
Finitely Presented MV-algebras with Finite Automorphism Group / S. Aguzzoli, V. Marra. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - 20:4(2010), pp. 811-822. [10.1093/logcom/exn080]
Finitely Presented MV-algebras with Finite Automorphism Group
S. AguzzoliPrimo
;V. MarraUltimo
2010
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.