[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
918(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/17(木)10:15 ID:CX/otP+s(1/9) AAS
>>903 追加
下記元吉文男で、
既約な二項方程式x^5-a＝0のガロア群は、C_{5} 巡回群 (位数 5)です
B_{5}'メタ巡回群 (位数 20)では、ありません
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
[PDF]5 次方程式の可解性の高速判定法 - 元吉文男 著 - 1993 RIMS, Kyoto University
(抜粋)
省13
919(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/17(木)10:58 ID:CX/otP+s(2/9) AAS
>>914
ID:rXxqe236さん、どうもスレ主です。
レスありがとう
(引用開始)
ご参考にされてるHPは混乱してるのか、間違ったことも混じって書いてありますね。
定理として書いてある
「ζ=exp(2πi/n)の最小多項式は{1,ζ,ζ^2,...,ζ^{n-1}}の全てを解として持ちます．」
省29
920: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/17(木)11:01 ID:CX/otP+s(3/9) AAS
>>915
ID:rXxqe236さん、どうもスレ主です。
レスありがとう
>「アーベル群とアーベル群の直積はアーベル群にしかならないだろう」
>とか、数学徒であれば誰でも気づくツッコミも入れてきます。
>まえもそうでしたが、スレ主さんにはどうも半直積の概念がないように思えます。
なるほど
省1
921: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/17(木)11:03 ID:CX/otP+s(4/9) AAS
>>916
＞HPなどは間違った記述も多いので、やはり自分の頭を通して
>>919をどうぞ
922: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/17(木)11:08 ID:CX/otP+s(5/9) AAS
>>917
ぱち ぱち ぱち、拍手（＾＾
その証明も、昔どこかで見た記憶が
どこだったか、思い出せませんが
なお、別証明ですね（>>919 高校数学の美しい物語 ご参照）
923(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/17(木)11:31 ID:CX/otP+s(6/9) AAS
>>919 補足
ζ=exp(2πi/n)を根とする 二項方程式 x^n-1＝0は、加約で因子（x-1）を持つので、次数は１つ下げられる
だから、最小多項式の次数はｎ−１までは下がります
なので、定理中で「ζ=exp(2πi/n)の最小多項式は」と書くと、次数が合わないですね
（ｎ−１次の方程式が、ｎ個の根を持つことになりますから）
だから、式を直すか、根の数を直す必要がありますね
924: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/17(木)11:32 ID:CX/otP+s(7/9) AAS
>>923 誤変換訂正
加約で因子（x-1）を持つので、
↓
可約で因子（x-1）を持つので、
928(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/17(木)17:53 ID:CX/otP+s(8/9) AAS
>>927
どうもスレ主です。
ひょっとして、おっちゃんですか？
外していら、失礼（＾＾；
930: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/17(木)18:50 ID:CX/otP+s(9/9) AAS
>>929
＞私はオッさんではある。
ああ、そうでしたか
これは失礼しました
しかし、難しいことを考えられますね（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.460s*