23/01/02 23:42:31.06 qZFMMNjk.net
>>64
つづき
ガロア拡大の特徴づけ
エミール・アルティンの重要な定理により、有限拡大 E/F に対し、以下の各ステートメントは E/F がガロア拡大であるというステートメントと同値である：
・E/F は正規拡大かつ分離拡大である。
・E は F に係数を持つ分離多項式の分解体である。
・|Aut(E/F)| = [E:F], つまり、自己同型の個数は拡大次数と等しい。
他の同値なステートメントとして以下がある：
略
URLﾘﾝｸ(ja.wikipedia.org)
自明群、自明な群 (trivial group)、単位群 はただ1つの元からなる群である。すべてのそのような群は同型であるので、英語などではしばしば定冠詞をつけて the trivial group などと呼ばれる。自明群のただ1つの元は単位元であるので普通 0, 1, e のように文脈に応じて表記される。群の演算が * であれば e * e = e によって定義される。
(引用終り)
以上