scientific article; zbMATH DE number 19597

[For the entire collection see Zbl 0731.00007.] Let \(A\) be a set. For all positive integers \(n\) put \(Op^{(n)}(A):=A^{A^ n}\). \(C\subseteq\bigcup_{n\geq 1}Op^{(n)}(A)\) is called a clone on \(A\) if all projections belong to \(C\) and if \(C\) is closed under composition, i.e. \(f(f_ 1,\dots,f_ n)\in C\) for all positive integers \(n\), \(m\), for all \(f\in C\cap Op^{(n)}(A)\) and for all \(f_ 1,\dots,f_ n\in C\cap Op^{(m)}(A)\). A subclone of \(C\) is a subset of \(C\) which is also a clone (on \(A\)). Put \(Re(A):=2^{A^ 2}\), \(R^{(g)}:=\{(g(x),g(y))\mid\;(x,y)\in R\}\) for all \(R\in Re(A)\) and for all \(g\in\text{Sym} A\) and \(C_{\text{inv}}(A):=\bigcup_{n\geq 1}\{f\in Op^{(n)}(Re(A))\mid\;f(R_ 1^{(g)},\dots,R_ n^{(g)})=(f(R_ 1,\dots,R_ n))^{(g)}\) for all \(R_ 1,\dots,R_ n\in Re(A)\) and for all \(g\in\text{Sym} A\}\). Then \(C_{\text{inv}}(A)\) is a clone on \(Re(A)\), called the invariant clone. Properties of subclones of \(C_{\text{inv}}(A)\) are studied.

Recommendations

Cited in

(30)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3979086)