In this paper we prove that the category of abelianl-groups is equivalent to the category of perfect MV-algebras. Furthermore, we give a finite equational axiomatization of the variety generated by perfect MV-algebras.

Representations of monadic MV -algebra, the characterization of locally finite monadic MV -algebras, with axiomatization of them, definability of non-trivial monadic operators on finitely generated free MV -algebras are given. Moreover, it is shown that finitely generated m-relatively complete subalgebra of finitely generated free MV -algebra is projective.

In this paper, inspired by methods of Bigard, Keimel, and Wolfenstein , we develop an approach to sheaf representations of MV-algebras which combines two techniques for the representation of MV-algebras devised by Filipoiu and Georgescu and by Dubuc and Poveda . Following Davey approach , we use a subdirect representation of MV-algebras that is based on local MV-algebras. This allowed us to obtain: a representation of any MV-algebras as MV-algebra of all global sections of a sheaf of local MV-algebras on (...) the spectruum of its prime ideals; a representation of MV-algebras, having the space of minimal prime ideals compact, as MV-algebra of all global sections of a Hausdorff sheaf of MV-chains on the space of minimal prime ideals, which is a Stone space; an adjunction between the category of all MV-algebras and the category of MV-algebraic spaces, where an MV-algebraic space is a pair , where X is a compact topological space and F is a sheaf of MV-algebras with stalks that are local. (shrink)