Exercise 32, § 6

Let $p$ be a prime number and let G be a $p$-group. Let $G^* = G^p D(G)$ be the subgroup of G generated by D(G) and by the $x^p$ for $x \in G$. a) Prove that $G^*$ is the intersection of the kernels of the homomorphisms of G into $\mathbf{Z}/p\mathbf{Z}$. b) Prove that a subset S of G generates G if and only if the image of S in $G/G^*$ generates $G/G^*$. Deduce that, if $(G:G^*) = p^n$, the integer $n$ is the minimum number of elements of a subset of G generating G; in particular, G is cyclic if and only if $n \leqslant 1$. c) Let $u$ be an automorphism of G of order prime to $p$ and let $\bar{u}$ be the corresponding automorphism of $G/G^*$. Prove that $\bar{u} = 1$ entails $u = 1$.