MV-closures of Wajsberg hoops and applications (Q616116)

Hoops are particular class of algebraic structures: partially ordered commutative residuated integral monoids satisfying a further divisibility condition. This class is a variety which includes two classes of algebras that are closely related to familiar algebras of logic: the variety of Brouwerian semilattices and the variety of Wajsberg hoops. The main aim of this paper is to construct, for a Wajsberg hoop \textbf{A}, an MV-algebra \textbf{MV(A)} such that the underlying set \(A\) of \textbf{A} is a maximal filter of \textbf{MV(A)} and the quotient algebra \textbf{MV(A)}/A is the two-element chain. This construction has a universal property: the authors show that \textbf{MV(A)} is precisely the MV-algebra freely generated over \textbf{A}, unique up to isomorphism. Some of the properties presented here have to be mentioned: if \textbf{A} is a bounded or finite Wajsberg hoop, then \(\mathbf{MV(A)}\cong \text{Ł}_{1}\times A_{0}\) (\(A_{0}\) being the MV-algebra with least element 0); if \(P\) is a prime filter in a Wajsberg hoop \textbf{A}, then \({\mathbf A}/P\) is bounded if and only if \(P\) is not prime in \textbf{MV(A)}. The construction of \textbf{MV(A)} allows the authors to derive a topological duality for locally finite Wajsberg hoops by making minor changes to the corresponding duality for MV-algebras. Then, another topological duality is constructed for \(k\)-valued Wajsberg hoops, based on a different representation of \(k\)-valued MV-algebras. The authors apply this construction to give a topological representation for free \(k\)-valued Wajsberg hoops.