n を 1 以上の自然数とし, G を位数が n の群とすると, (G には一元集合と G 以外の部分群が存在しない) ⇔ (n は素数であるか 1 である).

続きを読む