「アーベル拡大」の版間の差分

m
 
体 K が原始的 n-番目のべき根を持ち K の元の n-番目の根と結合させるたとき、{{仮リンク|クンマー拡大|en|Kummer extension}}(Kummer extension)といい、アーベル拡大となる。( K の標数を p とすると、p は n を割らないとの前提を入れねばならない。もし割るようであれば、{{仮リンク|分離拡大|en|separable extension}}(separable extension)も失敗するからである。)しかしながら、一般に、元の n-番目の根のガロア群は、n-番目の根も単位の根も双方に作用し、{{仮リンク|準直積|en|semi-direct product}}(semi-direct product)として非アーベル的ガロア群を構成する。{{仮リンク|クンマー理論|en|Kummer theory}}(Kummer theory)は、アーベル拡大を完全に記述する。[[クロネッカー・ウェーバーの定理]]は、K が[[有理数|有理数体]]のとき、拡大がアーベル的であるということと、拡大が単位の根を代数的に結合した値とする体の部分体であることとは同値であると言う定理である。
 
[[位相幾何学|トポロジー]]では[[基本群]]の重要な類似があり、全ての被覆空間を分類する。すなわち、第一{{仮リンク|[[ホモロジー群|en|homology group}}(homology group)]]に直接関連付けられる[[交換子部分群#アーベル化|アーベル化]]により、アーベル被覆が分類される。
<!---There are two slightly different concepts of '''cyclotomic extension'''s: these can mean either extensions formed by adjoining [[roots of unity]], or subextensions of such extensions. The [[cyclotomic field]]s are examples. Any cyclotomic extension (for either definition) is abelian.
 
13,687

回編集