クロネッカー・ウェーバーの定理

代数的整数論において、すべての円分体は有理数体 Q のアーベル拡大であることが示せる。クロネッカー・ウェーバーの定理 (Kronecker–Weber theorem) は、この逆を部分的に与えるもので、Q のアーベル拡大体はある円分体に含まれるという定理である。言い換えると、有理数体上の拡大体でそのガロア群がアーベル群である体に含まれる代数的整数は、1の冪根の有理係数による和として表すことができる。例えば、

である。この定理の名前はレオポルト・クロネッカー (Leopold Kronecker) とHeinrich Martin Weber (Heinrich Martin Weber) に因んでいる。

**体論的定式化**
クロネッカー・ウェーバーの定理は、体と体の拡大のことばで記述することができる。それは、有理数体 Q の有限アーベル拡大は、ある円分体の部分体であるという定理である。つまり、Q 上のガロア群がアーベル群である代数体は、ある1のべき根を有理数体Qに添加して得られる体の部分体である。
Q のアーベル拡大 K が与えられると、K を含む最小な円分体が存在する。この定理によって、K の導手 n を  1 の n 乗根により生成される体に K が含まれるような最小の整数 n として定義できる。例えば、二次体の導手は、それらのDiscriminant of an algebraic number fieldの絶対値であり、これは類体論で一般化される事実である。

**歴史**
定理は最初に year=1853 で述べられた。しかし、彼の議論は、次数が2のべきの拡大に対して不完全であった。year=1886 が証明を出版したが、これはいくらかのギャップや誤りを含み、1981 により指摘、修正されている。最初に完全な証明をしたのは year=1896 であった。

**一般化**
は、局所体の任意のアーベル拡大は円分拡大とLubin–Tate extensionを用いて構成することができるという局所クロネッカー・ウェーバーの定理を証明した。year=1975, year=1981, year=1981 は別証明を与えた。
ヒルベルトの第12問題は、クロネッカー・ウェーバーの定理を有理数体以外の体を基礎体として一般化することができるかと問い、その体では1のべき根の類似物は何かを問うている。

**参考文献**
 pages=135–146
*jstor= 2319208 - pages=148–181- pages=29–39- pages=365–374
*url=https://books.google.co.jp/books?id=Gwi0Wum8LY0C&pg=PA65&redir_esc=y&hl=ja
*Citation | last1=Lemmermeyer | first1=Franz | title=Kronecker-Weber via Stickelberger | url=http://jtnb.cedram.org/item?id=JTNB_2005__17_2_555_0 |mr=2211307 | year=2005 | journal=Journal de théorie des nombres de Bordeaux | issn=1246-7405 | volume=17 | issue=2 | pages=555–558 | doi=10.5802/jtnb.507
*Citation | last1=Lubin | first1=Jonathan | title=The local Kronecker-Weber theorem | url=https://doi.org/10.2307/1998574 | doi=10.2307/1998574 |mr=621978 | year=1981 | journal=Transactions of the American Mathematical Society | issn=0002-9947 | volume=267 | issue=1 | pages=133–138
*Citation | last1=Lubin | first1=Jonathan | last2=Tate | first2=John | author2-link=John Tate | title=Formal complex multiplication in local fields | jstor=1970622 | mr=0172878 | year=1965 | journal=Annals of Mathematics. Second Series | issn=0003-486X | volume=81 | pages=380–387- pages=49–59
*Citation | last1=Neumann | first1=Olaf | title=Two proofs of the Kronecker-Weber theorem "according to Kronecker, and Weber" | url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN002198282 | doi=10.1515/crll.1981.323.105 |mr=611446 | year=1981 | journal=Journal für die reine und angewandte Mathematik | issn=0075-4102 | volume=323 | pages=105–126
*Citation | last1=Rosen | first1=Michael | title=An elementary proof of the local Kronecker-Weber theorem | url=https://doi.org/10.2307/1999753 | doi=10.2307/1999753 |mr=610968 | year=1981 | journal=Transactions of the American Mathematical Society | issn=0002-9947 | volume=265 | issue=2 | pages=599–605- pages=382–387
*Citation | last1=Schappacher | first1=Norbert | title=Matériaux pour l'histoire des mathématiques au XXe siècle (Nice, 1996) | url=http://www.emis.de/journals/SC/1998/3/html/smf_sem-cong_3_243-273.html | publisher=Société Mathématique de France | location=Paris | series=Sémin. Congr. | isbn=978-2-85629-065-1  
pages=243–273
*Citation | last1=Weber | first1=H. | title=Theorie der Abel'schen Zahlkörper | language=German | doi=10.1007/BF02417089 | year=1886 | journal=Acta Mathematica | issn=0001-5962 | volume=8 | pages=193–263