A representation theorem for MV-algebras (Q877761)

An MV-pair is a couple \((B,G)\) where \(B\) is a Boolean algebra and \(G\) is a subgroup of the automorphism group of \(B\) with some conditions, and let \(\sim_G\) be the equivalence relation on \(B\) naturally associated with \(G.\) The author proves for any MV-pair \((B,G)\) that the effect algebra \(B/\!\!\sim_G\) is an MV-algebra, and vice versa. That is, given an MV-algebra \(M\), there exists an MV-pair \((B,G)\) such that \(M\) is isomorphic to \(B/\!\!\sim_G\).