Isomorphism Theorems of MV-algebras

Abstract

An MV-algebra G is an abelian monoid (G,0,+) with the operation * satisfying (x*)* = x , x + 0* = 0* and (x *+y)*+y = (y*+x)* = x . Let G be an MV-algebra. A function f :G →G is called homomorphism if f (x + y) = f (x) + f (y) and f (x*) = (f (x)) * for all x and y in G . In this research, we study the homomorphism and isomorphism theorem in MV-algebra.