Completions of GBL-algebras: negative results (Q998758)

In this paper, the authors give a negative answer to the problem of existence of a completion of GBL-algebras. The notions used in the paper are first of all presented. The notion of completion used in the paper is a generalization of closure under MacNeille completions and closure under canonical extensions. A variety of lattice-based algebras \(V\) is said to admit completions if for every \(A\in V\) there is a lattice-complete \(B\in V\) and an embedding \(f:A\rightarrow B\). A residuated lattice is a structure \((A,\wedge,\vee,\cdot,\,/,1)\) such that \((A,\wedge,\vee)\) is a lattice, \((A,\cdot,1)\) is a monoid and the residuation law is satisfied: \(x\cdot y\leq z\) iff \(y\leq x \backslash z\) iff \(x\leq z/y\). A generalized BL-algebra (GBL-algebra) is a residuated lattice satisfying the divisibility law: \(x[x\backslash (x\wedge y)]=x\wedge y=[(x\wedge y)/x]x\). If \(L\) is a (pointed) GBL-algebra and \(A,B\subseteq L\) satisfying the properties: (1) \(B\) is a nonprincipal ideal without supremum in \(L\); (2) \(B<A\), i.e., for each \(a\in A\) and \(b\in B\) we have \(b<a\); (3) there are elements \(w,u\in B\) with \(w<u\) such that \(b\backslash u\in A\) for all \(b\in B\), and (3a) for each \(a\in A\) there is \(b\in B\) with \(b\backslash u \leq a\), for each \(b\in B\) there is \(a\in A\) with \(ba\leq w\), then \((B,A)\) is called a residuation discontinuity and \(L\) is called a discontinuous GBL-algebra. The main results of the paper are the following: Theorem (Completion Discontinuity). No variety of (pointed) GBL-algebras containing a discontinuous GBL-algebra admits local completions. Theorem. For a variety \(V\) of MV-algebras the following are equivalent: \((1)\) \(V\) admits completions; \((2)\) \(V\) is canonical; \((3)\) \(V\) is locally finite; \((4)\) \(V\) is finitely generated; \((5)\) \(V\) is \(n\)-potent for some \(n\in \omega\). Define the algebra \(I=({\mathbb Z} \times {\mathbb Z}, \wedge, \vee, \cdot,\rightarrow, (0,0))\) where \(\wedge\) and \(\vee\) are, respectively, the minimum and maximum with respect to the lexicographic order and \((x_1,x_2)\cdot (y_1,y_2):= (x_1+y_1,x_2+y_2)\), \((x_1,x_2)\rightarrow (y_1,y_2):= (-x_1+y_1,-x_2+y_2)\). Theorem. The algebra \(I\) is a is a discontinuous GBL-algebra. Thus, no nontrivial variety of \(\ell\)-groups admits (local) completions. Theorem. No square-increasing GBL-algebra (i.e., those satisfying \(x\leq x^2\)) is discontinuous. We conclude that the reviewed paper contains very interesting results and it can be a starting point for future studies.