17/04/18 22:57:16.09 oOHrLD0y.net
◆QZaw55cn4cさん、どうも。スレ主です。
まあ、私は、既約剰余類群や原始根はあまり詳しくないが
上記を読んだ感じでは、石井先生のP94からの既約剰余類群の証明は、バグ取り切れていないように感じる
なので、先に>>526-527の既約剰余類群のところを読むようにお薦めします（＾＾；
614: ◆QZaw55cn4c
17/04/19 05:34:08.97 OGtKfjJc.net
>>530
>>526 は併行してすでに読んでいました．こっちの原始根の存在定理は背理法ですね
石井は高木貞治のものを噛み砕いていました
今は石井第二章で苦闘しているところです．
再構成できるほどには染み込んでいませんが
もう私は伸びないでしょうが，ひと時の没頭をくれる本を求めています
はごたえはあるほうがいい，でもギャップは少ない方がいい
プロの皆様，商機だと思います
615:１３２人目の素数さん
17/04/19 05:58:52.36 EI4BHEQ3.net
>>531
おっちゃんです。
数学をしたいなら、いきなりガロア理論からはじめるより
基本的な線形代数と微分積分からはじめるのがいい。
616:１３２人目の素数さん
17/04/19 07:54:48.05 IzsVF5Bb.net
>>532
ありがとうございます。その方向でやっていきたいです
工科系（電気系）としての素養はあるつもりですが、やっぱり数学はとまってしまった感が強い
線形代数は2次の場合からのアナロジーですまし、解析学系はフーリエ変換ラプラス変換をつまみ食い（だって昔はそんな授業だったし）
617:現代数学の系譜11 ガロア理論を読む
17/04/19 12:36:08.82 gLi5Ebjw.net
>>531
◆QZaw55cn4cさん、どうも。スレ主です。
>石井は高木貞治のものを噛み砕いていました
ああ、そうなん？ それ、持っているかもしれんが・・・、まあ探すのも面倒だし・・・
で、本題
ともかく、石井先生のP94からの既約剰余類群の証明は、石井先生甘く見ていたんだろうね
>>518 URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
「ガロア理論の頂を踏む」（石井俊全） qzaw55cn4cさん yahoo! 知恵袋 2017/2/10
（回答
618:補足） doahoyasanさん2017-02-10 19:39:10 大変失礼しました。かなり見当違いなコメントだったようです。 (Z/p^nZ)*は位数がp^(n-1)(p-1)の群なので、ｍはその約数です。ｍ＝s(p-1)とおいてるので、ｓはｐ＾iの形をしてますね。 mod pで考えるとｐ乗するのは何もしないことと同じなので ｇ＝ｈ＾ｓ≡ｈ(mod p) です。ｈが原始根であることから0≦k＜ｌ<p-1に対して g^k≡h^kとg^l≡h^lは合同でないことになります。 質問者qzaw55cn4cさん 2017-02-10 1. (Z/p^nZ)*は位数が{p^(n-1)｝(p-1)の巡回群 2. フェルマーの小定理 a^p ≡ a(mod p) の二つから h^s ≡ h (mod p) がいえるわけですね． ただ，この教科書では，この二つとも現在の段階から後に（おそらくは現在の結果を利用して）証明するようですので，循環論法になるような気がします． (引用終り) 所感： １．解答者 doahoyasanさん レベル高いね ２．”(Z/p^nZ)*は位数がp^(n-1)(p-1)の群なので、ｍはその約数です。ｍ＝s(p-1)とおいてるので、ｓはｐ＾iの形をしてますね。 mod pで考えるとｐ乗するのは何もしないことと同じなので ｇ＝ｈ＾ｓ≡ｈ(mod p) です。ｈが原始根であることから0≦k＜ｌ<p-1に対して g^k≡h^kとg^l≡h^lは合同でないことになります。” は秀逸ですね。納得だな ３．だが、質問者が指摘しているように、”(Z/p^nZ)*は位数がp^(n-1)(p-1)の群なので、ｍはその約数”は、この命題を証明する過程での議論なので、この結果は証明に使えない。 ４．石井先生は、P85でオイラー関数Φを使わない証明を考えたという。だが、P94辺りの証明は甘かったのでは？ そう思うスレ主です。
619:現代数学の系譜11 ガロア理論を読む
17/04/19 12:41:10.29 gLi5Ebjw.net
>>531
◆QZaw55cn4cさん、どうも。スレ主です。
>もう私は伸びないでしょうが，ひと時の没頭をくれる本を求めています
まあ”伸び”という客観評価指標はないからね～（＾＾；
主観的評価指標で良いんじゃない？（＾＾；
以前分からなかった数学が分かるようになったとか・・
ガロア読んで次の本を読むことになったとかでも・・（＾＾；
620:現代数学の系譜11 ガロア理論を読む
17/04/19 12:45:45.06 gLi5Ebjw.net
>>533
おっちゃん、どうも、スレ主です。
>数学をしたいなら、いきなりガロア理論からはじめるより
>基本的な線形代数と微分積分からはじめるのがいい。
おっちゃん、ほんと代数弱いからな～（＾＾；
古典ガロア（特に５次代数方程式の非可解程度）なんて、初歩の初歩だよ（＾＾；
621:現代数学の系譜11 ガロア理論を読む
17/04/19 13:35:33.46 gLi5Ebjw.net
>>533
◆QZaw55cn4cさん、どうも。スレ主です。
>工科系（電気系）としての素養はあるつもりですが、やっぱり数学はとまってしまった感が強い
>線形代数は2次の場合からのアナロジーですまし、解析学系はフーリエ変換ラプラス変換をつまみ食い（だって昔はそんな授業だったし）
それで十分だと思う。必要性を感じたときに、すぐ必要な基礎のところに戻って、勉強するのが良いんじゃないかな？
具体的目的や目標もなしに、だらだら読むより、数倍以上のスピードと集中で読めるし頭に入るよ（＾＾；
まあ、大学の講義で教えて貰えて、試験－単位あげるというサイクルに乗っている人は別として・・
>今は石井第二章で苦闘しているところです．
>再構成できるほどには染み込んでいませんが
第二章って”群”かい？
ここは結構やさしく書いてあるよ。大学用テキストなら、１０～１５ページくらいかな？ 高校生向きに100ページ近く、具体例を豊富に入れて丁寧に説明しているね
「再構成できるほどには染み込んで」とかいわず、さっさと先に進んで、分からないところにまた戻った方が良いよ（＾＾；
精読と多読の併用だよ（＾＾；
622:現代数学の系譜11 ガロア理論を読む
17/04/19 13:36:44.99 gLi5Ebjw.net
>>537 補足
あれ？ガロア理論の頂きが、第１０章「５次方程式の解の公式はない」？ 正確には違うが、世間一般の説明では、よくこう言われるね（＾＾
「５次方程式の解の公式はない」は、アーベルが到達した”頂き”だよね。ガウスも「そんな証明はすぐ出来そうだ、余白がないので、予言だけ書く」とDAに記したとか
ガロア第一論文の頂きは、P>=5の奇数次数の代数方程式が可解の場合に線型群（メタ巡回群）
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
アーベル?ルフィニの定理（アーベル?ルフィニのていり、英: Abel?Ruffini theorem）は、五次以上の代数方程式には解の公式が存在しない、と主張する定理である。
同時期の貢献としては他にガウスのものがある。ガウスは不可能性の直接証明こそ行わなかったが、それが不可能問題であることに確信を持っていた。学位論文でそのことに触れた他、『整数論』(1801年) の中でも「不可能なのはほぼ確実」と断定している。
代数的に可解な系列として円分方程式論を展開しているが、これはアーベルやガロアの理論のプロトタイプといえるものであり、両者に影響を与えた。なおガウスは後年アーベル、ガロアの論文を受け取っているが、全く関心を示さなかったという。ガウスにとって既に重要な問題とは見えなかったらしい。
(引用終り)
URLﾘﾝｸ(yoshiiz.blog129.fc2.com)
よしいずの雑記帳 meta-abelianとmeta-cyclic 2013-06-06 : 代数学
(抜粋)
meta-cyclic
群 GG が meta-cyclic であるとは, GG の正規部分群 NN が存在して, NN と G/NG/N の両方が巡回群であるときにいう. meta-cyclic ならば meta-abelian である.
meta-cyclic な群は超可解群 (supersolvable group) である.
623:現代数学の系譜11 ガロア理論を読む
17/04/19 13:38:50.02 gLi5Ebjw.net
>>538 訂正
ガロア第一論文の頂きは、P>=5の奇数次数・・・
↓
ガロア第一論文の頂きは、P>=5の素数次数・・・
624:現代数学の系譜11 ガロア理論を読む
17/04/19 13:40:53.60 gLi5Ebjw.net
>>539 追加補足
ガロア第一論文の頂きは、P>=5の奇数次数の代数方程式が可解の場合に線型群（メタ巡回群）に限るということ
「五次以上の代数方程式には解の公式が存在しない」というアーベルの結果は、当然ガロアは知っていた（＾＾
625:現代数学の系譜11 ガロア理論を読む
17/04/19 13:43:13.04 gLi5Ebjw.net
>>540 コピペしたらまた同じ間違い ｍ（_ _）ｍ
ガロア第一論文の頂きは、P>=5の奇数次数の代数方程式が可解の場合に線型群（メタ巡回群）に限るということ
「五次以上の代数方程式には解の公式が存在しない」というアーベルの結果は、当然ガロアは知っていた（＾＾
↓
ガロア第一論文の頂きは、P>=5の素数次数の代数方程式が可解の場合に線型群（メタ巡回群）に限るということ
「五次以上の代数方程式には解の公式が存在しない」というアーベルの結果は、当然ガロアは知っていた（＾＾
626:現代数学の系譜11 ガロア理論を読む
17/04/19 13:46:43.64 gLi5Ebjw.net
線型群（メタ巡回群）という言い方は、最近はしないと思うが
守屋本（倉田本もか）で使っていたように思う
627:１３２人目の素数さん
17/04/19 17:02:44.55 EI4BHEQ3.net
>>536
>おっちゃん、ほんと代数弱いからな～（＾＾；
>古典ガロア（特に５次代数方程式の非可解程度）なんて、初歩の初歩だよ（＾＾；
正規部分群が分からないスレ主にいわれる筋合いはないw
何せ、時枝問題のときはスレ主は極限が分からないことを実証してしまったからな。
現代数学概説Ⅰでもガロア理論は抜けているが、この本の内容は役に立つ。
群環体、多元環、ホモロジー代数、その他位相やカントール流の実数論なども或る程度扱っている。
スレ主が今している既約剰余類の話を論理立ててするにも、本当は他にも
直積や直和位の概念か、イデアルや可換環位の概念は最低限必要になる。
628:１３２人目の素数さん
17/04/19 17:11:05.51 EI4BHEQ3.net
>>537
>大学用テキストなら、１０～１５ページくらいかな？
やはり、スレ主は群論の初歩が分かっていない。
群論のテキストは10～15ページでは終わらないんだが。
629:１３２人目の素数さん
17/04/19 19:22:49.48 IzsVF5Bb.net
>>534
＞＞>石井は高木貞治のものを噛み砕いていました
＞まあ探すのも面倒だし・・・
ネットに一部掲示されていました。
URLﾘﾝｸ(ja.wikisource.org)
630:現代数学の系譜11 ガロア理論を読む
17/04/19 22:27:59.44 gLi5Ebjw.net
新スレ立てました
ここは、いま510KBだ
512KBでパンクでしょう（＾＾
あとは新スレへ
ｽﾚﾘﾝｸ(math板)
現代数学の系譜11 ガロア理論を読む30
631:現代数学の系譜11 ガロア理論を読む
17/04/19 22:28:54.63 gLi5Ebjw.net
>>545
◆QZaw55cn4cさん、どうも。スレ主です。
よび名が無いと不便なので、仮にC++さんと呼ばせてもらおう
『初等整数論講義』高木貞治だね、これは持ってなかったと思う。高木の「代数学講義」はもっているが
それで、実は今日東京へ行く用があって、丸善で見てきたんだ（＾＾；
その私の見立ては、「原始根，指数」の章より、「合同式解法の概論」の章が、今回の証明には当てはまると思うよ
まあ、細かい話は新スレで
URLﾘﾝｸ(ja.wikisource.org)
URLﾘﾝｸ(ja.wikisource.org)
初等整数論講義/第1章/合同式解法の概論
632:現代数学の系譜11 ガロア理論を読む
17/04/19 22:31:27.93 gLi5Ebjw.net
>>543-544
やれやれ、相変わらずのおっちゃんだね
まあ、ガロアスレでは、愛すべきキャラだから、目くじらたてても仕方ないが・・（＾＾
>何せ、時枝問題のときはスレ主は極限が分からないことを実証してしまったからな。
まだ言ってるの？ まだ時枝記事が、ガセだって理解できてないのか？（＾＾；
633:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています