MV-pairs and states (Q2391234)

An MV-pair is a pair \((B,G)\) of a Boolean algebra \(B\) and a group \(G\) of automorphisms of \(B\) such that certain conditions are fulfilled. It was known that, for a given MV-pair \((B,G)\), the quotient \(B/{\sim_G}\) is an MV-algebra, and that every MV-algebra is of such type. The author modifies the definition of an MV-pair to the notion of an MV*-pair in such a way that the first property of the definition characterizes the situation when \(B/{\sim_G}\) is an effect algebra and the second property of the definition guarantees the MV-algebra structure of \(B/{\sim_G}\). Some relations between states on MV-algebras and corresponding R-generated Boolean algebras are studied.