Nilpotent of cube-free order implies abelian
Then, is a Finite abelian group (?).
- Classification of groups of prime-square order, showing that any group of prime-square order is abelian.
- Equivalence of definitions of finite nilpotent group, in particular the part that states that any nilpotent group is the internal direct product of its Sylow subgroups.