Nilpotent groups, $p$-groups Abstract finite groups mathematics