an:02153364
Zbl 1063.06008
Galatos, Nikolaos; Tsinakis, Constantine
Generalized MV-algebras
EN
J. Algebra 283, No. 1, 254-291 (2005).
00111933
2005
j
06D35 06F15 03B25
residuated lattice; MV-algebra; lattice-ordered group; nucleus; categorical equivalence
The authors define a generalized MV-algebra (GMV-algebra for short) as a residuated lattice satisfying the identities \(x/((x\vee y)\setminus x)=x\vee y=(x/((x\vee y))\setminus x\). A closure operator \(\gamma\) on a residuated lattice \(\mathbf L\) such that \(\gamma(a)\gamma(b)\leqq \gamma(ab)\) for all \(a,b\in L\) is called a nucleus on \(L\); the image \(L_\gamma\) of \(\gamma\) is endowed with a residuated lattice structure \(\mathbf L_\gamma=(L,\wedge,\vee_\gamma, \circ_\gamma, \setminus, /, \gamma(e))\), where \(\gamma(a)\vee_\gamma \gamma(b)= \gamma(a\vee b)\) and \(\gamma(a)\circ_\gamma \gamma(b)=\gamma(ab)\).
The fundamental result of the paper is the following theorem: A residuated lattice \(\mathbf M\) is a GMV-algebra if and only if there are residuated lattices \(\mathbf G, \mathbf L\), such that \(\mathbf G\) is an \(\ell\)-group, \(\mathbf L\) is the negative cone of an \(\ell\)-group, \(\gamma\) is a nucleus on \(\mathbf L\) and \(\mathbf M=\mathbf G\oplus \mathbf L_\gamma\) (where \(\oplus\) denotes the operation of the direct sum). As a consequence, the authors obtain a categorical equivalence that generalizes the results of Mundici and Dvure??enskij concerning the functor \(\Gamma\). Further, they prove that the equational theory of the variety of GMV-algebras is decidable.
Jan Jakub??k (Ko??ice)