17/04/18 20:33:12.85 Hg94HBcp.net
>>508
いや，販促としては最高の対応でしょう
ターゲット層はロジックが改訂されたとなったら，同じ本をまた買う，私のように
５刷まで出た理由だと思いますぅ
601: ◆QZaw55cn4c
17/04/18 20:36:39.57 Hg94HBcp.net
>>509
高校数学で止まった身としては，
「ですます」「だ，である」の字数の少ない方を採用し，浮いた字数をロジックのギャップを埋める方向で努力していただければありがたいです．
初等整数論の部は歯ごたえばっちりの求めていたものでした
通勤電車の中で没頭しています，気がつくと目的駅だった，という経験を重ねています．
この路線で歯ごたえがあり，でも初学者にやさしい，ギャップの小さいものが求められていると考えています．
プロの皆様，商機です！
602: ◆QZaw55cn4c
17/04/18 20:38:18.51 Hg94HBcp.net
>>502
実際に出版社のほうでつけた題だ，とのことです，本のあとがきによると
>>503
いいんです，これこそマーケティングの成果でしょう
プロはそっぽをむき，初学者ホイホイのいいネーミングだと思いました
603: ◆QZaw55cn4c
17/04/18 20:40:16.73 Hg94HBcp.net
私も自分スレを持っています，よかったら遊びに来てください
ｽﾚﾘﾝｸ(tech板)
ｽﾚﾘﾝｸ(tech板)
ｽﾚﾘﾝｸ(tech板)
ｽﾚﾘﾝｸ(tech板)
ｽﾚﾘﾝｸ(tech板)
604: ◆QZaw55cn4c
17/04/18 20:49:42.28 Hg94HBcp.net
この石井という人は，二匹目の泥鰌を狙ってきました
URLﾘﾝｸ(www.amazon.co.jp)
「2013年8月に出した「ガロア理論の頂を踏む」では，多くの心温かい読者に救われることとなりました．
執筆への感謝のお手紙と一緒に，気がついた誤植を表にして送っていただいた読者の方が
何人もいらっしゃったのです．他の本では考えられないことです．
いまでも，読者の皆さんとこのような機会をいただいた運命に感謝の念が絶えません．」
さあ，今回はどうなるか？！
605:１３２人目の素数さん
17/04/18 22:02:26.71 xznVMu36.net
ちゃちゃ入れと認識してしまうということはスレ主の馬鹿は健在だなｗ
まあこいつの場�
606:㍽ぬまで治らないでしょう
607:現代数学の系譜11 ガロア理論を読む
17/04/18 22:06:50.90 oOHrLD0y.net
>>518-523
◆QZaw55cn4cさん、どうも。スレ主です。
レスありがとう
私の感じでは、レベル：（上）知恵袋（gooなども）＞＞２CH（下）やね（＾＾；
>ターゲット層はロジックが改訂されたとなったら，同じ本をまた買う，私のように
> ５刷まで出た理由だと思いますぅ
私なら、友人に勧めて、５刷を買わせて、それを見せて貰う
それが、５刷まで出た理由だと
>初等整数論の部は歯ごたえばっちりの求めていたものでした
>通勤電車の中で没頭しています，気がつくと目的駅だった，という経験を重ねています．
◆QZaw55cn4cさん、まじめなんやね。それと、プログラム（ロジック）に強いんだね
多分若い。まだまだ伸びるよ。がんばってね（＾＾
今のスレでは余白が少なくなったが、次のスレで、プログラムの話題も上げるよ
遊んで行ってください
二匹目は、相対論か・・
一般性相対論ね・・
石井先生みたいな人は貴重やね・・（＾＾；
608:現代数学の系譜11 ガロア理論を読む
17/04/18 22:18:51.45 oOHrLD0y.net
>>518 & >>520 補足
ご存知かもしらんが、ここらを見ておくと参考になるよ（＾＾
URLﾘﾝｸ(www.epii.jp)
既約剰余類群と原始根 epii Last modified: 2016/05/16 22:31:02
(抜粋)
n がどのようなときに原始根が存在するのだろうか？という疑問に答えるのが本記事のゴールです。
はじめに議論を厳密にするために「既約剰余類群」と呼ばれる群を定義します。 それを用いて原始根の定義を厳密に与え、まずはじめに nn が素数の場合には必ず原始根を持つことを示します (定理 1) 。 最後に原始根を持つような nn の必要十分条件と、その証明を与えることで上の疑問の解答を与えます (定理 2) 。
1用語説明
1.1既約剰余類群
1.2原始根
2n が素数のときには原始根が必ず存在すること
3原始根の存在する必要十分条件
3.1十分であること
3.2必要であること
609:現代数学の系譜11 ガロア理論を読む
17/04/18 22:31:28.47 oOHrLD0y.net
>>526
追加で、ここら美的数学のすすめ id:TSKiさんも分かり易すくて面白いよ（＾＾；
URLﾘﾝｸ(biteki-math.hatenablog.com)
既約剰余類群の部分群 - 美的数学のすすめ id:TSKi 2015-04-14
URLﾘﾝｸ(biteki-math.hatenablog.com)
原始根の存在定理－剰余類の基本的な性質（その3） - 美的数学のすすめ id:TSKi
URLﾘﾝｸ(biteki-math.hatenablog.com)
原始根の存在定理（その2） - 美的数学のすすめ id:TSKi
URLﾘﾝｸ(biteki-math.hatenablog.com)
≪ 円分体のガロア対応- 美的数学のすすめ id:TSKi
URLﾘﾝｸ(biteki-math.hatenablog.com)
ガロア対応超入門 ≫- 美的数学のすすめ id:TSKi
「円分体論はガロア理論に吸収されてしまうのでしょうか？そうではありません。上のガロア対応にはガロア理論を超えたさらに驚くべき内容が隠されています。次回は、円分多項式がmodpmodpでどのように因数分解されるか考えてみます。」
URLﾘﾝｸ(biteki-math.hatenablog.com)
円分多項式のmod pにおける因数分解 - 美的数学のすすめ id:TSKi
610:現代数学の系譜11 ガロア理論を読む
17/04/18 22:40:10.55 oOHrLD0y.net
ついでに、2004年の卒論だが、ご参考まで
URLﾘﾝｸ(www.math.sci.hiroshima-u.ac.jp)
平成15年度 卒業論文 m を法とする既約剰余類群の指数を 与えた時の m の上限について
広島大学 理学部 数学科 小林 智一 平成 16 年 2 月 10 日
（概要）
これらの結果を利用すると、p = 2, n = 1 のとき、(Z/pn)× は可約であ
ることが分かる。さらに、2 以上の任意の整数 m に対して m を素因数分
�
611:ｷることで、m を法とする既約剰余類群 (Z/m)× の群構造が分かる。 本論文では、2, 3, 4 節で上に挙げた関係式を導出し、5 節で (Z/m)× の 群構造を考察する。その際、「 (Z/m)× が巡回群になるための m の必要 十分条件 」と「 (Z/m)× の指数 (元の最大位数) 」の 2 つについて考え た。そして 6, 7 節では、指数に着目し、新しい問題として「(Z/m)× の指 数 n を与えた時の m の上限」について考えた。
612:現代数学の系譜11 ガロア理論を読む
17/04/18 22:52:38.25 oOHrLD0y.net
さらに追加
ご存知「物理のかぎしっぽ」より
URLﾘﾝｸ(hooktail.sub.jp)
URLﾘﾝｸ(hooktail.sub.jp)
[2016-12-05] Contribution/響きあうガロアとガウス―正 17 角形の作図問題（第２版）(上野孝司 著)
コラム：やはり、人類の至宝はオイラーなのか
私にとっては、オイラーの関数Φ(n)(n と互いに素な整数の個数）こそが、人類の至宝であるようなような気がする。
オイラーの関数のすごさは、群論、体論、初等整数論、解析、線形代数学のそれぞれの初歩を知らないとわからない。
このようにオイラーの関数が現代数学の重要な箇所で顔を現わすその美しさは優に芸術作品に匹敵する。
オイラーの名を冠する数学・物理用語は多い。このように考えてくると、いずれにしても人類の至宝はオイラーなのかも知れない。
URLﾘﾝｸ(hooktail.sub.jp)
[2017-01-05] Contribution/置換群に翻弄された方程式の可解性―ガロア理論概論（第２版）(上野孝司 著)
筆者は別稿『響きあうガロアとガウス―正17 角形の作図問題』で、ガロアの理論とガウスの考えたf 項周期
（拡大体の基底）を基に正17 角形が作図できることを示したが、本稿ではガロア理論を再考することによって
代数方程式の可解性について概略を述べる。
613:現代数学の系譜11 ガロア理論を読む
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:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています