Assumption in Proof that Every $p$-Group is Solvable

199 Views Asked by At

I found this proof here

enter image description here

My question is with fourth bullet point. It says,

Note that $G_1 = Z(G)$ is normal in $G$. . . .So the quotient group $G/G_1$ is defined and furthermore $|G/G_1| = |G|\; / \; |G_1| = \frac{p^k}{p}.$

I know that $G_1 = Z(G)$ is not trivial, but how do we know that $|Z(G)| = p$ and not, say, $p^2$?