[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 http://rio2016.5ch.net/test/read.cgi/math/1568026331/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
878: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/10/16(水) 11:37:55.07 ID:86h80x0A めんどくさいやつだな そうあせるな(^^ 円分体って、単純そうで、結構深いよね(゜ロ゜; ”クロネッカー=ウェーバーの定理は、基礎体が有理数体であるときを考えているが、基礎体を虚二次体にしたときも、同様なことが成立するかを問うたのが、クロネッカーの青春の夢である。” (参考) https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AD%E3%83%8D%E3%83%83%E3%82%AB%E3%83%BC%E3%83%BB%E3%82%A6%E3%82%A7%E3%83%BC%E3%83%90%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86 クロネッカー・ウェーバーの定理 (抜粋) 代数的整数論において、すべての円分体は有理数体 Q のアーベル拡大であることが示せる。 クロネッカー・ウェーバーの定理 (Kronecker?Weber theorem) は、この逆を部分的に与えるもので、Q のアーベル拡大体はある円分体に含まれるという定理である。 言い換えると、有理数体上の拡大体でそのガロア群がアーベル群である体に含まれる代数的整数は、1の冪根の有理係数による和として表すことができる。例えば、 √5=e^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 として定義できる。 例えば、二次体の導手は、それらの判別式(英語版)の絶対値であり、これは類体論で一般化される事実である。 つづく http://rio2016.5ch.net/test/read.cgi/math/1568026331/878
879: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/10/16(水) 11:38:48.56 ID:86h80x0A >>878 つづき https://en.wikipedia.org/wiki/Kronecker%E2%80%93Weber_theorem Kronecker?Weber theorem (抜粋) In algebraic number theory, it can be shown that every cyclotomic field is an abelian extension of the rational number field Q, having Galois group of the form (Z/nZ )^x . The Kronecker?Weber theorem provides a partial converse: every finite abelian extension of Q is contained within some cyclotomic field. In other words, every algebraic integer whose Galois group is abelian can be expressed as a sum of roots of unity with rational coefficients. For example, √5=e^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, √-3=e^2πi/3-e^4πi/3,√-3=e^2πi/3-e^4πi/3, and √3=e^2πi/12-e^10πi/12.√3=e^2πi/12-e^10πi/12. The theorem is named after Leopold Kronecker and Heinrich Martin Weber. (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1568026331/879
887: Mara Papiyas ◆y7fKJ8VsjM [] 2019/10/16(水) 19:22:24.58 ID:/906omXv >>878 >めんどくさいやつだな 学習がめんどくさいなら、数学やめていいぞ 誰も貴様に数学やれなんて頼んでないから >そうあせるな あせって>>839で >1の5乗根の原始根 ζ5を添加する拡大から、位数5の巡回群が出る と馬鹿丸出しな間違い書いたのは貴様www >代数的整数論において、すべての円分体は有理数体 Q のアーベル拡大であることが示せる。 >クロネッカー・ウェーバーの定理 (Kronecker-Weber theorem) は、この逆を部分的に与えるもので、 >Q のアーベル拡大体はある円分体に含まれるという定理である。 なんで、尋ねられたことを調べずに 無関係なことを書くのかね? >>859で、何て書いた? 「円分体の同型写像を具体的に構成せよ」 だよね? もし、この質問に答えられるなら、 「1の5乗根の原始根 ζ5を添加する拡大から、位数5の巡回群が出る」 なんて書くことはあり得ない だから訊ねてるんだよ まっさきに尋ねられたことを調べろよ 馬鹿 http://rio2016.5ch.net/test/read.cgi/math/1568026331/887
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.033s