Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
する語の問題が解けるための必要十分条件は、その群が任意の代数閉群(英語版)に埋め込めることである。 群の階数(英語版)はしばしば、その群の生成系の濃度のうち最小のものと定義される。定義により、有限生成群の階数は有限である。 有限生成加群 群の表示 ^ Gregorac, Robert J.. “A note
この場合、集合 {x1,...,xs} を G の生成系あるいは生成集合 (generating set) といい、 x1, ..., xs は G を 生成する (generate) という。 明らかに、すべての有限アーベル群は有限生成である。有限生成アーベル群は単純な構造をもっており、以下で説明するように完全に分類することができる。
数学において、有限生成加群(ゆうげんせいせいかぐん、英: finitely generated module)とは、有限な生成集合をもつ加群のことである。有限生成 R-加群はまた有限 R-加群 (finite R-module, module of finite type) や R 上有限 (finite
限度・限界のある・こと(さま)。
の群の構造には n の素因数分解に依存してある制限が加わる。例えば素数 p , q に対して、 q < p かつ p -1が q で割り切れない場合は、位数 pq の群は必ず巡回群となる。必要十分条件については巡回数 (群論)(英語版)を参照されたい。 n に平方因子が存在しない場合、位数 n の群
このタイプの有限オートマトンは入力を受容(accept)したり、理解(recognize)して、外界に結果を知らせるために状態(state)を使用する。つまり、最終的に受容状態になったかどうかで「はい」または「いいえ」のいずれかを出力として返す。FSMの全状態は受容状態かそうでないかのいずれかである。全入力
有限体(ゆうげんたい、英語:finite field)とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアに因んでガロア体あるいはガロア域(ガロアいき、Galois field)などとも呼ぶ。
の部分集合 A が補有限(ほゆうげん、英: cofinite; 余有限)であるとは、A の X における補集合が有限集合であることをいう。すなわち、補有限集合 A は「 X の有限個の例外を除く全ての元を含む」ような X の部分集合である。補集合が有限でなく可算である場合、その集合は補可算(あるいは余可算)であるという。