ラグランジュの定理 (群論)
素数位数の有限群 ― 有限群 G の位数が素数 p ならば、群 G は巡回群である。