A representation theorem for MV-algebras

Abstract: An {em MV-pair} is a pair

(B, G)

where

B

is a Boolean algebra and

G

is a subgroup of the automorphism group of

B

satisfying certain conditions. Let

s i m_{G}

be the equivalence relation on

B

naturally associated with

G

. We prove that for every MV-pair

(B, G)

, the effect algebra

B / s i m_{G}

is an MV- effect algebra. Moreover, for every MV-effect algebra

M

there is an MV-pair

(B, G)

such that

M

is isomorphic to

B / s i m_{G}

.

Review text

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\).

Recommendations

Cites work

Cited in

(21)

This page was built for publication: A representation theorem for MV-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877761)