Closely related subgroups of a finite group
Let
You may take for granted that these are subgroups. Prove that both
View code
Let $G$ be a finite group and $n>1$ an integer such that $(ab)^n=a^n b^n$ for all $a,b\in G$. Let
\[
G_n=\{c\in G\mid c^n=e\}\qquad\text{and}\qquad G^n=\{c^n\mid c\in G\}
\]
You may take for granted that these are subgroups. Prove that both $G_n$ and $G^n$ are normal in $G$, and $|G^n|=[G:G_n]$.