Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099): Difference between revisions

The paper deals with a subvariety of MTL-algebras whose members the authors call DL-algebras. A DL-algebra \(A\) is an MTL-algebra which satisfy the following two conditions: (1) \(A\) has the Boolean retraction property, i.e., it admits a surjective homomorphism onto the subalgebra of its Boolean elements; (2) the set of its double-complemented elements forms an IMTL-algebra and the double-negation is a surjective homomorphism from \(A\) onto this IMTL-algebra. Starting with a generalized version of the disconnected rotation, it is proved that there is a categorical equivalence between the category of directly indecomposable DL-algebras and the category of prelinear semihoops endowed with a nucleus (so-called KDL-algebras). Let \(V\) be the variety of DL-algebras. The authors give a description of free algebras in a subvariety of \(V\) in terms of weak Boolean products over Cantor spaces. Moreover, restricting themselves to subvarieties of \(V\) containing either pseudocomplemented or involutive DL-algebras, they are able to use the above-mentioned categorical equivalence and describe free algebras by means of the free algebras in the corresponding subvariety of KDL-algebras. Finally, the obtained results are applied to the varieties of Gödel algebras and cancellative prelinear hoops. In the first case, descriptions of free Gödel algebras and free NM-algebras are obtained. In the second case, the authors get a description of free product algebras and free algebras in the subvariety of MV-algebras generated by the Chang algebra.