20

Let $G$ be a finite group and $\gamma \in \text{Sym}(G)$ such that $\gamma (1) = 1$ and $\gamma (gH) = \gamma (g)H$ for all $g\in G$ and $H\leq G$.

This means $\gamma$ induces a permutation of the left cosets of any subgroup of $G$.

I need to show that $\gamma$ fixes any left coset of the Center $C(G)$ of $G$, that is $$\gamma(g)C(G) = gC(G)\,.$$

I tried some simple calculations which did not work. Now I think some more structural arguments are necessary. Any ideas?

Batominovski
  • 50,341
SanTe
  • 339

1 Answers1

14

I found a counterexample using $\textsf{GAP}$. The group is $$ G \;=\; \mathbb{Z}_9 \rtimes \mathbb{Z}_3 \;=\; \langle a,b \mid a^9=b^3=1,b^{-1}ab=a^4\rangle, $$ with the function $\gamma\colon G\to G$ defined by $$ \gamma\bigl(a^j b^k\bigr) \;=\; a^{-j} b^{-k}. $$ According to $\textsf{GAP}$, this permutes the left cosets of each subgroup of $G$. Indeed, the proper, nontrivial subgroups of $G$ are

  1. The cyclic subgroups $\langle a^3\rangle$, $\langle b\rangle$, $\langle a^3b\rangle$, and $\langle a^6b\rangle$ of order $3$,

  2. The cyclic subgroups $\langle a\rangle$, $\langle ab\rangle$, and $\langle ab^2\rangle$ of order $9$, and

  3. The subgroup $\langle a^3,b\rangle$ of order $9$,

so one could check this statement by hand without too much trouble. However, the center of $G$ is $\langle a^3\rangle = \{1,a^{-3},a^3\}$, so $\gamma$ switches the cosets $\{a,a^{-2},a^4\}$ and $\{a^{-1},a^{-4},a^2\}$.


Here are a few more observations and comments:

  1. The statement is true if $\gamma$ is an automorphism of $G$. For then $\gamma$ must fix every subgroup of $G$, so it is a power automorphism. By a result of C. Cooper, it follows that $\gamma$ is central in the automorphism group, so by the argument at the end of Matt Samuel's (now deleted) post, it follows that $\gamma$ fixes all cosets of the center.

  2. A bijection $\gamma$ between two groups satisfying the given conditions is known as a (normed) $\mathfrak{R}$-isomorphism. See Section 9.4 of Schmidt, Subgroup Lattices of Groups. (The part on $\mathfrak{R}$-isomorphisms starts on pg. 530.)

Jim Belk
  • 50,794
  • Of course, it would be nice to have an elementary argument that $\gamma$ preserves the left cosets of each subgroup of $G$, but I couldn't see an obvious one. In case it helps anyone else prove this, the automorphisms of $G$ are generated by $(a,b) \mapsto (a^2,b)$, $(a,b)\mapsto (ab,b)$, and $(a,b) \mapsto (a,a^3b)$. – Jim Belk Jul 12 '15 at 21:48
  • I have posted a question here asking for an elementary proof. – Jim Belk Jul 12 '15 at 23:59
  • Thanks for giving me closure. All those hours wasted trying to solve it! – Matt Samuel Jul 13 '15 at 00:21
  • Thank you very much. I could not find a counterexample so you helped a lot! – SanTe Jul 17 '15 at 13:56