[過去ログ]
現代数学の系譜11 ガロア理論を読む30 [無断転載禁止]©2ch.net (653レス)
現代数学の系譜11 ガロア理論を読む30 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1492606081/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
53: 現代数学の系譜11 ガロア理論を読む [sage] 2017/04/21(金) 07:16:31.27 ID:fI8jm0e8 >>51 つづき 応用 調和解析 詳細は「有限アーベル群上の調和解析(フランス語版)」を参照 有限アーベル群は特筆すべき群指標を持ち、その指標群は自身に同型である。ゆえに、そのような群上の調和解析は単純で確立されていて、フーリエ変換や畳み込みを定義することができる。よく知られた結果として、パーシヴァルの等式、プランシュレルの定理やポワソン和公式などが挙げられる。 合同算術 代数的整数論で広く用いられる構造として、整数の合同類環 Z/pZ と特にその単数群 (Z/pZ)× がある。このアプローチは合同算術の基礎になっている。p が素数ならば、この単数群は位数 p ? 1 の巡回群であり、素数以外の場合でも有限アーベルであることは変わりない。 この構造は、フェルマーの小定理(や、その一般化であるオイラーの定理)のようなディオファントス方程式を解くのに利用できる。 有限アーベル群上の調和解析もまた数論に多くの応用を持つ。それらはガウスやルジャンドルらのような数学者が示した結果の現代的定式化に相当する。 ガウス和やガウス周期(フランス語版)もそれらを計算可能にする有限アーベル群の指標を用いて表すことができる。そのような方法は平方剰余の相互法則の証明の基本である。 ディリクレはガウスとルジャンドルの予想「既約合同類群 (Z/pZ)× の各類は無限個の素数を含む」に着目した。ディリクレは調和解析を用いて、こんにち算術級数定理と呼ばれるこの定理を証明し、ディリクレによる成果は解析数論の礎となった。 ガロワ理論 有限アーベル群はガロワ理論において特別な役割を持つ。アーベル?ルフィニの定理の帰結として、可換なガロワ群を持つ多項式は冪根によって解ける(逆はやや複雑で、ガロワ群が可解群となるのにアーベルであることは必要でない)。 そのような多項式の分解体はアーベル拡大、つまり拡大のガロワ群がアーベルである。この結果は、アーベル拡大とそのガロワ群に注目するものである。これは19世紀の数学者たちがクロネッカー?ヴェーバーの定理の証明に熱心であった理由である。 ガロワやクロネッカーとヴェーバーの発見よりもずっと以前に、ガウスは特定の場合「正17角形の定木とコンパスを用いた作図を求めるための、指数17の円分方程式」を扱ったが、この多項式のガロワ群がアーベルであることはこの方法の本質的な要素であった (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1492606081/53
54: 現代数学の系譜11 ガロア理論を読む [sage] 2017/04/21(金) 07:45:08.74 ID:fI8jm0e8 >>52 どうも。スレ主です。 ご苦労さまです。たまに茶々入れしてくれたまえ。実は、>>53 を投下するとき、「埋め立て」だと言われ書けなかったんだ 「埋め立て」と言われればそうなんだが・・(^^ 何をやっているかと言えば、 >>18-19 から引用 ”18 名前:132人目の素数さん[sage] 投稿日:2017/04/20(木) 01:11:56.89 ID:Wvaf9XTt [1/2] 位数がnの巡回群をC_nであらわす。 位数がp^2のアーベル群は、C_p×C_p かC_p^2 かのどちらか。 位数がp^3のアーベル群は、C_p×C_p×C_p またはC_p×C_p^2または、C_p^3 のどれか。 ...などとなる。これらの中で巡回群になるのは一番あとの群だけ。 これは、群論の一般論から分かるし、もっと泥臭くも確かめられるだろう。 要は(Z/p^nZ)*の部分群でpべきの位数を持つものが、C_p^i のように巡回群であることを言うのが肝。 p=2の場合は例外。 19 名前:132人目の素数さん[sage] 投稿日:2017/04/20(木) 01:13:33.13 ID:Wvaf9XTt [2/2] モンスターが とか言ってるけど、たかがアーベル群の話なんて、それと比べたら 1+1=2 レベルの話だわw ” (引用終り) これ直感的には正しいと思うんだわ(^^; それの検証をしているんだ。どっかに同じことを書いているところがあるだろうと・・。自分で証明? それは私のレベルでは無理だな(^^; これ証明は無理だが、正しそうということは分かる おっちゃんの>>23よりは、深いことを言っている・・(^^; おっちゃんの>>23の前半は、有限群論の目次を写した程度だからね その程度なら、私スレ主でも書ける・・(^^ http://rio2016.5ch.net/test/read.cgi/math/1492606081/54
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s