π:G→G/Dを自然な射影、PをGのpシロー群とするときG/Dのpシロー群はπ(P)
Pが巡回群ならπ(P)も巡回群