Regular elements and Kolmogorov translation in residuated lattices (Q2257976): Difference between revisions

Let \(\mathbb{RL}\) be the class of all bounded commutative and integral residuated lattices. Given \(\mathbf{A} \in \mathbb{RL}\), we can define an (involutive) residuated structure \(\mathbf{Reg(A)}\) on the set of its regular (involutive) elements. Let \(\mathbb{V}\) be a variety contained in \(\mathbb{RL}\). In this paper, the relationship between \(\mathbb{V}\) and the class \(R(\mathbb{V}) = \{\mathbf{Reg(A)}:\mathbf{A} \in \mathbb{V}\}\) is studied. In particular, the authors give necessary and sufficient conditions for \(R(\mathbb{V})\) to be a variety and for it to be contained in \(\mathbb{V}\).