What is the cardinality of the centralizer of a bijection? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T00:08:01Z http://mathoverflow.net/feeds/question/32282 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/32282/what-is-the-cardinality-of-the-centralizer-of-a-bijection What is the cardinality of the centralizer of a bijection? Daniel Miller 2010-07-17T13:12:36Z 2010-07-18T02:35:54Z <p>Let $\mathfrak{F}(0)$ be the set of all bijections $\mathbb{N}\mapsto\mathbb{N}$, and let $\mathfrak{F}(n+1)$ be the set of all bijections $\mathfrak{F}(n)\mapsto\mathfrak{F}(n)$. Given $\alpha\in\mathfrak{F}(n)$, is there a lower bound on the cardinality of $C_{\mathfrak{F}(n)}(\alpha)$, the centralizer of $\alpha$? Of course, since $C_{\mathfrak{F}(n)}(I)=\mathfrak{F}(n)$, where $I$ is the identity, the cardinality of the centralizer can be the same as that of $\mathfrak{F}(n)$. So the question is, is it possible to, using the axiom of choice as necessary, exhibit $\alpha\in\mathfrak{F}(n)$ such that $|C_{\mathfrak{F}(n)}(\alpha)|&lt;|\mathfrak{F}(n)|$? Or, making things a little more concrete, is it possible to create $f:\mathbb{R}\mapsto\mathbb{R}$, a bijection, such that $|C_{\mathfrak{F}(1)}(f)|&lt;|2^{\mathbb{R}}|$?</p> http://mathoverflow.net/questions/32282/what-is-the-cardinality-of-the-centralizer-of-a-bijection/32284#32284 Answer by t3suji for What is the cardinality of the centralizer of a bijection? t3suji 2010-07-17T13:33:19Z 2010-07-18T02:35:54Z <p>As far as I understand, the answer is negative (assuming $n>0$). It is easy to prove the following:</p> <p><strong>Claim.</strong> Let $X$ be an uncountable set. Let $G$ be the group of all bijections $X\to X$. Then for any $g\in G$, its centralizer $Z(g)\subset G$ satisfies $|Z(g)|=|G|$. (This implies the claim, since all of $\mathfrak{F}(n)$ are uncountable.)</p> <p><strong>Proof.</strong> It suffices to show that $|Z(g)|\ge|G|$. Consider the partition of $X$ into orbits under the action of $g$. Each orbit is identified with a cyclic group ${\mathbb Z}/n{\mathbb Z}$ ($n\ge 0$) with $g$ acting as the shift by one. Since there are countably many isomorphism types of orbits, and each has countably many elements, there exists a particular $n\ge 0$ such that the corresponding set of orbits $X_n$ of this type has $|X_n|=|X|$. Now it is easy to see that the map from $Z(g)$ to the bijections of $X_n$ is surjective. (And hence the cardinality of $Z(g)$ is at least the cardinality of the group of bijections of $X_n$.)</p>