Abstract: We first determine the maximal clones on a set X of infinite regular cardinality which contain all permutations but not all unary functions, extending a result of Heindorf's for countably infinite X. If |X| is countably infinite or weakly compact, this yields a list of all maximal clones containing the permutations since in that case the maximal clones above the unary functions are known. We then generalize a result of Gavrilov's to obtain on all infinite X a list of all maximal submonoids of the monoid of unary functions which contain the permutations.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
This paper aims to explore and determine the maximal clones that contain all permutations but not all unary functions on uncountable sets. Specifically, the author Michael Pinsker has studied the following problems:
1. **Determining the maximal clones**: For a set X with an infinite regular cardinal κ, find all the maximal clones that contain all permutations but not all unary functions. This result extends Heindorf's research on countably infinite sets.
2. **Listing all the maximal sub - monoids**: By generalizing Gavrilov's results, list all the maximal sub - monoids that contain permutations on all infinite sets X.
3. **The complete list in the case of weakly compact cardinals**: If the cardinal κ is countably infinite or weakly compact, then all the maximal clones that contain permutations can be listed, because in these cases, the maximal clones above unary functions are already well - known.
4. **Handling special cases**: For certain specific infinite sets (such as countably infinite sets and sets with weakly compact cardinals), it is known that there are exactly two maximal clones that contain all unary functions. Therefore, in these cases, the results of the paper provide a complete list of all the maximal clones that contain permutations.
### Main conclusions
The main conclusions of the paper include:
- **Theorem 1**: Let X be a set with a regular cardinal κ, then the maximal clones that contain all permutations but not all unary functions are of the form Pol(G), where G is selected from a series of specific sub - monoids of unary functions.
\[
G\in\{A, B, E, F\}\cup\{G_{\lambda}:1\leq\lambda\leq\kappa,\lambda\text{ is a cardinal}\}
\]
where:
- \(A = \{f\in O(1):f^{-1}[y]\text{ is small for almost all }y\in X\}\)
- \(B = \{f\in O(1):f^{-1}[y]\text{ is small for all }y\in X\}\)
- \(E = \{f\in O(1):f\text{ is almost surjective}\}\)
- \(F = \{f\in O(1):f\text{ is almost surjective or constant}\}\)
- \(G_{\lambda}=\{f\in O(1):\text{if the cardinality of }A\subseteq X\text{ is }\lambda,\text{ then }|X\setminus f[X\setminus A]|\geq\lambda\}\)
- **Corollary 2**: Let X be a set with a regular cardinal κ = ℵα, then there are max(|α|, ℵ₀) maximal clones that contain all permutations but not all unary functions.
- **Corollary 3**: Let X be a set with a countably infinite or weakly compact cardinal κ, then there are κ maximal clones that contain all permutations.
These conclusions not only extend previous research but also provide a new perspective for understanding the clone structure on infinite sets.