G/Φ(G)が巡回群ならGは巡回群である。
Φ(G):フラッチニ部分群

よろしくお願いします。