- 956 名前：2πi/5-e^4πi/5-e^6πi/5+e^8πi/5√5 = e^2πi/5 - e^4πi/5 - e^6πi/5 + e^8πi/5
である。
この定理の名前はレオポルト・クロネッカー (Leopold Kronecker) とハインリッヒ・マルチン・ウェーバー（英語版） (Heinrich Martin Weber) に因んでいる。
体論的定式化
クロネッカー・ウェーバーの定理は、体と体の拡大のことばで記述することができる。
それは、有理数体 Q の有限アーベル拡大は、ある円分体の部分体であるという定理である。
つまり、Q 上のガロア群がアーベル群である代数体は、ある1のべき根を有理数体Qに添加して得られる体の部分体である。
Q のアーベル拡大 K が与えられると、K を含む最小な円分体が存在する。
この定理によって、K の導手 n を 1 の n 乗根により生成される体に K が含まれるような最小の整数 n として定義できる。
例えば、二次体の導手は、それらの判別式（英語版）の絶対値であり、これは類体論で一般化される事実である。
つづく [] - [ここ壊れてます]
|
 |
