Galois theory for sets of operations closed under permutation, cylindrification, and composition (Q422339): Difference between revisions

Linear term operations of algebras are related to classes of operations that are closed under permutation of variables, addition of inessential variables, and composition, in the same way as term operations of algebras are related to clones. In the present paper it is proved that a set of operations on a set \(A\) is the set of linear term operations of some algebra on \(A\) if and only if it is closed under the above-mentioned operations and contains all projections. It is shown that the closure system of subuniverses of a reduct of the full iterative algebra is uncountable, and it is described in terms of a Galois connection between operations and so-called systems of pointed multisets. I think that the article contains valuable results and may be a starting point for other studies on this subject.