The inflation class operator (Q868733): Difference between revisions

Let \({\mathcal A}=(A,(f_i; i\in I))\) and \({\mathcal B}=(B,(g_i; i\in I))\) be algebras of type \((n_i;i\in I)\). \({\mathcal A}\) is called an inflation of \({\mathcal B}\) if \(A\supseteq B\) and if there exists a mapping \(f\) from \(A\) to \(B\) such that \(f(x)=x\) for all \(x\in B\) and \(f_i(a_1,\ldots,a_{n_i})=g_i(f(a_1),\ldots,f(a_{n_i}))\) for all \(i\in I\) and \(a_1,\ldots,a_{n_i}\in A\). For every class \({\mathcal K}\) of algebras let \textbf{F}(\({\mathcal K}\)) denote the class of all inflations of algebras belonging to \({\mathcal K}\). The interaction between the class operators \textbf{H}, \textbf{S}, \textbf{P} and \textbf{F} is investigated and the partially ordered monoid generated by these four class operators is described.