Intereting Posts

$A^3+A=0$ We need to show $\mathrm{rank}(A)=2$
Intuition regarding Chevalley-Warning Theorem
Finding the ring of integers of $\mathbb Q$ with $\alpha^5=2\alpha+2$.
Combinatorial proof of a Stirling number identity.
Hom of finitely generated modules over a noetherian ring
Bounded sequence in Hilbert space contains weak convergent subsequence
Showing that the diagonal of $G \times G$ is maximal, where $G$ is simple
How could I improve this approximation?
Why doesn't $\sum_{n=1}^\infty \frac{1}{n^{1+\frac{1}{n}}}$ converge?
how to maximize the slope in order to find the tangent line of hyperbola from a point?
A problem with 26 distinct positive integers
What is Trinity Hall Prime number?
Easy partial fraction decomposition with complex numbers
Why does $\int_a^b fg\, dx = 0$ imply that $f = 0$?
Lagrange diagonalization theorem – what if we omit assumption about the form being symmetric

Let $G$ be a finite group and $f:G\to G$ an isomorphism. If $f$ has no fixed points (i.e., $f(x)=x$ implies $x=e$) and if $f\circ f$ is the identity, then $G$ is abelian. (Hint: Prove that every element in $G$ has the form $x^{-1}\cdot f(x)$.)

With the hint, I can see that for all $t\in G$, $f(t)=t^{-1}$, and since $f$ is an isomorphism, $G$ is abelian. But I can’t see how to prove the hint or why it’s evident.

Source : Rotman J.J. *Introduction to the theory of groups*, exercise 1.50

- Every normal subgroup of a finite group is contained in some composition series
- Only two groups of order $10$: $C_{10}$ and $D_{10}$
- Divisor of a finite group
- Can $\frac{SO(5)}{N}= SU(2) \times SO(2)$ be true?
- Could the concept of “finite free groups” be possible?
- If a group $G$ has odd order, then the square function is injective.

- Proper subgroups of non-cyclic p-group cannot be all cyclic?
- Additive quotient group $\mathbb{Q}/\mathbb{Z}$ is isomorphic to the multiplicative group of roots of unity
- Every minimal normal subgroup of a finite solvable group is elementary abelian
- Simple Group Theory Question Regarding Sylow Theorems
- Possible order of $ab$ when orders of $a$ and $b$ are known.
- Order of general linear group of $2 \times 2$ matrices over $\mathbb{Z}_3$
- How to show that for any abelian group $G$, $\text{Hom}(\mathbb{Z},G)$ is isomorphic to $G$
- On $GL_2(\mathbb F_3)$
- Positive Elements of $\mathbb{C}G$: as functionals versus as elements of the C*-algebra
- Image of a normal subgroup under a homomorphism

**Metahint** (hint for the hint): Show that if $x^{-1}f(x) = y^{-1}f(y)$, then $x=y$. Conclude that the map (*not necessarily* a group homomorphism, at this point it’s just a set-theoretic function) $x\mapsto x^{-1}f(x)$ from $G$ to itself is one-to-one.

Note that the two things you don’t use once you have the hint are the property that $f(z)=z$ implies $z=e$, and the condition that $G$ is finite. I wonder if that will play a role in establishing the hint…?

**Additional notes.** The conditions that $G$ be finite and that $f$ have no fixed points are both necessary for the conclusion to follow.

An example of an infinite nonabelian group $G$, an isomorphism $f\colon G\to G$ with no fixed points, and with $f\circ f = \mathrm{id}_G$ is given by letting $G$ be the free group of rank $2$, freely generated by $x$ and $y$, and $f\colon G\to G$ be the map that swaps $x$ and $y$. It has no fixed points, since a reduced word that begins with $x$ or $x^{-1}$ has image that begins with $y$ or $y^{-1}$, and viceversa; composing the map with itself gives the identity; but $G$ is not abelian. Even though the (set theoretic) map $w\mapsto w^{-1}f(w)$ is still one-to-one, it is no longer onto: the image contains only words where the sum of the exponents is equal to $0$, so for example $x$ cannot be written as $w^{-1}f(w)$ for any $w\in G$.

For an example with $G$ finite but not abelian if $f$ has fixed points, simply take any nonabelian group with a noncentral element $g$ of order $2$ (any nonabelian simple group will do), and $f$ to be conjugation by $g$.

For proving the second part, that is $f \circ f = I$ implies $G$ is abelian you can proceed as follows:

Consider $g \in G$. By the above $\mathsf{Hint}$ every $g \in G$ can be written as $g = x^{-1} f(x)$ for some $x \in G$.

We then have

\begin{align*} g = x^{-1} f(x) \Longrightarrow f(g) &= f(x^{-1}f(x))= f(x^{-1}) \cdot f(f(x)) \\ &=(f(x))^{-1} \cdot x = \bigl[x^{-1} f(x)\bigr]^{-1}=g^{-1}

\end{align*}

Now we prove that if $f: G \to G$ defined by $f(g) = g^{-1}$ is a Automorphism if $G$ is abelian.

To see this note that $f(ab)=(ab)^{-1} = b^{-1} \cdot a^{-1} $. But $$f(ab) = f(a) \cdot f(b) \Rightarrow f(ab) = a^{-1}b^{-1}$$ From above we have $$b^{-1}a^{-1} = a^{-1}b^{-1} \Rightarrow (ab)^{-1} = (ba)^{-1} \Rightarrow ab=ba$$ Hence $G$ is abelian.

- Proof of concavity of log function
- Can nonzero polynomials vanish identically?
- When to use the contrapositive to prove a statment
- Locus of intersection of two perpendicular normals to an ellipse
- Prob. 16, Chap. 3 in Baby Rudin: $x_{n+1} = (x_n + \alpha/x_n)/2$, with $x_1 > \sqrt{\alpha}$, $\alpha > 0$
- The Power of Taylor Series
- Name for numbers expressible as radicals
- 'Randomness' of inverses of $(\mathbb{Z}/p \mathbb{Z})^\times$
- How to prove that $\lim_{(x,y) \to (0,0)} \frac{x^3y}{x^4+y^2} = 0?$
- Find $\lim_{x\to0}\frac{\sin5x}{\sin4x}$ using $\lim_{\theta\to0}\frac{\sin\theta}{\theta}=1$.
- Fractal derivative of complex order and beyond
- The product of two Riemann integrable functions is integrable
- What are the eigenvalues of matrix that have all elements equal 1?
- Combinatorial argument for $\sum\limits_{k=i}^{n}\binom{n}{k}\binom{k}{i} = \binom{n}{i}2^{n-i}$
- Nilpotent matrix and basis for $F^n$