私の持っている本では、べき零群はシローの定理の後に出ていて、結構難しい話だと思います。
p群がべき零という事実は有名かもしれませんが…。