[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
916(2): 2019/10/17(木)08:25 ID:rXxqe236(5/8) AAS
何年間もガロア理論を勉強されてきて、ネット上のどこにどんな文書があったか
どの本にどんな項目があったかとかの知識はありますが
まとまった理論が頭の中に構築されている感じがしません。失礼ながら。
HPなどは間違った記述も多いので、やはり自分の頭を通して
徹底的に考えなければ、正誤の判断は付かないし、身にも付かないものだと思います。
917(1): 2019/10/17(木)08:41 ID:rXxqe236(6/8) AAS
>>913
1+ζ + ...+ζ ^n-1=0 の証明
S=1+ζ + ...+ζ ^n-1にζを掛けると巡回的に項がずれるが和としては不変であることが観察できる。
すなわち、S=ζS.
(1-ζ)S=0 で、1-ζ≠0 より S=0.
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
(抜粋)
有理数係数の 5 次の既約多項式が可解であるかどうかを、 (大部分の場合に) 有理数演
算だけで高速に判定する方法を紹介する。
1. ガロア群の計算原理
省10
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}}の全てを解として持ちます．」
は明確に誤り。最小多項式の次数はφ(n)次なので、φ(n)個しか根を持ちえません。
(最小多項式)≠x^n-1 です。
あと、ζ,ζ^2,...,ζ^{n-1}が基底をなすように書いてありますが、これも素数でないnに対しては誤り。
省26
920: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/17(木)11:01 ID:CX/otP+s(3/9) AAS
>>915
ID:rXxqe236さん、どうもスレ主です。
レスありがとう
>「アーベル群とアーベル群の直積はアーベル群にしかならないだろう」
>とか、数学徒であれば誰でも気づくツッコミも入れてきます。
>まえもそうでしたが、スレ主さんにはどうも半直積の概念がないように思えます。
なるほど
ちょっと考えてみます（＾＾；
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）を持つので、
925(1): 2019/10/17(木)12:01 ID:4+tTJiqO(1) AAS
ζ=exp(2πi/5)、a=(ζ+2)^4(ζ^2+2)、K=Q(ζ)、Lはx^5-aの分解体、PはGal(L/Q)の2-Syllow群、MはPの作用で動かないLの元全体
にしたらどうだろ？
[M:Q]=5、LはMを含む最小のガロア拡大までは正しいけど、どんなm∈M＼Qをとっても最小多項式はx^5-cの形にならないのではなかろうか？
半分勘だけど。
926(1): 2019/10/17(木)13:10 ID:fQMp07ks(1/4) AAS
>>925
これ撤回。
反礼にならないな。
ガロア群がc5とaut(c5)の半直積のケースは全部最小多項式が２項のものがとれるのかな？
927(2): 2019/10/17(木)13:54 ID:fQMp07ks(2/4) AAS
>>926
成立するかも。
Q(exp2πi/5)の類体が1を認めると割とスッキリ示せるっぽい。
しかし類対論は真剣に勉強した経験ないので自信なし。
928(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/17(木)17:53 ID:CX/otP+s(8/9) AAS
>>927
どうもスレ主です。
ひょっとして、おっちゃんですか？
外していら、失礼（＾＾；
929(1): 2019/10/17(木)18:15 ID:fQMp07ks(3/4) AAS
>>928
私はオッさんではある。
やっぱりLをx^5-(-1+√5)/2の分解体にした時むりかな？
無理である可能性をx^5-k kはKの単数の場合まで絞り込めたけど難しいね。これ。
930: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/17(木)18:50 ID:CX/otP+s(9/9) AAS
>>929
＞私はオッさんではある。
ああ、そうでしたか
これは失礼しました
しかし、難しいことを考えられますね（＾＾
931: Mara Papiyas ◆y7fKJ8VsjM 2019/10/17(木)18:58 ID:448PbhX4(6/12) AAS
>>914
いちいちごもっとも
>>909みたいにアケスケに書けば
1→ζ→ζ^2→…→ζ^(n-1)→ζ^n=1
みたいなナイーブな認識が
円分体のガロア群に関しては
全然見当違いだと分かる
（クンマー拡大とは違うのだよｗ）
例えばφ12は4次式で
ζ=exp(2πi/12)cos(2π/12)+i*sin(2π/12)
省19
932(1): Mara Papiyas ◆y7fKJ8VsjM 2019/10/17(木)19:00 ID:448PbhX4(7/12) AAS
>>915
>Mara Papiyasさんも勉強しながら書かれてる感じですが、
そうですね ツッコむために勉強してます（ひでぇ）
>スレ主さんとは違って自分の頭を通して書いているな
>というのが分かります。
そうですね そうでないとツッコめませんから（ひでぇ）
>「アーベル群とアーベル群の直積はアーベル群にしかならないだろう」
>とか、数学徒であれば誰でも気づくツッコミも入れてきます。
省9
933: Mara Papiyas ◆y7fKJ8VsjM 2019/10/17(木)19:02 ID:448PbhX4(8/12) AAS
>>916
>(スレ主は)まとまった理論が頭の中に構築されている感じがしません。
全くおっしゃる通り
あのね、工学屋は別にガロア理論なんて知らなくたって困りませんよ
代数学の基本定理だって、結論だけ知っときゃいいｗ
「ｎ次方程式は、重解も含めて必ずｎ個の解がある」とかね
解は、数値解法でゴリゴリ求めればいい
馬鹿が粋がって「ガロア理論がー」とかいって初歩的な誤りを連発
しかも誤りを指摘されても決して認めずワケワカランな抗弁するから
イジりまくられる
省4
934(1): Mara Papiyas ◆y7fKJ8VsjM 2019/10/17(木)19:02 ID:448PbhX4(9/12) AAS
>>919
>なんか、混乱していませんか？
おまえがなｗ
ぶっちゃけ「最小多項式」が分かってないだろｗ
wikipedia
最小多項式 (体論)
「α の最小多項式は
α を根として持つ F[x] の 0 でないすべての多項式のうち
次数が最小のモニック多項式である。」
省2
935(1): Mara Papiyas ◆y7fKJ8VsjM 2019/10/17(木)19:04 ID:448PbhX4(10/12) AAS
>>923
wikipediaの円分多項式のところを読め
φnを円分多項式とする
(x^12-1)
＝φ1φ2φ3φ4φ6φ12
ζ=cos(2π/12)+i*sin(2π/12)とする
φ1=(x-1) 根は１
φ2=(x+1) 根はζ^6=-1
φ3=(x^2+x+1) 根はζ^4、ζ^8
φ4=(x^2+1) 根はζ^3=i ζ^9=-i
省2
上下前次1-新書関写板覧索設栞歴
あと 67 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s