現代数学の系譜 工学物理雑談 古典ガロア理論も読む59
■ このスレッドは過去ログ倉庫に格納されています
この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。
このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。
スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを（＾＾
なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
High level people
低脳幼稚園児のAAお絵かき
上記は、お断り！
小学生がいますので、18金（禁）よろしくね！（＾＾
（旧スレが512KBオーバー（又は間近）で、新スレを立てた） >>42
折角書いてくれたのに、流れてしまいそうだから
ちょっと、分ったところまで書いておくね（＾＾
＜原問＞
問1 cos(π/n)∈Q(sin(π/n)) を示せ。
問2 sin(π/n)はQ(cos(π/n))には含まれないことを示せ。
カンニング（＾＾；
http://fjmttty.hatenablog.com/entry/2017/08/05/202216
数学雑記
2017-08-05
体論の期末試験(再現)
(抜粋)
問1
(1) Q(2cos2π/7)/QがGalois拡大であることを示し、そのGalois群を求めよ
(2) 2cos2π/7のQ上最小多項式を求めよ
問2 pを奇素数とする。
(1)Q(cos2π/p)/QがGalois拡大であることを示し、その拡大次数を求めよ。
(2)sin2π/p=cos{2π(4-p)}/4pであることを利用し、[Q(sin2π/p):Q]を求めよ。
(引用終り)
<問2解答引用>
(1) Q(cos2π/p)=Q(2cos2π/p)に注意すると、Galois拡大であることは問1と同様。
G:=Gal(Q(ζp)/Q)として、
OG(ζp+ζp^(-1))={ζp+ζp^(-1),・・・,ζp^(p−1)+ζp^-(p-1)}
={ζp+ζp^(-1),・・・,ζp^(p-1)/2+ζp^-(p−1)/2}
よって、[Q(cos2π/p):Q]=[Q(2cos2π/p):Q]=(p−1)/2
(2) OG(2sin2π/p)={ζ4p^(4-p)k+ζ4p^-(4-p)k?gcd(4p,k)=1}
gcd(4p,4−p)=1だから、
={ζ4p^k+ζ4p^-k ? gcd(4p,k)=1}
ζ4p^(4p−k)+ζ4p^-(4p−k)=ζ4p^k+ζ4p^-kだから
={ζ4p^k+ζ4p^-k ? gcd(4p,k)=1,1?k?2p}
1 <= k1 ＜ k2 <= 2p のとき、cos2(k1)π/4p ≠ cos2(k2)π/4pだから、
[Q(sin2π/p):Q]
=[Q(2sin2π/p):Q]
=|OG(2sin2π/p)|
=p-1
(引用終り)
えーと、多分 OG(ζp+ζp^(-1))が、ガロア拡大体の記号でしょう
ζpは、いつもの式 x^p=1 の原始根なのでしょう
簡単に
ζp =cos2π/p + i sin2π/p とみて
ζp ＋ 1/ζp =2cos2π/p (これオイラーの式 e^θ で、1/e^θ=e^-θ で、共役複素数になります)
で、ヒント、”sin2π/p ＝（cos{2π/p-π/2}) ＝cos{2π(4-p)}/4p” に注意してなんだけど
上記の解答のように、分母に4を誘導するのがキモですね
つづく >>760
つづき
で
ζ4p^(4-p)+ζ4p^-(4-p)で、”sin2π/p=cos{2π(4-p)}/4p”を使っているのですね
で、{ζ4p^k+ζ4p^-k ? gcd(4p,k)=1,1?k?2p} 達の中に、
おそらく、ζp+ζp^(-1)＝2cos2π/p が入っているってことですかね？
細かくトレースできていませんが（＾＾
これで、cos(2π/p)∈Q(sin(2π/p)は、言えたよと
あとさらに、
[Q(cos2π/p):Q]=[Q(2cos2πp):Q]=(p−1)/2と
[Q(sin2π/p):Q]=p-1と
の差で、[Q(sin2π/p):Q]の拡大次数が大きいと
だから、 Q(cos2πp)よりQ(sin2π/p)の方がえらいよと（＾＾
なので、Q(cos2πp)の中には、Q(sin2π/p)の元で含まれないものがある。
その一つに、sin(2π/p)があると言えれば良い
上記は、Q(cos2π/p)とQ(sin2π/p)との問題の解答ですが
では、原問のQ(cosπ/p)とQ(sinπ/p)とはどうか？
まあ、同じスジで、解答できそうですが、
原問の方が少しばかり難しそうですね（＾＾；
とりあえず、ここまで（＾＾ ■ このスレッドは過去ログ倉庫に格納されています
