HOMELv010 有限群Gの位数がnで、pがnを割り切る素数であるとき、位数pの要素が存在するという定理は。 2026年5月2日 コーシーの群論に関する定理は、位数が素数pで割り切れるなら位数pの元が存在することを示しています。 無限遠点を含む複素平面全体で正則な関数は、どのような関数に限られるか。 曲面上の閉曲線に沿ったガウス曲率の積分と境界の測地的曲率の関係を示す定理は。