クロネッカー・ウェーバーの定理
代数的整数論において、すべての円分体は有理数体 Q のアーベル拡大であることが示せる。クロネッカー・ウェーバーの定理 (Kronecker–Weber theorem) は、この逆を部分的に与えるもので、Q のアーベル拡大体はある円分体に含まれるという定理である。言い換えると、有理数体上の拡大体でそのガロア群がアーベル群である体に含まれる代数的整数は、1の冪根の有理係数による和として表すことができる。例えば、
- [math]\sqrt{5} = e^{2 \pi i / 5} - e^{4 \pi i / 5} - e^{6 \pi i / 5} + e^{8 \pi i / 5}[/math]
である。この定理の名前はレオポルト・クロネッカー (Leopold Kronecker) とハインリッヒ・マルチン・ウェーバー (Heinrich Martin Weber) に因んでいる。
体論的定式化
クロネッカー・ウェーバーの定理は、体と体の拡大のことばで記述することができる。それは、有理数体 Q の有限アーベル拡大は、ある円分体の部分体であるという定理である。つまり、Q 上のガロア群がアーベル群である代数体は、ある1のべき根を有理数体Qに添加して得られる体の部分体である。
Q のアーベル拡大 K が与えられると、K を含む最小な円分体が存在する。この定理によって、K の導手 n を 1 の n 乗根により生成される体に K が含まれるような最小の整数 n として定義できる。例えば、二次体の導手は、それらの判別式の絶対値であり、これは類体論で一般化される事実である。
歴史
定理は最初に テンプレート:Harvs で述べられた。しかし、彼の議論は、次数が2のべきの拡大に対して不完全であった。テンプレート:Harvs が証明を出版したが、これはいくらかのギャップや誤りを含み、Neumann (1981) により指摘、修正されている。最初に完全な証明をしたのは テンプレート:Harvs であった。
一般化
テンプレート:Harvs は、局所体の任意のアーベル拡大は円分拡大とルービン・テイトの拡大を用いて構成することができるという局所クロネッカー・ウェーバーの定理を証明した。テンプレート:Harvs, テンプレート:Harvs, テンプレート:Harvs は別証明を与えた。
ヒルベルトの第12問題は、クロネッカー・ウェーバーの定理を有理数体以外の体を基礎体として一般化することができるかと問い、その体では1のべき根の類似物は何かを問うている。
参考文献
- Ghate, Eknath (2000), “The Kronecker-Weber theorem”, in Adhikari, S. D.; Katre, S. A.; Thakur, Dinesh, Cyclotomic fields and related topics (Pune, 1999), Bhaskaracharya Pratishthana, Pune, pp. 135–146, MR 1802379
- Greenberg, M. J. (1974). “An Elementary Proof of the Kronecker-Weber Theorem”. American Mathematical Monthly (The American Mathematical Monthly, Vol. 81, No. 6) 81 (6): 601–607. doi:10.2307/2319208. JSTOR 2319208.
- Hazewinkel, Michiel (1975), “Local class field theory is easy”, Advances in Mathematics 18 (2): 148–181, doi:10.1016/0001-8708(75)90156-5, ISSN 0001-8708, MR 0389858
- Hilbert, David (1896), “Ein neuer Beweis des Kronecker'schen Fundamentalsatzes über Abel'sche Zahlkörper.” (German), Nachrichten der Gesellschaft der Wissenschaften zu Göttingen: 29–39
- Kronecker, Leopold (1853), “Über die algebraisch auflösbaren Gleichungen” (German), Berlin K. Akad. Wiss.: 365–374, Collected works volume 4
- Kronecker, Leopold (1877), “Über Abelsche Gleichungen” (German), Berlin K. Akad. Wiss.: 845–851, Collected works volume 4
- Lemmermeyer, Franz (2005), “Kronecker-Weber via Stickelberger”, Journal de théorie des nombres de Bordeaux 17 (2): 555–558, doi:10.5802/jtnb.507, ISSN 1246-7405, MR 2211307
- Lubin, Jonathan (1981), “The local Kronecker-Weber theorem”, Transactions of the American Mathematical Society 267 (1): 133–138, doi:10.2307/1998574, ISSN 0002-9947, MR 621978
- Lubin, Jonathan; Tate, John (1965), “Formal complex multiplication in local fields”, Annals of Mathematics. Second Series 81: 380–387, ISSN 0003-486X, JSTOR 1970622, MR 0172878
- Lubin, Jonathan; Tate, John (1966), “Formal moduli for one-parameter formal Lie groups”, Bulletin de la Société Mathématique de France 94: 49–59, ISSN 0037-9484, MR 0238854
- Neumann, Olaf (1981), “Two proofs of the Kronecker-Weber theorem "according to Kronecker, and Weber"”, Journal für die reine und angewandte Mathematik 323: 105–126, doi:10.1515/crll.1981.323.105, ISSN 0075-4102, MR 611446
- Rosen, Michael (1981), “An elementary proof of the local Kronecker-Weber theorem”, Transactions of the American Mathematical Society 265 (2): 599–605, doi:10.2307/1999753, ISSN 0002-9947, MR 610968
- Šafarevič, I. R. (1951) (Russian), A new proof of the Kronecker-Weber theorem, Trudy Mat. Inst. Steklov., 38, Moscow: Izdat. Akad. Nauk SSSR, pp. 382–387, MR English translation in his Collected Mathematical Papers 0049233 English translation in his Collected Mathematical Papers
- Schappacher, Norbert (1998), “On the history of Hilbert's twelfth problem: a comedy of errors”, Matériaux pour l'histoire des mathématiques au XXe siècle (Nice, 1996), Sémin. Congr., 3, Paris: Société Mathématique de France, pp. 243–273, ISBN 978-2-85629-065-1, MR 1640262
- Weber, H. (1886), “Theorie der Abel'schen Zahlkörper” (German), Acta Mathematica 8: 193–263, doi:10.1007/BF02417089, ISSN 0001-5962