の部分集合 A が補有限(ほゆうげん、英: cofinite; 余有限)であるとは、A の X における補集合が有限集合であることをいう。すなわち、補有限集合 A は「 X の有限個の例外を除く全ての元を含む」ような X の部分集合である。補集合が有限でなく可算である場合、その集合は補可算(あるいは余可算)であるという。
有限群
の群の構造には n の素因数分解に依存してある制限が加わる。例えば素数 p , q に対して、 q < p かつ p -1が q で割り切れない場合は、位数 pq の群は必ず巡回群となる。必要十分条件については巡回数 (群論)(英語版)を参照されたい。 n に平方因子が存在しない場合、位数 n の群
Angie Ymnk commented