Center of a Symmetric Group on an Infinite Set - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T15:58:27Z http://mathoverflow.net/feeds/question/48744 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/48744/center-of-a-symmetric-group-on-an-infinite-set Center of a Symmetric Group on an Infinite Set AL 2010-12-09T10:48:38Z 2010-12-10T06:39:49Z <p>Let $X$ be a set, $G$ the group of bijection on $X$. Then it is well-known that if $|X|\geq 3$, $Z(G)$ is trivial. However, I cannot see a way of extending this proof to $X$ being an infinite set (other than when a bijection only moves finitely many points). Indeed, I have been somewhat stumped trying to prove that $Z(G)$ is or is not trivial for $X$ infinite.</p> <p>So, for $X$ an infinite set, $G$ the bijections on $X$, is it true that $Z(G)$ is trivial?</p> http://mathoverflow.net/questions/48744/center-of-a-symmetric-group-on-an-infinite-set/48746#48746 Answer by darij grinberg for Center of a Symmetric Group on an Infinite Set darij grinberg 2010-12-09T11:02:27Z 2010-12-09T11:02:27Z <p>I think this is easy. We shall prove that $f=\mathrm{id}$ for every $f\in Z\left(G\right)$. In fact, let $x\in X$ be such that $f\left(x\right)\neq x$ (if no such $x$ exists, we are done anyway). Now let $y\in X$ be such that $y\neq x$ and $y\neq f\left(x\right)$ (such an $y$ exists due to $\left|X\right|\geq 3$). Then, $f$, lying in the center of $G$, must commute with the transposition $\left(x,y\right)$. Hence, $\left(x,y\right)f\left(x\right)=f\left(\left(x,y\right)x\right)$. In other words, $f\left(x\right)=f\left(y\right)$, leading to $x=y$, contradicting $x\neq y$. qed.</p> http://mathoverflow.net/questions/48744/center-of-a-symmetric-group-on-an-infinite-set/48747#48747 Answer by Stefan Geschke for Center of a Symmetric Group on an Infinite Set Stefan Geschke 2010-12-09T11:28:08Z 2010-12-09T11:28:08Z <p>Let $\sigma$ be any permutation on $X$ that moves a point $a\in X$. Let $b=\sigma(a)$ and let $c\in X$ be different from both $a$ and $b$. Choose a permutation $\tau$ of $X$ with $\tau(a)=c$ and $\tau(b)=b$. Now $(\sigma\circ\tau)(a)=\sigma(c)\not=\sigma(a)=b$ but $(\tau\circ\sigma)(a)=\tau(b)=b$. Hence $\sigma$ is not in the center of the group of all permutations of $X$.</p> http://mathoverflow.net/questions/48744/center-of-a-symmetric-group-on-an-infinite-set/48889#48889 Answer by Guntram for Center of a Symmetric Group on an Infinite Set Guntram 2010-12-10T06:39:49Z 2010-12-10T06:39:49Z <p>For the record, here is a somewhat different proof: For $x \in X$ there is a permutation $g_x \in G$ which has only $x$ as a fixed point (as $|X|\geq 3)$. If two permutations $a,b$ commute, then $a$ sends fixed points of $b$ to fixed points of $b$ again. </p> <p>Now if $g$ is central, it commutes in particular with every $g_x$ for $x \in X$, hence it must fix $x$ as $x$ is the only fixed point of $g_x$. Hence $g$ is the identiy.</p>