In Dummit and Foote, p.139, a $p$-group is defined as a group of order $p^\alpha$ for $\alpha \geq 1$. I also found online a definition of a $p$-group as a group in which every element has a power of $p$ order. Actually, Dummit and Foote uses this second property later in the text, but I did not find a proof.
I guess that those notions are involved in the proof of the equivalence:
- the order of a generator is the order of a cyclic group
- a group of prime order is cyclic
But I can not connect the dots. Could someone provide a proof that both definitions of a $p$-group are equivalent ?
Best Answer
Formally, a $p$-group is a group in which every element has order a power of $p$. This includes the possibility that the group be infinite. For example, the Prüfer $p$-group is a $p$-group, but infinite.
For finite groups, this is equivalent to the order of the group itself being a power of $p$; Lagrange's Theorem yields that if $|G|=p^n$ and $g\in G$, then $|g|$ divides $p^n$, hence is a power of $p$. Conversely, if $G$ is a $p$-group and $q$ is a prime that divides $|G|$, then by Cauchy's Theorem $G$ has an element of order $q$, and thus $q$ must be a power of $p$; that is $q=p$. Therefore, the only prime that divides $|G|$ is $p$, hence $|G|$ is a power of $p$, as claimed.