It is not too difficult to show that if $X$ is an infinite set, then there exists a two-element subset of the group $\operatorname{Sym}(X)$ with trivial centralizer iff $\lvert X\rvert \leq \lvert\mathbb{R}\rvert$. 


My question is if this is true if we replace $\operatorname{Sym}(X)$ with $\operatorname{End}(X)$. 


I.e., for what infinite sets $X$ do there exist functions $f,g: X \rightarrow X$, such that if $h:X \rightarrow X $ satisfies $fh = hf$ and $gh = hg$, then $h = I$? The same argument from the $\operatorname{Sym}(X)$ case shows that it is true when $|X| \leq \mathbb{R}$ (and was given as a problem in the [6th Romanian Masters of Mathematics competition](http://rmms.lbi.ro/rmm2013/index.php?id=problems_math)). But is it false for $|X| > |\mathbb{R}|$?



For what sets $X$ do there exist a pair of functions from $X$ to $X$ with the identity being the only function that commutes with both?
The answer is no: **for every set $X$ there exists a pair in the monoid $X^X$ of self-maps of $X$, with centralizer reduced to $\{\mathrm{id}\}$**.


(I first left my original "groupwise" answer because it's easier and because it has other follow-up questions. It's now deleted and copied as an [answer to another question](https://mathoverflow.net/a/369938/14094)).


For $X$ empty take $(\mathrm{id},\mathrm{id})$. For $X$ finite nonempty, take a constant, and a cycle. So henceforth I assume that $X$ is infinite.


(a) First I use Sierpiński-Banach theorem [cf. [here](https://math.stackexchange.com/questions/116248/evans-theorem-of-embeddings-into-2-generator-semigroup/586658#586658) and [here](https://www.infona.pl/resource/bwmeta1.element.bwnjournal-article-fmv24i1p22bwm)] that every countable subset (here just finite is fine) of $X^X$ is contained in the subsemigroup generated by a 2-element subset. This reduces to proving that there is a finite (actually 6-element) subset $\Sigma\subset X^X$ with trivial centralizer.


(b) Next I split $X$ as union of two subsets $Y,Z$ of the same cardinal. Let $f,g\in X^X$ have image equal to $Y$ and $Z$ respectively. If $u$ commutes to $f$, then $u$ stabilizes $\mathrm{Im}(Y)$, and similarly with $g$, $Z$. I'll therefore assume $f,g\in\Sigma$, and hence every $u$ in the centralizer of $\Sigma$ stabilizes both $Y$ and $Z$.


(c) It was proved in [VPH] that there exists a "strongly rigid" binary relation on $Y$: a subset $R\subset Y^2$ (actually, $R$ being subset of a well-ordering) such that the only endomorphism $u$ of $(Y,R)$ is the identity. (Here endomorphism means that $u\times u:Y^2\to Y^2$ maps $R$ into itself.) Clearly the cardinal of $R$ is that of $|Y|=|X|$.


Choose a partition $Z=Z'\sqcup Z''$ of $Z$ in subsets of the same cardinal.
Choose a bijection $i$ from $R$ to $Z'$. Define self-maps $p,q$ of $X$ as follows. On $Y$, $p$ and $q$ are chosen as injective maps into $Z''$. Also $p$ and $q$ are defined on $Z'$ by: for $(y,y')\in Y^2$ and $z=i(y,y')$, $q(z)=p(y)$ and $p(z)=q(y')$. Finally, extend $p,q$ arbitrarily choosing maps $Z''\to Y$.


Then, for $(y,y')\in Y^2$, we have $(y,y')\in R$ if and only if there exists $z\_1,z,z\_2\in Z$ such that $p(y)=z\_1$, $q(z)=z\_1$, $p(z)=z\_2$, $q(y')=z\_2$. [Intuition: this is a "$\stackrel{p}\to\stackrel{q}\leftarrow\stackrel{p}\to\stackrel{q}\leftarrow$ path" from $y$ to $y'$]


Indeed $\Rightarrow$ works by construction with $z\_1=p(y)$, $z=i(y,y')$, $z\_2=q(y')$. Conversely, suppose that such elements exist; write $(Y,Y')=i^{-1}(z)$, so $(Y,Y')\in R$. By definition $p(z)=q(Y')$ and $q(z)=p(Y)$. So $q(Y')=q(y')$ and $p(Y)=p(y)$. By injectivity of $p$ and $q$ on $Y$, we have $(y,y')=(Y,Y')\in R$.


As a consequence, if $u$ stabilizes $Z$ and $Y$ and commutes with $p$ and $q$, then $u$ preserves $R$ on $Y$.


Next we define similarly $p',q'$ from a strongly rigid binary relation on $Z$.


Then the above proves that the centralizer of $\{f,g,p,q,p',q'\}$ in $X^X$ is reduced to $\{\mathrm{id}\}$.


[VPH] Vopěnka, P.; Pultr, A.; Hedrlín, Z.
A rigid relation exists on any set.
Comment. Math. Univ. Carolinae 6 (1965), 149–155.




---


Informal outline: the hard step is the above reference (existence of a strongly rigid binary relation). Then, the 0th step is Sierpinski-Banach (which is not hard) to pass from 6 to 2. The second is quite trivial: there exists a pair such that centralizing this pair implies preserving each component of a partition into two moieties. The third step is to encode a binary relation into a pair of self-maps using such a $\stackrel{p}\to\stackrel{q}\leftarrow\stackrel{p}\to\stackrel{q}\leftarrow$ path and the "coloring" by the 2-component partition.


