有限群Gの位数がnで、pがnを割り切る素数であるとき、位数pの要素が存在するという定理は。

コーシーの群論に関する定理は、位数が素数pで割り切れるなら位数pの元が存在することを示しています。