Admissible subsets and completions of ordered algebras (Q6040803)

Ordered \(\Omega\)-algebras of fixed type \(\Omega\) are considered. \textit{Linear functions} on an ordered algebra \(\mathcal{A}\) are defined iteratively: 1) identity mapping on \(\mathcal{A}\) is a linear function and 2) if \(p: \mathcal{A}\to\mathcal{A}\) is a linear function and \(\omega\in \Omega_n\), \(a_i\in \mathcal{A}\), then \(x\mapsto \omega(a_1,\ldots, a_{i-1},p(x), a_{i+1},\ldots, a_n)\) defines a linear function as well. Linear functions with \(p=\operatorname{id}_A\) are called \textit{elementary translations}. \(A\) is a \textit{sup-algebra} if it as a poset is a complete lattice and all elementary translations preserve joins. A subset \(M\) of an ordered algebra \(\mathcal{A}\) is called \textit{admissible} if \(\bigvee p(M)\) exists and \(p(\bigvee M)=\bigvee p(M)\) for all \(p\in L_{\mathcal{A}}\), where \( L_{\mathcal{A}}\) is the set of all linear functions on \(\mathcal{A}\). A lower subset \(S\) of an ordered algebra \(\mathcal{A}\) is called a \(\mathcal{D}\)-\textit{ideal} if for any admissible subset \(M\) of \(S\), one has that \(\bigvee M\in S\). The authors prove that for an ordered algebra \(\mathcal{A}\), for every sup-algebra \(\mathcal{Q}\) and every \texttt{OAlg}\(^*\)-morphism \(f: \mathcal{A}\to \mathcal{Q}\), there exists a unique \texttt{SupAlg}-morphism \(g: \mathcal{D}(A)\to \mathcal{Q}\) such that \(gr=f\), where \(r: \mathcal{A}\to \mathcal{D}(A), a\mapsto a\!\downarrow\) (\texttt{OAlg}\(^*\) is a category of all ordered algebras with admissible-join preserving homomorphisms, \texttt{SupAlg} is a category of all sup-algeras with join-preserving homomorphisms and \(\mathcal{D}(A)\) is the set of all \(\mathcal{D}\)-ideals of \(A\)). It turnes out that \(\mathcal{D}(A)\) is a join-completion of \(\mathcal{A}\) and that \texttt{SupAlg} is a reflective subcategory of \texttt{OAlg}\(^*\).