19/06/21 09:03:20.42 IAGgp49X.net
すべての根が同じ数体に属しているからといって
「すべての根が任意の一つの根と基礎体の数から有理的にあらわされる」
などということにはならない（笑
お前はサル石か（笑
807:哀れな素人
19/06/21 09:05:42.42 IAGgp49X.net
このことはアーベルも証明していたことである（笑
無知を晒すサル（笑
IDを変えないと恥ずかしいのか（笑
808:１３２人目の素数さん
19/06/21 09:10:30.75 AgF0eOq3.net
>>752
>すべての根が同じ数体に属しているからといって
「すべての根が属する数体が存在する」というならそれは自明な主張。
方程式の分解体でもいいし、複素数体でもいい。
「すべての根が同じ数体に属しているという状況が必ず成立する」
と言うなら、そんな主張は偽である。
809:哀れな素人
19/06/21 09:14:28.04 IAGgp49X.net
素数次の既約方程式なら、
すべての根は同じ数体に属しているだろう（笑
違うというなら反例を挙げてみよ（笑
810:１３２人目の素数さん
19/06/21 09:17:11.46 AgF0eOq3.net
>>755
>違うというなら反例を挙げてみよ（笑
ですから、3次方程式ですでに不成立です。
ご自分で調べてみてください。
811:哀れな素人
19/06/21 09:20:12.78 IAGgp49X.net
お前が知っているならお前が挙げればいい（笑
またそうやって逃げ回る気か（笑
812:１３２人目の素数さん
19/06/21 09:33:56.55 AgF0eOq3.net
x^3-2=0
という方程式を考えると、これは有理数体Q上既約。
αを2の実の3乗根、ωを1の原始3乗根とすると
3つの根はα,ωα,ω^2α とあらわされる。
このときQ(α)≠Q(ωα).
なぜなら、Q(α)は実数体Rの部分体だがQ(ωα)はそうではない。
813:哀れな素人
19/06/21 09:46:00.32 IAGgp49X.net
なるほど（笑
しかしガロアはωのような数は既知の定数として認めよう、
というようなことを書いていた。
何はともあれ、素数次の既約方程式なら、
すべての根は同じ数体に属しているだろう、
というのは僕の間違いだったと認めよう（笑
814:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 10:13:00.48 o8Z+eAtR.net
>>758-759
どうもスレ主です。
ID:AgF0eOq3は、ピエロちゃんかな
あんた、ほんとバカでヒマだね～（＾＾
（哀れな素人さん）
＞しかしガロアはωのような数は既知の定数として認めよう、
＞というようなことを書いていた。
全くその通りですね
ここ、ガロア理論の一つの重要ポイントやね
1の冪根が、「根号を用いて表示できる」を落としてはいけない
つまり、ガロア理論の基礎体kには、既に”1の冪根”は添加されている前提ね
まあ、”1の冪根”を添加していないところからスタートしても、良いけど、記述がごたごたして見通しが悪くなるだけだ
（べき根を開く毎に、1の冪根を添加していけば、同じことなんだけどね（＾＾ ）
哀れな素人さんに、一本取られているねｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
1の冪根
(抜粋)
根号を用いて表示できること、つまり方程式が代数的にも可解であることはガウスにより証明された。
815:哀れな素人
19/06/21 10:19:52.85 IAGgp49X.net
ところで、このことをよく考えると、第八節の定理の意味を、
他根が任意の二根と同じ数体に属していること、
というふうに解説する解説は間違っていることが分る。
なぜなら上の例を見ればそれが間違いであることは明白だから。
たとえば任意の二根としてωαとω^2αをとると、
αはこの数体に含まれていないからである。
ただし有理数も無理数も複素数体の一部分だ、
と考えれば話は別だが。
だから第八節の定理に関する一般の解説は
間違っているのである。
ガロアは数体のことなどを言っているのではない。
816:哀れな素人
19/06/21 10:24:02.37 IAGgp49X.net
スレ主が良いことを書いてくれた（笑
>つまり、ガロア理論の基礎体kには、
>既に”1の冪根”は添加されている前提ね
そう、ここが重要だ（笑
これを認めると、α、ωα、ω^2αは
同じ数体に属しているのである（笑
817:哀れな素人
19/06/21 10:29:12.56 IAGgp49X.net
第八節の定理をアーベルがすでに証明していたことは、
スレ主なら知っているかもしれない。
知らないなら検索してみればいい（笑
どこかに必ず載っているはずだ（笑
818:１３２人目の素数さん
19/06/21 10:32:14.89 AgF0eOq3.net
>>760
>つまり、ガロア理論の基礎体kには、既に”1の冪根”は添加されている前提ね
いや、そんな前提はないですが。
「根号による解法」を考えるとき必然的に1のべき根があらわれるので
「1のべき根の方程式は代数的に解ける」というガウスの結果は既知として議論を進めるだけです。
ちなみに貴方は「1のべき根」の定義を誤解していた前科がありますね（＾＾；
>哀れな素人さんに、一本取られているねｗ（＾＾；
いやいや、最も簡単な例を挙げたからであって
仮に1の3乗根が添加されてる前提でも、一般の3次方程式では
「すべての根は同じ数体に属している」なんてことは成立しませんね。
ご自分でお調べください（＾＾
819:哀れな素人
19/06/21 10:40:59.82 IAGgp49X.net
>>764
では反例を挙げよ（笑
ただし素数次の既約方程式だぞ（笑
一般の方程式ではないぞ（笑
820:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 10:42:48.51 o8Z+eAtR.net
>>758-759 参考
(引用開始)
x^3-2=0
という方程式を考えると、これは有理数体Q上既約。
αを2の実の3乗根、ωを1の原始3乗根とする
(引用終わり)
1の原始3乗根ωは、歴史的にはちょっと深いものがあって（下記）
三次方程式の還元不能問題なのよ（＾＾
つまり、カルダノの時代 16世紀には、複素数はまだ市民権を得ていなかった
そこで、複素数を使わないでやれないかと、苦心したけどだめだったんだ
それが、複素数が市民権を獲得する一つの要因にもなったのです
なお、基礎体を有理数体Qにとれば、2の実の3乗根αは、有理数体Qの外ということ、シンプルにちゃんと示すべきでしょ
（>>755より）
素数次の既約方程式なら、
すべての根は同じ数体に属しているだろう（笑
違うというなら反例を挙げてみよ（笑
(引用終わり)
に対する回答をするならばね
（”1の冪根”を使うと、話が混乱するから）（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
三次方程式
(抜粋)
カルダノの公式を用いると
負の数の平方根が現れる。
実数解しかないのにも関わらず、カルダノの公式では負の数の平方根を経由する必要がある。
ラファエル・ボンベリ(Rafael Bombelli)は、この場合を詳しく研究し1572年に出版した『代数学』(Algebra)に記した。形式的な計算ではあるものの、当時はまだ知られていない虚数の計算と同じであった。
カルダノはこの場合を還元不能（かんげんふのう、casus irreducibilis）と呼んだ。この還元不能の場合を回避するために様々な努力がなされたが、実は、虚数を避けて実数の冪根と四則演算を有限回用いただけで解を書き下す事は不可能であるため、全て徒労に終わった。
821:哀れな素人
19/06/21 10:48:21.07 IAGgp49X.net
念のためにいっておくが、既約方程式だぞ（笑
三次の既約方程式だぞ（笑
有理数根を一根持っている場合は既約ではないぞ（笑
822:１３２人目の素数さん
19/06/21 10:49:32.51 AgF0eOq3.net
>仮に1の3乗根が添加されてる前提でも、一般の3次方程式では
>「すべての根は同じ数体に属している」なんてことは成立しませんね。
ちなみにこれはガロア理論を理解していれば即座に分かることであって
これが分からないということは、ガロア理論がモノになってないってことです（＾＾
823:哀れな素人
19/06/21 10:53:58.24 IAGgp49X.net
>>768
バカか、お前は（笑
一般の三次方程式の話をしているのではないと
何度言えば分るのか（笑
既約方程式の話をしているのだ阿呆（笑
さあ早く反例を挙げてみろナマポニート朝鮮人（笑
824:哀れな素人
19/06/21 11:14:10.82 IAGgp49X.net
20分経過したが返答なし（笑
第八節の定理の説明ができないから、
IDと文体を変えているが、
お前がナマポ朝鮮人であることは分っているのだサル（笑
さあ早く反例を挙げてみろ（笑
一般の三次方程式ではないぞ（笑
既約三次方程式だぞ（笑
有理数根を持っている場合は既約ではないぞ（笑
825:１３２人目の素数さん
19/06/21 11:18:42.24 AgF0eOq3.net
>>769
「方程式のガロア群」と言う場合
方程式が基礎体上既約であることは予め前提になっています。
ですから、当然既約方程式の話をしています。
ガロア理論を理解していれば具体例を計算しなくても即座に分かることですが
理解されてないなら、泥くさい計算をご自分でされて確かめてみては？
わたしはそこまではお付き合い致しませんので悪しからず（＾＾
826:哀れな素人
19/06/21 11:24:22.01 IAGgp49X.net
↑そら逃げた（笑
都合が悪くなるといつもこうして逃げまくるサル（笑
三次の既約方程式で、
すべての根が同じ数体に属していない例を
早く挙げてくれ（笑
お前が挙げたωの例は同じ数体と見なしているのだぞ（笑
有理数根を持っている場合は既約ではないぞ（笑
827:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 12:21:35.53 o8Z+eAtR.net
>>766 補足 ”現在では，解が実数解の場合でも，計算の途中に虚数が必要なことは証明されています” のところ、ネット検索で、どこかに無いか探したがヒットせず 「還元不能」では、むしろ立方体について３乗根が、幾何的にコンパスと定規だけでは、作図できないの証明がヒットする 仕方ないので、自分で考えてみると（＾＾ １）ガロア理論を認める ２）三次方程式のガロア群はS3（３次対称群）を認める ３）ガロア理論より、三次方程式を解くために、二次方程式を補助方程式として解かなければいけないことを認める ４）この３つを認めると、二次の補助方程式で、判別式が負になれば、必然的に虚根を使わざるを得ない ５）３実根の場合には、二次の補助方程式の判別式が負になることが、すでに示されている ６）従って、３実根の場合には、必ず二次の補助方程式の虚根を使わざるを得ない QED と、こんな感じですかね？（＾＾ きっちり書くと、かなりの手間と分量だと思いますが ガロア理論を仮定しないで証明しようとすると大変でしょうね http://hooktail.sub.jp/algebra/CubicEquation/ 三次方程式の解の公式 [物理のかぎしっぽ] 2007/06/15 (抜粋) カルダノの公式の歴史２ 三次方程式の解の公式には， ω2, ω3 として複素数が出てきます． そして，例え三つの実数解を持つ三次方程式に対しても，公式通りに計算を進めていけば途中で複素数が顔を出します． カルダノの公式の有用性ゆえに，架空の数としてであれ，人々は嫌々ながらもついに虚数を認めざるを得なくなりました． それでも，カルダノの著書では，まだ虚数を積極的に認めるには至っていません． カルダノは，解が実数解の場合には，途中で虚数を使わなくても済む公式が存在するのではないかと考え，そのような公式を見つけようと努力したようです． (現在では，解が実数解の場合でも，計算の途中に虚数が必要なことは証明されています．) むしろ虚数を認めて積極的に使っていこうという視点の転回を最初に行ったのは，アルベルト・ジラール( Albert Girard (1590-1633) )だと言われています．
829:哀れな素人
19/06/21 12:45:06.83 IAGgp49X.net
待てど暮らせどサルからの返答なし（笑
ちなみに第八節の定理をアーベルがすでに証明していたことは、
ピーター ペジック「アーベルの証明」
の中に書かれていたと思う。
それから、このPDFにも書かれていたはずだ。
URLﾘﾝｸ(www2.tsuda.ac.jp)
830:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 12:59:44.71 o8Z+eAtR.net
>>764
ID:AgF0eOq3さん、どうもスレ主です。
＜前段＞
あんた、馬脚を露すというか、キツネのシッポが出てるというか
>>749-754で、
サル石のID:j9UjIiP4の>>740と書くスタイルを変えて書き分けている
つもりだったのだろうが
興奮して
>>764と>>768とは、書くスタイルが>>740と同じになっているよ
笑えるわ。微笑ましい～というか、つい爆笑ｗ（＾＾
＜本題＞
＞>つまり、ガロア理論の基礎体kには、既に”1の冪根”は添加されている前提ね
＞いや、そんな前提はないですが。
「そんな前提はあります」ですょ
大学のガロア理論の標準テキストではね
屁理屈強弁しても無駄無駄ｗ
＞ちなみに貴方は「1のべき根」の定義を誤解していた前科がありますね（＾＾；
いいえ、それ誤解です。相手が定義を書いていない。だから、「こういう定義か」と聞いた
で、「その定義とは違う。お前は知らないのか」と突っかかってきただけのこと
数学では、問われなくても「定義」いうべきだし、定義を問われたら「こうです」と答えるのは当然の作法です
それ、数学の作法を知らない素人ですね
＞仮に1の3乗根が添加されてる前提でも、一般の3次方程式では
＞「すべての根は同じ数体に属している」なんてことは成立しませんね。
それは、常識です
が、大学のガロア理論がしっかり頭に入っていない落ちこぼれには
横からツッコミが入るってことです
ここは、ガロアスレです、私がスレ主ですｗ（＾＾；
831:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 13:33:28.51 o8Z+eAtR.net
>>774
(引用開始)
ちなみに第八節の定理をアーベルがすでに証明していたことは、
ピーター ペジック「アーベルの証明」
の中に書かれていたと思う。
それから、このPDFにも書かれていたはずだ。
URLﾘﾝｸ(www2.tsuda.ac.jp)
(引用終わり)
ああ、下記ですね
まあ、数学的には、ちょっと違いますがね
哀れな素人さん、勉強されていますね～（＾＾
URLﾘﾝｸ(www2.tsuda.ac.jp)
クロネッカーの数論の解明
II. アーベル方程式の構成問題への道、
高瀬正仁(九州大学) 〔平成6年(1994年)3月9日]
(抜粋)
P34
ガロアはガロア対応の原理を基軸とする今日のいわゆるガロア理論の応用として、
素次数既約代数方程式の代数的可解条件を導いている。
それは、素次数既約方程式が巾根を用いて解けるためには、
諸根のうちの任意の二つが判明したとき、
他の根がそれらのこ根から有理的に導出されることが必要かっ十分である。
[同上，p. 49 .]
という定理である。
ここに表明されている「すべての根が二根の有理関数として表示されるjという形の「根の相互関係jは、
それ自体としてはガロアによる発見というわけではない。
なぜなら、ガロアに先立ってアーベルはすでに、
論文[A 2] 楕円関数論概説[クレルレ誌 4，pp. 236 -277 ; 309－348.アーベル全集1，pp 518 617.]
の中で、楕円関数の周期等分方程式の諸根の間にこのよう様式の相互関係を観察しているからである。
アーベルの言葉は、
また、モジュラ－方程式は、それらのうちの二根を用いて有理的に書き表される。
〔アーベル全集1.p . 527 . 証明は同上，pp.599-600.
ただし、ここで「モジュラ一方程式jとあるのは「周期等分方程式」の誤記である。
アーベJレ全集に附されているシローの註釈(同上，p. 318)参照。)
というふうである。
周期等分方程式の次数は素数ではないが、
アーベルが自にしたこのような根の相互関係は、
そのまま素次数既約方税式の代数的可解条件を与えている。
そのような洞察がガロアの発見の実費的内容を形成するのである。
832:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 13:39:58.94 o8Z+eAtR.net
>>776
＞ピーター ペジック「アーベルの証明」
これか
この本は見てないね（＾＾
URLﾘﾝｸ(www.watto.nagoya)
2005-09-03 わっと (id:watto) 13年前
ピーター・ペジック、山下純一(訳)『アーベルの証明―「解けない方程式」を解く』（日本評論社）
アーベルの証明―「解けない方程式」を解く
作者: ピーターペジック,Peter Pesic,山下純一
出版社/メーカー: 日本評論社
発売日: 2005/03
833:１３２人目の素数さん
19/06/21 13:44:05.36 93iGgUvq.net
>>775
>「そんな前提はあります」ですょ
>大学のガロア理論の標準テキストではね
ガロア理論はガロア拡大であれば成立するのであって、基礎体に1のべき根が予め添加されてるなんて前提はないですよ。
大体、基礎体に1のべき根が添加されてる前提なら、Q上の1のべき根の体=円分体 のガロア理論などはナンセンスになるでしょう。おかしいと思わないんですか？
結局スレ主は何年もガロア理論の名前を掲げてスレやっててもガロア理論を自分のモノにできておらず、どこまで行ってもコピペバカなだけ 笑
834:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 14:59:43.72 o8Z+eAtR.net
>>778
＞>大学のガロア理論の標準テキストではね
＞ガロア理論はガロア拡大であれば成立するのであって、基礎体に1のべき根が予め添加されてるなんて前提はないですよ。
ピエロ必死だな
すぐ釣られる（＾＾；
確かに、ガロア理論をどこまで広く解するかだが
代数方程式のべき根による可解性に限れば、基礎体に1のべき根が予め添加されてるってことです
使い分け、お忘れなく、落ちこぼれさん（＾＾
835:哀れな素人
19/06/21 16:39:18.91 IAGgp49X.net
ID:93iGgUvq
↑これはサル石（笑
都合が悪くなるとすぐにIDを変える（笑
スレ主よ、サル石が第一論文を読んでいないのは明白だ（笑
読んでもどうせ理解できないだろうが（笑
836:哀れな素人
19/06/21 16:50:05.86 IAGgp49X.net
僕は第一論文の第七節までは何とか自力で理解した。
しかし第八節がどうも理解できなかったので、
「アーベルの証明」とか高瀬正仁のPDFを探して読んだ。
しかしこれらにも第八節の証明は書かれていなかった。
だから結局、第八節も自分で考えて理解したのである。
とにかく一般の解説本の第八節の解説はピントがずれている。
ガロアは数体のことなどを言っているのではない。
ただし一般の解説も、半分は、かなり真相に迫っている。
真相に迫ってはいるが、本当に理解しているかは、怪しい（笑
837:哀れな素人
19/06/21 16:56:41.74 IAGgp49X.net
僕は自費出版する直前に、念のために、
金重明「ガロアの論文を読んでみた」を読んでみた。
しかし金重明の第八節の解説は一般の解説のコピペで
何の参考にもならなかった。
金重明は第七節の解説を完全に省略している。
おそらく理解できなかったに違いない（笑
なにしろ金重明は、第二節の意味を理解するのに
数年かかったと書いていた（笑
838:１３２人目の素数さん
19/06/21 18:42:30.03 lthRxa9E.net
【乞食速報】
｢楽.天スーパ一ポイントスクリ一ン」
インスト一ルするだけで150Pがゲット出来る！！
Androidはアプリインストール
※iPhoneユーザーはWeb版のみ有効(要検索)
完了後、コ一ドをお持ちですか？の画面で
「i9W Pjs」←スペース抜き
を入力する
URLﾘﾝｸ(i.imgur.com)
【使える店舗】
マック、ミスド、ココイチ、すき家、大戸屋、ダイコク、ツルハ、出光、コスモ石油、Joshin、ビックカメラ
楽天市場、ラクマ、楽天ペイ(各コンビニ、松屋、エディオン、ソフマップ、コジマ)
839:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 18:53:46.39 o8Z+eAtR.net
>>781-782
哀れな素人さん、どうもスレ主です。
>僕は第一論文の第七節までは何とか自力で理解した。
>しかし第八節がどうも理解できなかったの
まあ、あそこは難しいですよね、確かに（＾＾
下記の彌永昌吉の本は、ダメ元で見て置いたらどうでしょう。町の図書館で借りられると思いますので
（下記などを見ると、やはり難しいようですが）
URLﾘﾝｸ(booklog.kinokuniya.co.jp)
2013-12-28
『ガロアの時代 ガロアの数学』時代篇＆数学篇 彌永昌吉 丸善出版
加藤弘一
「数学篇」は3章にわかれる。
第2章「ガロアの理論」は純粋数学の基礎として発展した現代の群論の視点から再構成したガロア理論だが、これもまったく歯が立たない。結城浩『数学ガール ガロア理論』の1～9章までと展開が似ているような気がするので、『数学ガール』を読み終えてからもう一度チャレンジしたが、やはりわからない。
『数学ガール』の群の解説は非常に明快でわかったようなつもりになったが、ラスボスのガロア理論となるとやはりわかっていなかった。
第3章「ガロアの主著」は科学アカデミーに提出した三度目の論文の全訳をもとに、ガロアがどのように証明したかを再検証している。最初はまったく歯が立たなかったが、金重明『１３歳の娘に語るガロアの数学』と、ガロアの論文を逐条的に解説している『数学ガール ガロア理論』の10章を読んだ後にながめたら、何をやっているかがうっすらとわかるような気がした（気がしただけで理解できたわけではない）。
考える材料をたくさん提供してくれる本だ。数学に自信のない人は「数学篇」は飾っておくだけになってしまうかもしれないが、「歴史篇」の方は十分有益だろう。
840:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 19:11:04.66 o8Z+eAtR.net
>>781-782
哀れな素人さん、どうもスレ主です。
>僕は第一論文の第七節までは何とか自力で理解した。
>しかし第八節がどうも理解できなかったの
まあ、易しい説明も難しいので、難しくいうと
１）下記のシローの定理を使うのが、数学の筋としては一番すっきりしていると思います
２）p=5に限って説明します
３）５次方程式の一般の場合、ガロア群はＳ５（5次対称群）で位数120.。これはすぐＡ５（5次対称群）に落とせて、位数60
４）さて、５次方程式の特殊の場合で可解になるのは、２項方程式 x^5＝a で、一つの根はx＝a^(1/5) （当然だが、a^(1/5)は有理数ではないとする）
この場合、位数5の巡回群になる（ここらは、群論の初歩で、ガロアも当然知っていた）
５）問題は、Ａ５（5次対称群）位数60の部分群で、これを群Bと名付けると、群B⊃C5（位数5の巡回群）で、最大の群は何か？
つまり、繰り返すが、Ａ５の部分郡かつC5（位数5の巡回群）を含む、最大の群Bは何か？
６）これを、結論を言えば、5次では>>714になる
あとは、一般の素数ｐでどうなるかですね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
シローの定理 (Sylow theorems)
(抜粋)
素数 p に対し、群 G のシロー p-部分群とは、G の極大 p-部分群である、つまり、p-群である（任意の元の位数が p の冪である）であるような G の部分群であって、G の他のどんな p-部分群の真部分群でないようなものである。与えられた素数 p に対するすべてのシロー p 部分群の集合を Sylp(G) と書くことがある。
シローの定理はラグランジュの定理の部分的な逆を主張する。ラグランジュの定理は任意の有限群 G に対して G のすべての部分群の位数（元の個数）は G の位数を割り切るというものであり、シローの定理は有限群 G の位数の任意の素因数 p に対して G のシロー p 部分群が存在するというものである。
有限群 G のシロー p 部分群の位数は、n を G の位数における p の重複度として、pn であり、また位数 pn の任意の部分群は G のシロー p 部分群である。
（与えられた素数 p に対して）群のシロー p-部分群は互いに共役である。与えられた素数 p に対して群のシロー p-部分群の個数は mod p で 1 と合同である。
841:１３２人目の素数さん
19/06/21 19:47:12.85 j9UjIiP4.net
>>779
>代数方程式のべき根による可解性に限れば、
>基礎体に1のべき根が予め添加されてるってこと
Coxのどこにそんなこと書いてあった？
何ページ？文章コピペするなら今でしょ！
842:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 20:35:18.49 /EBmWqgW.net
>>785 訂正
５）問題は、Ａ５（5次対称群）位数60の部分群で、これを群Bと名付けると、群B⊃C5（位数5の巡回群）で、最大の群は何か？
つまり、繰り返すが、Ａ５の部分郡かつC5（位数5の巡回群）を含む、最大の群Bは何か？
５）問題は、Ａ５（5次対称群）位数60の部分群で、これを群Bと名付けると、群B⊃C5（位数5の巡回群）で、最大の可解群は何か？
つまり、繰り返すが、Ａ５の部分郡かつC5（位数5の巡回群）を含む、最大の可解群Bは何か？
意味分ると思うが、
最大の群→最大の可解群
な（＾＾；
843:１３２人目の素数さん
19/06/21 20:38:19.42 J44w7Ifz.net
>>735
>・時枝の数当て解法とは、「可算無限数列があれば、その中にある有限のD番目の数で、D番目以外の数の情報から、D番目の数が、確率1-εで決定できる」というものである
>・これを、関数ｆの関数値の可算無限数列に当てはめると、「ある有限のD番目の数で、D番目以外の数の情報から、D番目の数が、確率1-εで決定できる」となる
>関数ｆ：R→Rでは、どのf(x)の値も他の数とは無関係に決めうる。それが、現代数学の関数の定義。よって、「D番目以外の数の情報から、D番目の数が、確率1-εで決定できる」とは、明らかに矛盾
D番目の数を決定するのはプレーヤー1であり、プレーヤー1はどんな実数に決めてもよいこととなっています。
プレーヤー2はプレーヤー1が決めた数を言い当てるだけです。
数当てができると何故関数論と矛盾するのかの説明が皆無なのでゼロ点です。
落ちこぼれスレ主はまた落第しました。（＾＾；
844:１３２人目の素数さん
19/06/21 21:12:55.87 j9UjIiP4.net
>>786
答えないところをみると
恩師の件、関数論の件、につづく
ウソの可能性大だな
スレ主はここぞというとき大嘘つく
正真正銘のサイコパス
845:１３２人目の素数さん
19/06/21 21:15:08.13 j9UjIiP4.net
スレ主
「自然数全体から１つ数を選んできて、それがあるｎより大きい確率」
時枝記事
「１００個の自然数から１つ数を選んできて、それが他の９９個より大きい確率」
全然異なる問題を同じと思いこむスレ主は底抜けに頭悪い（＾＾
846:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 21:16:42.58 /EBmWqgW.net
>>786
(引用開始)
>代数方程式のべき根による可解性に限れば、
>基礎体に1のべき根が予め添加されてるってこと
Coxのどこにそんなこと書いてあった？
何ページ？文章コピペするなら今でしょ！
(引用終り)
Cox和訳下巻 8章 べき根による可解性
のところ
なお、ガロアの原論文もそう
哀れな素人さんが言っている通り
そのことも、Cox本にある
なお、英文でも同じ章だ（当たり前だが（＾＾； ）
追伸
おれは、紙の本からは、めったに「文章コピペ」はしない
マウスの右クリックコピーコマンドが使えないからねｗ（＾＾
847:１３２人目の素数さん
19/06/21 21:20:52.03 J44w7Ifz.net
俺も
>代数方程式のべき根による可解性に限れば、
>基礎体に1のべき根が予め添加されてるってこと
のようなバカ本があるなら知り
848:たいので書名教えて?
849:１３２人目の素数さん
19/06/21 21:25:56.94 J44w7Ifz.net
>代数方程式のべき根による可解性に限れば、
>基礎体に1のべき根が予め添加されてるってこと
これはつまりQ上やR上の代数方程式の可解性は扱えないってこと？
バカ過ぎない？
850:１３２人目の素数さん
19/06/21 21:29:18.10 j9UjIiP4.net
>>792-793
スレ主がわざと文章書かないのはウソだからだろうな
サイコパスだから平気でウソをつく
そして嘲笑される（＾＾（＾＾（＾＾
851:１３２人目の素数さん
19/06/21 21:30:09.59 J44w7Ifz.net
>>791
>Cox和訳下巻 8章 べき根による可解性 のところ
その本持ってないんだけどネットで見れない？英語版でもいよ
>代数方程式のべき根による可解性に限れば、
>基礎体に1のべき根が予め添加されてるってこと
理論の組み立ての過程の話じゃなくて？
最終成果がそれだったらアホ過ぎだと思うよ？
852:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 21:42:34.57 /EBmWqgW.net
>>791 追加
＞おれは、紙の本からは、めったに「文章コピペ」はしない
＞マウスの右クリックコピーコマンドが使えないからねｗ（＾＾
まあ、追加で下記大阿久先生でも、どうぞｗ
マウスの右クリックコピーコマンドは使えるが、そのピエロちゃんのレベルなら、最初から読め（＾＾；
URLﾘﾝｸ(lab.twcu.ac.jp)
ガロア理論入門 大阿久 俊則
URLﾘﾝｸ(lab.twcu.ac.jp)
大阿久 俊則 (おおあく としのり)
東京女子大学 現代教養学部 数理科学科 数学専攻
<付録：ちょっと面白い>
URLﾘﾝｸ(www.jstage.jst.go.jp)
計算の視点から見たD加群理論 大阿久 俊則 数学 / 50 巻 (1998) 2 号 /
853:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 21:53:37.66 /EBmWqgW.net
>>792-795
"俺も"って、おまいら本気？ まじ？（＾＾
ガロア理論により、代数方程式の可解性の理論を勉強したことない？ｗ（＾＾
おーい、C++さん、石井の頂き本では、１のべき根添加の扱いどうだった～？ｗ
URLﾘﾝｸ(blog.goo.ne.jp)
とね日記
ガロア理論の頂を踏む： 石井俊全 2015年03月22日
(抜粋)
URLﾘﾝｸ(blogimg.goo.ne.jp)
内容紹介：
本書は、「一般の5次方程式が根号で解けないことをきちんと証明する」ことを頂上(ピーク)として、そこに向かって一歩一歩、しっかりと登っていく本です。
前提としているのは、高校数学の知識です。それがしっかりと理解できていれば読めるようになっています。ピークへの過程に出てくる定理には、証明が全て書いてあります。
一番易しいルートを選択しながら、途中から急に難しくなることなく、最初から最後まで、同じ丁寧さで解説していきます。 2013年刊行、504ページ。
本書のおおまかな流れは次のとおり。
URLﾘﾝｸ(blogimg.goo.ne.jp)
第４章から第５章にかけては、一般に「最小分解体道」、「正規道」、「アルティン道」という３つのルートが知られている。本書はこのうち「最小分解体道」に沿って解説を行っている。
854:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/21 21:56:52.02 /EBmWqgW.net
>>797
＞"俺も"って、おまいら本気？ まじ？（＾＾
ああ、"俺も"って、成りすましの芝居か
そうだろうな。こんなバカばかりじゃ、どうしようもない
時枝不成立がわからんはずだわｗ（＾＾；
855:１３２人目の素数さん
19/06/21 22:03:45.68 J44w7Ifz.net
>>796
あのね（＾＾；
そのPDFはガロア理論のほんのさわりを紹介してるだけｗ
12章が1ページ半しか無いじゃん、方程式の可解性が1ページ半で書けるかｗ
お前数学書で勉強したこと無いの？（＾＾；
856:１３２人目の素数さん
19/06/21 22:07:22.52 J44w7Ifz.net
>>798
ぺら�
857:ﾁぺらのPDFで勝ち誇るスレ主は f(x)∈Q[X] の可解性について何も言えずに惨敗（＾＾
858:１３２人目の素数さん
19/06/21 22:10:23.66 j9UjIiP4.net
>>796
URLﾘﾝｸ(lab.twcu.ac.jp)
「定理 12.1
K をすべての 1 のべき乗根を含むような C の部分体，
f(x) ∈ K[x] を 2 次以上の多項式とする．
このとき，方程式 f(x) = 0 が K 上べき根によって解けるための必要十分条件は
f(x) の K 上の分解体 L のガロア群 Gal(L/K) が可解群となることである．」
なんで「すべての 1 のべき乗根を含むような C の部分体」なんて前提してるんだ？
別にKは標数0の体なら何でもいいだろう
859:１３２人目の素数さん
19/06/21 22:16:05.07 J44w7Ifz.net
>すべての 1 のべき乗根を含むような C の部分体
またまた大そうご立派な制約を設けたことでｗ
ありがた迷惑な定理だな（＾＾；
高校生が見たら「ガロア理論ショボっ」って思うだろうな（＾＾；
860:１３２人目の素数さん
19/06/21 22:23:55.98 J44w7Ifz.net
>>801
>仮定より 1 の ni 乗根は K に含まれるので，どれを選んでも以下の議論に影響はない．
なんか知らんけど1ページ半というスペースに収めるには制約を設けて証明をはしょる
必要があったんでは？
861:１３２人目の素数さん
19/06/21 22:28:45.44 j9UjIiP4.net
>>802
＞またまた大そうご立派な制約を設けたことでｗ
＞ありがた迷惑な定理だな（＾＾；
でしょ？なんかキモチワルイよね
だってあんな制約要らないでしょ
862:１３２人目の素数さん
19/06/21 22:33:09.53 j9UjIiP4.net
>>803
そういうことみたいだね
ただ、本質的ではないよね
863:１３２人目の素数さん
19/06/21 22:37:40.84 j9UjIiP4.net
ま、結論が「四則演算とべき根で解けないこと」だから
基礎体が多少大きくても別にかまわないんだけど
これが証明の都合だってことを理解しないのはダメだよねｗ
864:１３２人目の素数さん
19/06/21 22:44:41.91 UCvlm9pa.net
>>801-805
やれやれ。
方程式の可解性への応用だけなら、
1の冪根を最初から添加済みに（ついでに標数も０に）した方が、
理論が簡単になることぐらい、分かるだろうに。
どうしてもディスりたいんだね。・・・
865:１３２人目の素数さん
19/06/21 23:00:01.83 j9UjIiP4.net
>>807
1の冪根を最初から添加済みにするのが
都合がいいのはわかりますよ
あたかも不可欠の条件のように語るから
そんなことないだろといってるだけのこと
866:１３２人目の素数さん
19/06/21 23:02:23.67 j9UjIiP4.net
ディスるだけなら、「恩師」の件だけしつこく攻撃するよ
あれは最低最悪のウソだからね
ああいうウソを平気でつけるのがサイコパスだよ
867:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 06:31:54.03 cA6sFXL+.net
>>807
ID:UCvlm9paさん、どうも。スレ主です。
あなたは、例の問題提出をした方かな（>>5） （＾＾
(引用開始)
方程式の可解性への応用だけなら、
1の冪根を最初から添加済みに（ついでに標数も０に）した方が、
理論が簡単になることぐらい、分かるだろうに。
(引用終り)
同意です
バカとしか言いようが無い
＞どうしてもディスりたいんだね。・・・
半分は、そうらしいが
もう半分は、バカでしょ
上記を突っ込んでも、逆効果
代数方程式のガロア理論を知る人からみれば、”1の冪根”に関して、このツッコミは自爆でしょｗ（＾＾
868:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 06:58:24.28 cA6sFXL+.net
>>799-806
この流れを見ると、
>>801 ID:j9UjIiP4 [17/22]
>>803 ID:J44w7Ifz [10/10]
は、別人か。
さすがに、ここまで手の込んだ一人芝居もないだろうから
しかし、二人とも、”時枝不成立が分らない”くらいの同じ程度の低レベルだということは、よく分った（＾＾
>>806
"ま、結論が「四則演算とべき根で解けないこと」だから
基礎体が多少大きくても別にかまわないんだけど
これが証明の都合だってことを理解しないのはダメだよねｗ"
笑えるわ（＾＾；
普通、代数方程式のガロア理論のテキストとしては
869: 結論を、「5次方程式が代数的に可解でない」 を目標として、最短コースを取る まず、5次方程式のガロア群が対称群S5であることを示す そのためには、”1の冪根”は添加済みにしておく そうしないと、S5がすっきり言えず、ごたごたするから その上で、S5→A5（5次交代群）へ行って、可解でないと結論付ける アルティン本がどうだったか忘れたけど、この流れだったと思うよ（あとで確認しておくよ） （アルティン本も（大阿久先生同様）、米女子大生への「5次方程式が代数的に可解でない」ことの講義テキストだったらしい。過去スレにある）
870:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 07:06:11.86 cA6sFXL+.net
>>795
>>Cox和訳下巻 8章 べき根による可解性 のところ
>その本持ってないんだけどネットで見れない？英語版でもいよ
えーと、>>714から再録
URLﾘﾝｸ(books.google.co.jp)
URLﾘﾝｸ(books.google.co.jp)
Galois Theory David A. Cox - 2011 - ?Mathematics
リンクは二つで、どちらも、google本
前者は、キーワード付きのリンクです
前者は、長すぎて通らないかもと思って、短い後者も付けたけど、前者もOKだった
覗いてみて（＾＾
871:１３２人目の素数さん
19/06/22 07:47:56.72 YUvJH0sp.net
>>796のテキストの書き方があまりよくないというのは、全くその通りだよ。
よく言えば速習コースだが、誤解を招きかねない。
少なくとも「1のべき根の方程式は代数的に解ける」というガウスの結果への言及は必要なはず。（ガロアはそうしている。）
>まず、5次方程式のガロア群が対称群S5であることを示す
>そのためには、”1の冪根”は添加済みにしておく
>そうしないと、S5がすっきり言えず、ごたごたするから
デタラメ。そんなことはない。スレ主は全然分かってないな。
1のべき根を添加済みにしておくのは根号解法における都合で、根号の添加が常にクンマー拡大になるようにするためなんだよ。
872:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 07:50:06.84 cA6sFXL+.net
>>785＆>>787 補足
> ５）問題は、Ａ５（5次対称群）位数60の部分群で、これを群Bと名付けると、群B⊃C5（位数5の巡回群）で、最大の可解群は何か？
> つまり、繰り返すが、Ａ５の部分郡かつC5（位数5の巡回群）を含む、最大の可解群Bは何か？
Coxの14章 「可解置換群」で、扱われているね
14.1 でp次の既約多項式を扱っている
その記載は簡潔である（理解できるかどうかは、別として）
873:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 07:52:09.52 cA6sFXL+.net
>>813
＞ 1のべき根を添加済みにしておくのは根号解法における都合で、根号の添加が常にクンマー拡大になるようにするためなんだよ。
だから、「根号解法における都合」は、当然あるよ
代数方程式の可解性を論じるんだからさｗ（＾＾
874:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 08:15:41.57 cA6sFXL+.net
>>815 補足
＞ 1のべき根を添加済みにしておくのは根号解法における都合で、根号の添加が常にクンマー拡大になるようにするためなんだよ。
石井本（>>797）を見ると、6章「根号で表わす」の7～9で”クンマー拡大”を扱っているね
なお、9の終りのところで
”ポイントは
「予め十分な１のｎ乗根を仕込んでおくこと」・・”
と記載されています
なお、アルティン本（>>811）は、すぐ見つからなかった（どなたか手持ちの方がいれば、ご確認ください）
875:１３２人目の素数さん
19/06/22 08:16:28.25 HQLwMRVl.net
>>811
>まず、5次方程式のガロア群が対称群S5であることを示す
>そのためには、”1の冪根”は添加済みにしておく
>そうしないと、S5がすっきり言えず、ごたごたするから
これは違うな
5次方程式のガロア群が対称群S5であるというだけなら
例えば、勝手な元c1,c2,c3,c4,c5を解とする方程式fを
876:考えて 上記5つの解の基本対象式s1,s2,s3,s4,s5を付加した体を 基礎体とすればいい（s1,s2,s3,s4,s5は方程式の係数として現れる）
877:哀れな素人
19/06/22 08:26:15.13 kzQ2LjvJ.net
ID:J44w7Ifz
↑これはナマポ朝鮮人（笑
要するに第一論文を読んでいないからアホを晒している（笑
ガロアは現代の抽象代数学のような
厳密な数体というものを考えていたわけではないのである（笑
ωのような冪根を用いれば因数分解できるなら、
そういう方程式は可約としよう、というふうに考えていたのだ（笑
そういうことを論文の冒頭に書いている（笑
要するに第一論文を知らずに
大学の教科書で習ったことを丸暗記するだけのアホだから
アホレスを連投することになる（笑
878:哀れな素人
19/06/22 08:33:21.25 kzQ2LjvJ.net
シローの定理、名前だけは知っているが、よく知らない（笑
しかし第八節の定理はシローの定理などとは
何の関係もないのである（笑
他根が二根と同じ数体に属しているなら解ける、
というような意味でもない。
可解群なら解ける、というのは半分は当たっているが、
そんなのは第八節の具体的な説明にはならない。
879:１３２人目の素数さん
19/06/22 08:34:10.80 YUvJH0sp.net
>>817はおっちゃんじゃないの？（違ってたらゴメン^^）
>勝手な元c1,c2,c3,c4,c5を解とする方程式fを考えて
勝手な元をどっから持ってくるんだい？
そうやって作った多項式が基礎体上の既約多項式である保証は？
逆でしょ。基礎体上の"一般方程式"を考えれば、ガロア群は対称群になっているし
分解体の存在は代数的には簡単なことだから
「根が存在するか？」という問題に悩む必要もない。
880:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 08:41:51.87 cA6sFXL+.net
>>784 補足
＞下記の彌永昌吉の本は、ダメ元で見て置いたらどうでしょう。町の図書館で借りられると思いますので
哀れな素人さん、どうもスレ主です。
彌永昌吉の本
URLﾘﾝｸ(booklog.kinokuniya.co.jp)
2013-12-28
『ガロアの時代 ガロアの数学』時代篇＆数学篇 彌永昌吉 丸善出版
を見ています
P221辺りから第八節の解説ですね
P223に「線形」と出てくるので、線形群として扱っていますね
あと、P272で、原論文に沿った形で、註記の形で
再び第八節の解説です。これも合わせて読むと分り易いかも
あと、P274で、倉田令二郞氏の『ガロア方程式論（１）』河合ブックレット1987
に言及され、同じ証明が出ているとあります
河合ブックレットは持ってないのですが
倉田令二郞氏『ガロアを読む』日本評論社（1987）の
「素数次既約方程式」p163からが、同様の話と思います
図書館で読めるなら、お薦めします（大学の図書館ならあるかも）（＾＾
881:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 08:44:50.54 cA6sFXL+.net
>>817
どうも。スレ主です。
(引用開始)
これは違うな
5次方程式のガロア群が対称群S5であるというだけなら
例えば、勝手な元c1,c2,c3,c4,c5を解とする方程式fを考えて
上記5つの解の基本対象式s1,s2,s3,s4,s5を付加した体を
基礎体とすればいい（s1,s2,s3,s4,s5は方程式の係数として現れる）
(引用終り)
じゃ、
それで本書いて出版しなよ
絶賛されるかもね（＾＾；
882:１３２人目の素数さん
19/06/22 08:47:37.89 HQLwMRVl.net
>>820
>基礎体上の"一般方程式"を考えれば
まさにその一般方程式を考えたんだがね
要するに１のべき根は関係ない
883:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 08:48:15.71 cA6sFXL+.net
>>818-819
哀れな素人さん
ご苦労さまです
>>820ね
まあ、あなたには参考になるかどうか分らんが（＾＾
884:哀れな素人
19/06/22 08:51:29.07 kzQ2LjvJ.net
>>821
もちろんその二冊は読んでいる（笑
しかし分らなかった（笑
なにしろ抽象代数学の用語を駆使した解説で、
フツーの人が読んで分るような代物ではない（笑
おまけに、書いた当人が本当に分かっているかというと、
どうも怪しい（笑
第八節の意味は、難解な解説などしなくても
簡単に説明できるのである（笑
885:哀れな素人
19/06/22 09:01:04.23 kzQ2LjvJ.net
何度も例として挙げるが、ここに渡部一己という人の書いた
第一論文解説PDFが上がっている。
URLﾘﾝｸ(sites.google.com)
こんなものを読んで理解できる人がいるのか。
もちろん数学科の学生ならある程度は理解できるだろ。
しかし一般人に理解できるような代物ではない。
実際この人も、これを書くのに何年もかかっているだろう。
三森明夫氏だって、解説を書くのに何年もかかっている
886:。 そんなものを一般人が理解できるわけがない。
887:１３２人目の素数さん
19/06/22 09:02:28.37 HQLwMRVl.net
>>822
>勝手な元をどっから持ってくるんだい？
まずこれは愚問
勝手な元c1,…,cnが基礎体に付加された体を分解体とするから
＞そうやって作った多項式が基礎体上の既約多項式である保証は？
s1,…,snをある体に付加したものを基礎体としている
既約性についてはs1,…,snが基礎体上で代数的に独立とすればいい
＞「根が存在するか？」
根から逆に方程式をつくってるから、根の存在は自明
まったく悩む必要がない
888:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 09:04:01.12 cA6sFXL+.net
>>825
哀れな素人さん
どうも。スレ主です。
＞もちろんその二冊は読んでいる（笑
なるほど、かなり勉強されたんですね
第八節は難しいですね、確かに
普通、数学科でも、ここを避けてますから
難しいし、他との関連が薄いし
彌永本より易しい解説は難しいかも（＾＾
889:１３２人目の素数さん
19/06/22 09:05:54.96 HQLwMRVl.net
スレ主はそもそも
「方程式ｆがべき根で解ける」⇔「方程式ｆのガロア群が可解群」
という関係が理解できてないんじゃないか？
890:哀れな素人
19/06/22 09:08:58.56 kzQ2LjvJ.net
これは三森明夫氏の第一論文解説だ。
URLﾘﾝｸ(mgalois.html.xdomain.jp)
これは抽象代数学の用語を使わず、
高校数学の範囲で理解できるように書かれている。
しかしこれでもフツーの人にとってはかなり難しいだろう。
根気よく読めば分かるかもしれないが、
たいていの人は途中で放り出すだろう。
だからこんなのは、本当にやさしい解説書ではないのだ。
891:１３２人目の素数さん
19/06/22 09:13:41.60 YUvJH0sp.net
>>827
おかしい というかむしろメチャクチャ。
892:１３２人目の素数さん
19/06/22 09:21:37.77 HQLwMRVl.net
>>831
正直言って、n次の一般方程式のガロア群がn次対称群Snというのは別に難しくない
で、nが5以上のとき、Snが可解群でない、というのは群論の問題
893:１３２人目の素数さん
19/06/22 09:34:34.03 YUvJH0sp.net
根から逆に方程式を作っていいなら、√2と√3を根とする方程式を作ってもいいはずだが
√2を√3に移すようなガロア群の作用は存在しない。
ガロア群の作用というのは、もっとナチュラルに存在するものなんだよ。
>>817にはそれが分かってないように見える。
894:哀れな素人
19/06/22 09:57:56.41 kzQ2LjvJ.net
金重明は文学部卒で渡部一巳という人はたぶん工学部卒、
三森明夫は医学部卒だ。
つまり畑違いの人がガロアに興味を持って解説書を書いているのだ。
解説を書くために抽象代数学を一所懸命に勉強した上で
書いているのだろう。
その抽象代数学の知識が却って邪魔をして、
平易な解説が書けないのである。
あるいはどこかに自分の知識を衒おうという気持ちがあるから、
一般人向けの平易な解説が書けない。
895:１３２人目の素数さん
19/06/22 10:03:15.07 HQLwMRVl.net
>>833
>根から逆に方程式を作っていいなら、
>√2と√3を根とする方程式を作ってもいいはずだが
作れる
(x-√2)(x-√3)がそう
>√2を√3に移すようなガロア群の作用は存在しない
基礎体として何を考えてますか？
896:１３２人目の素数さん
19/06/22 10:07:15.94 HQLwMRVl.net
>>835
式を展開してなかったね
(x-√2)(x-√3)
＝x^2-(√2＋√3)x+√6
ここまで書けば
「基礎体として何を考えてますか？」
の意味がわかる筈
897:１３２人目の素数さん
19/06/22 10:17:50.07 YUvJH0sp.net
>>836
√2+√3が基礎体に含まれるってことは
1/(√2+√3)=√3-√2も含まれるよね。
とすると、√2,√3も個別に含まれちゃうね。
既約じゃないじゃん 笑
898:１３２人目の素数さん
19/06/22 10:24:03.93 HQLwMRVl.net
>>837
>既約じゃないじゃん
ええ、だからそういう関係がない元を設定しないと
一般方程式にはなりませんよ
理解できてよかったですね 笑
899:１３２人目の素数さん
19/06/22 10:26:26.55 HQLwMRVl.net
>>833
＞ガロア群の作用というのは、もっとナチュラルに存在するものなんだよ。
アンナチュラルな元を持ってきたら、そりゃ対称群にはなりませんよ
気づけてよかったですね 笑
900:１３２人目の素数さん
19/06/22 10:52:41.05 HQLwMRVl.net
(小声で)ここだけの話、√２と√３っていったとき
「ああ、なんか企んでるな此奴」と思ったけど、
1/(√2+√3)=√3-√2と聞いて
こんな簡単な罠に引っかかって
正直アホじゃん俺と思いました
ま、でも、ここには書くけどね てへぺろ☆(・ω<)
901:１３２人目の素数さん
19/06/22 11:02:58.65 YUvJH0sp.net
余計な煽りですね。
どっかで書き込み見たことあるマ〇シンってひとかと思いましたよ。
902:☆(・ω<)
19/06/22 11:03:19.89 HQLwMRVl.net
今 俺の中で何かが弾けた！
そうか、アホになればいいんじゃん！
ということでアホっぽいHNつけました☆(・ω<)
ちなみにT大卒じゃなくN大卒、という設定で（設定かよ！）
あっ、T大でも「海」のほうならいいか！（ひでぇ）
903:１３２人目の素数さん
19/06/22 11:05:35.97 YUvJH0sp.net
>>833はバカにしたんじゃないんですよ。
分かってないのかなと思って、余計なお世話で書いたまでです。m(__)m
904:１３２人目の素数さん
19/06/22 11:07:37.42 YUvJH0sp.net
>>842
弾けなくていい 笑
ネットジャンキーやめた方がいいのでは。
905:☆(・ω<)
19/06/22 11:09:14.84 HQLwMRVl.net
>>843
気にしないで！実際、バカだから！
なんもわかってない うん たしかにその通り
あなたのようなリコウな人から教えてもらえて嬉しいデス
・・・あー、なんかとっても楽になったぞ☆(・ω<)
906:☆(・ω<)
19/06/22 11:12:20.35 HQLwMRVl.net
>>844
＞ネットジャンキーやめた方がいいのでは
いい忠告ですね（マジ）
・・・ただほかに趣味がなくて（鬱）
あなたは５ｃｈ以外になんか趣味あります？
907:☆(・ω<)
19/06/22 11:19:16.19 HQLwMRVl.net
…ということで
「こうすればネットジャンキーやめられる！」
という方法を募集します（早っ！）
ネタじゃなくてマジですよ
908:１３２人目の素数さん
19/06/22 11:20:30.17 YUvJH0sp.net
>>846
ドライブとか？ 温泉とか？ 結構気が晴れますよ。
数学も勿論考えてますが、これは趣味ですかね？
世間で趣味が数学とか言ったらドン引きされますね 笑
909:☆(・ω<)
19/06/22 11:26:55.90 HQLwMRVl.net
>>848
ドライブ・・・免許は持ってるんですが運転したことなくて（－－
温泉・・・ああ、これはいいですね 考えときます
数学・・・素晴らしい趣味じゃないですか！
でもバカには敷居が高い・・・
ちなみにどんなことやってるんですか？
バカにも分かる程度に易しく説明オナシャス
910:１３２人目の素数さん
19/06/22 11:43:02.05 YUvJH0sp.net
>>849
ズバリ空間概念を変える研究 ってトンデモですな 笑
つまりですね、やってることは数論だったり計算なんですが
チマチマしてくるので、大きな目標があった方がいいかなと
いずれダメ出ししてもらいますかね...
911:☆(・ω<)
19/06/22 11:56:59.11 HQLwMRVl.net
ほう、空間概念を変える研究ですか
で、空間のどんな概念を、どうやって変えようと？
＞やってることは数論だったり計算なんですが
数論！スゲェ！俺には無理な分野だ！
＞いずれダメ出ししてもらいますかね...
１つの成功は９９９９の失敗があってはじめて得られるものですからね
・・・お、オレ、今いいこといった☆(・ω<)←勘違い
912:１３２人目の素数さん
19/06/22 11:59:21.28 YUvJH0sp.net
ちなみにバカとは思っておりません。
むしろ評価しております。
AIとして雇いたいくらいです 笑
ネットやSNSがにぎわうのは
人間は本来コミュニーケーションが好きで
感情が大部分なんですね。
それを認めた上でってことですね。
それでも数学の勉強が続けられるのか...
913:☆(・ω<)
19/06/22 11:59:47.46 HQLwMRVl.net
まあ、世の中何がウケるかわかんないですよ
ここでも巨大数とかいうスレがあるじゃないですか
はじめは「なんかヘンなことやってる連中がいるなあ」と
おもってましたがだんだん世間に認められるようになりましたからねぇ
914:１３２人目の素数さん
19/06/22 12:02:48.42 AOz9wxEs.net
私が言ってる通り、弱い男は何しても無駄。黒死病を
撒き散らす袋の鼠よ、女性からの扱いは厳しいよ。
だから諦めて全て開き直るか、強くなって見返すか、
二択なの。女性に意識されたいなら女性に適合すべき
。
ありのままの姿なんてダメ。日本の充電器を海外であ
りのまま使おうとしても無理でしょ
13年の月日って長いですよね。
まだ東京では副都心線が開通しておらず、あれから街
並みも、社会も、私達も変わった。
しかし、弱者男性の地位は変わっていなかった。13年
経っても不変の叩かれ役ポジション。
結局大衆の波に逆らわず、流れるプールで何も考えず
漂流するのが幸せなんだろうな。3S政策みたいなもの
で、お仕着せの娯楽に従えばいい。
男が偉くて女性を下に見たい社会なら、もう仕方ない
から何も考えず男を利用するだけ。社会に適合すると
はそういう事。まじめに考えても損するだけ
良い子のみほちゃん
URLﾘﾝｸ(mobile.twitter.com)
(deleted an unsolicited ad)
915:☆(・ω<)
19/06/22 12:05:05.60 HQLwMRVl.net
>>852
いや、ここだけの話、バカって楽ですよ（＾＾
私もその昔、数学科というところで学んでたんですが
どうしても興味が向かない分野ってのがあって
その一つがガロア理論だったんですね（をひ
ああ、こりゃ俺、数学無理だなと思って
計算機関係に方向転換しましたけどね
自分ももういい齢だし、数学の勉強とか無理ですわ
若い頃にも頑張れなかったのに齢とって頑張れるわけない（＾＾
916:☆(・ω<)
19/06/22 12:14:43.70 HQLwMRVl.net
＞弱い男は何しても無駄。
＞諦めて全て開き直るか
強い女はニガテ
だから半径３ｍ以内には近寄らないｗ
917:１３２人目の素数さん
19/06/22 12:16:48.42 JGyvKN1G.net
おっちゃんです。
>>820
＞>>817はおっちゃんじゃないの？（違ってたらゴメン^^）
違う。
918:☆(・ω<)
19/06/22 12:19:17.98 HQLwMRVl.net
「AI」に対抗して思いついた言葉
NF＝natural fool
あっ、クソ、先に使われてた！
URLﾘﾝｸ(tower.jp)
919:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 12:50:26.34 cA6sFXL+.net
>>817 戻る
てへぺろ☆(・ω<)さんか
どうも。スレ主です。
(引用開始)
>>811
>まず、5次方程式のガロア群が対称群S5であることを示す
>そのためには、”1の冪根”は添加済みにしておく
>そうしないと、S5がすっきり言えず、ごたごたするから
これは違うな
5次方程式のガロア群が対称群S5であるというだけなら
例えば、勝手な元c1,c2,c3,c4,c5を解とする方程式fを考えて
上記5つの解の基本対象式s1,s2,s3,s4,s5を付加した体を
基礎体とすればいい（s1,s2,s3,s4,s5は方程式の係数として現れる）
(引用終り)
考え直して見ると、あなたの言われる通りだね（＾＾；
５次方程式の５つの根 s1,s2,s3,s4,s5 の基本対象式
これは、５次方程式の係数そのものだからね
なので、
>>811 ＜訂正版＞
普通、代数方程式のガロア理論のテキストとしては
結論を、「5次方程式が代数的に可解でない」
を目標として、最短コースを取る
まず、5次方程式のガロア群が対称群S5であることを示す
ベキ根拡大によっては、S5に到達できないことをいう
そのためには、”1の冪根”は添加済みにしておく
そうしないと、S5にベキ根拡大で到達できないすっきり言えず、ごたごたするから
その上で、S5→A5（5次交代群）へ行って、可解でないと結論付ける
アルティン本がどうだったか忘れたけど、この流れだったと思うよ（あとで確認しておくよ）
（アルティン本も（大阿久先生同様）、米女子大生への「5次方程式が代数的に可解でない」ことの講義テキストだったらしい。過去スレにある）
訂正版以上
こんなところでどうでしょうかね（＾＾
920:☆(・ω<)
19/06/22 12:55:32.17 HQLwMRVl.net
>>859
悪い！バカになってから記憶が５分持たないんで
過去のカキコのこといわれてもわかんねぇんだわｗ
あっ、そうそう、オレは時枝記事は成立してると思ってる？
理由？だってそのほうが非常識で面白いじゃん☆(・ω<)
さぁ、祭りだ！祭りだ！！
URLﾘﾝｸ(www.ok.ru)
921:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 13:04:41.65 cA6sFXL+.net
>>855
てへぺろ☆(・ω<)さん
どうも。スレ主です。
＞私もその昔、数学科というところで学んでたんですが
＞計算機関係に方向転換しましたけどね
なるほど
実は、ここ３年くらい論争している
時枝問題（数学セミナー201511月号の記事）
スレ35 ｽﾚﾘﾝｸ(math板:12-18番)
というのがあってね（＾＾
気が向いたら、一言二言コメントしていってください
数学科を名乗る人は、いままで殆ど居なかったので、
貴重なチャンスなので
先に行っておき
922:ますが、 私は、時枝先生の解法は不成立と思っています
923:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 13:08:04.01 cA6sFXL+.net
>>860
てへぺろ☆(・ω<)さん
どうも。スレ主です。
>>861 被ったな（＾＾
結論は、反対だけど、面白いね（＾＾
じゃ、遊んで行って下さい、よろしくｗ（＾＾；
924:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 13:11:48.12 cA6sFXL+.net
>>860
てへぺろ☆(・ω<)さん
どうも。スレ主です。
”成立してると思ってる？”
であって
”成立してると思ってる！”
ではないと
時枝先生が記事を書いたときの気分に近いのかもね
いま、どう思っているか知りたいところだがｗ（＾＾；
925:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 13:19:37.93 cA6sFXL+.net
>>863 補足
てへぺろ☆(・ω<)さんは、
下記で、”(3) 懐疑派”から成立の方へ重心が移っているのかね（＾＾
（なお、スレ主氏 ->(4)ですけどね（＾＾； ）
（参考）
スレ65 ｽﾚﾘﾝｸ(math板:544番)
544 名前：１３２人目の素数さん[sage] 投稿日：2019/05/14(火) 22:40:31.89 ID:3yjTocWT [2/2]
おそらく、単純な二分法ではうまくいかないだろう。
この問題における各人の立場は、おそらく次の4通りに分けることが出来るだろう。
(1) 成立派(自明派)
時枝記事は単純なカード宛ゲームである。
さらに確率論を排除することも可能。
(2) 成立派(選択公理否定派)
選択公理を用いるとランダムなはずの数を
言い当てることが出来ることが示された。
やはり、選択公理を認めるのは危険である。！！
(3) 懐疑派
明らかに直感に反するこのパラドックスは、
何らかの否定的な解決がなされるべきである。
パラドックス解消の解決策は今だ持っておらず、
いくつかの問題点を指摘するに留まっている。
(4) 不成立派
時枝解法は誤りである。
このパラドックスは否定的に解決できるものである。
この分類の元では、私は現時点では(3)である。
そして、私の見立てでは次のようになる。
ここの成立派の諸君 ->(1)
Hart氏 ->(2)or(3)(or(4))
時枝氏 ->(3)
Pruss氏,Tony Huyn氏 ->(3)or(4)?
スレ主氏 ->(3)?
(引用終り)
926:１３２人目の素数さん
19/06/22 13:24:27.27 qx9A7R/m.net
>>816
だからクンマー拡大にするにはあらかじめ１のべき乗根の添加が必要ってことだろ？
そこを否定してる訳じゃなくて、ガロア拡大をクンマー拡大に限定する必要は無いって言ってるだけなんだけど。
そうでないと標数０の体で一般に成立する理論にならない。
分かってないねスレ主は。
927:１３２人目の素数さん
19/06/22 13:47:23.76 qx9A7R/m.net
>>861
>私は、時枝先生の解法は不成立と思っています
ではそう思う根拠をどうぞ
尚、あなたの既存の根拠は全て否決されましたので繰り返さないようお願いしますね
928:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 14:08:58.70 cA6sFXL+.net
>>865-866
下記、ご両名のどちらか知らぬが、ご苦労さん
がんばってなｗ（＾＾；
(>>799-805より、引用）
799 ：2019/06/21(金) 22:03:45.68 ID:J44w7Ifz [7/10]
あのね（＾＾；
そのPDFはガロア理論のほんのさわりを紹介してるだけｗ
12章が1ページ半しか無いじゃん、方程式の可解性が1ページ半で書けるかｗ
お前数学書で勉強したこと無いの？（＾＾；
800 ：2019/06/21(金) 22:07:22.52 ID:J44w7Ifz [8/10]
>>798
ぺらっぺらのPDFで勝ち誇るスレ主は f(x)∈Q[X] の可解性について何も言えずに惨敗（＾＾
801 ：2019/06/21(金) 22:10:23.66 ID:j9UjIiP4 [17/22]
>>796
URLﾘﾝｸ(lab.twcu.ac.jp)
「定理 12.1
K をすべての 1 のべき乗根を含むような C の部分体，
f(x) �
929:ｸ K[x] を 2 次以上の多項式とする． このとき，方程式 f(x) = 0 が K 上べき根によって解けるための必要十分条件は f(x) の K 上の分解体 L のガロア群 Gal(L/K) が可解群となることである．」 なんで「すべての 1 のべき乗根を含むような C の部分体」なんて前提してるんだ？ 別にKは標数0の体なら何でもいいだろう 802 ：2019/06/21(金) 22:16:05.07 ID:J44w7Ifz [9/10] >すべての 1 のべき乗根を含むような C の部分体 またまた大そうご立派な制約を設けたことでｗ ありがた迷惑な定理だな（＾＾； 高校生が見たら「ガロア理論ショボっ」って思うだろうな（＾＾； 803 ：2019/06/21(金) 22:23:55.98 ID:J44w7Ifz [10/10] >>801 >仮定より 1 の ni 乗根は K に含まれるので，どれを選んでも以下の議論に影響はない． なんか知らんけど1ページ半というスペースに収めるには制約を設けて証明をはしょる 必要があったんでは？ 804 ：2019/06/21(金) 22:28:45.44 ID:j9UjIiP4 [18/22] >>802 ＞またまた大そうご立派な制約を設けたことでｗ ＞ありがた迷惑な定理だな（＾＾； でしょ？なんかキモチワルイよね だってあんな制約要らないでしょ 805 ：2019/06/21(金) 22:33:09.53 ID:j9UjIiP4 [19/22] >>803 そういうことみたいだね ただ、本質的ではないよね (引用終り)
930:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 14:13:37.20 cA6sFXL+.net
因みに、ガロア原論文は極めて短いけどな
稲永本に、あるけどな、ガロア原論文
なお、長い証明が、改良されて短くなることは、しばしばあるｗ（＾＾
931:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 14:14:25.90 cA6sFXL+.net
>>868 訂正スマン
稲永本に、あるけどな、ガロア原論文
↓
彌永本に、あるけどな、ガロア原論文
（＾＾；
932:１３２人目の素数さん
19/06/22 14:30:01.58 qx9A7R/m.net
>>876
>下記、ご両名のどちらか知らぬが、ご苦労さん
>がんばってなｗ（＾＾；
反論を放棄すると？ 間違いを認めると？
ではスレを閉じるという約束を履行して下さい
933:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 15:14:50.13 cA6sFXL+.net
ご苦労さん（＾＾
934:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 15:16:42.08 cA6sFXL+.net
暴れて良いよ
どぞｗ（＾＾
935:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 15:17:41.16 cA6sFXL+.net
そろそろ、次スレなんで
ピエロちゃんに、使役を残そうと思っているんだｗ（＾＾
936:☆(・ω<)
19/06/22 15:25:12.99 HQLwMRVl.net
>>863
誤 成立してると思ってる？
正 成立してると思ってる！
でオナシャス
>>864だと（１）だね ガチで（＾＾
要するにさ、自然数の集合
｛ｄ１、ｄ２、・・・、ｄ１００｝
があって、大きさの順が
ｄ１＞ｄ２＞・・・＞ｄ１００
ってなってたとして、そこから一つｄｉを選んて
それ以外の数の最大がＤとした場合
ｄｉがｄ２からｄ１００ならＤ＝ｄ１だから
ｄｉ＜Ｄ＝ｄ１
だけど、ｄｉがｄ１なら
ｄ１＝ｄｉ＞Ｄ＝ｄ２
で、うっかりｄ１を選ぶ確率は１／１００じゃん
逆にいえば、これどういう方法で確率０にできんの？
ってくらい不成立は難しいんだけど？
ランダムなのにいつもｄ１を選んじゃうわけ？
わぉ、イッツ・ミラクル！！！☆(・ω<)
937:☆(・ω<)
19/06/22 15:33:57.05 HQLwMRVl.net
>>873
スレ主に使役たのんでいい？ｗ
ガロア第一論文の第八節？の説明オナシャス
あ、コピペじゃなく、全部、スレ主の地の文で
え、間違ったら恥ずかしいからヤだって？
なにいってんだよ バカ相手に遠慮は無用だよ
間違ったら間違ったで
「ごめーん、まちがっちった。てへぺろ☆(・ω<)」
っていえばいいじゃん
今時、まちがったくらいで腹切るヤツとかいないよ
ってことで頼んだよ コピペは無しでね！
938:☆(・ω<)
19/06/22 15:35:40.14 HQLwMRVl.net
あー、ハードル下げまくる意味でいうけど
オレ、ガロア第一論文、全然読んだことないから（をひ）
いやー、楽しみだなー
どんなすげぇ説明してくれんのかなワクワクテカテカ
939:１３２人目の素数さん
19/06/22 15:36:57.87 qx9A7R/m.net
数学科なら
940:時枝成立は常識だが、∀、∃が分からないスレ主には無理（＾＾
941:１３２人目の素数さん
19/06/22 15:39:12.17 qx9A7R/m.net
>間違ったら間違ったで
>「ごめーん、まちがっちった。てへぺろ☆(・ω<)」
>っていえばいいじゃん
スレ主は間違いを認められないサイコパスなので無理（＾＾
942:☆(・ω<)
19/06/22 15:44:32.50 HQLwMRVl.net
>>878
＞スレ主は間違いを認められないサイコパスなので・・・
えーそうなの
でもさー、モンティ・ホール問題だっけ？
あれ、数学者のポール・エルデスは間違ったんだよね
天才でもさー、そういうことあるんだからさー
気楽にいこうぜーｗ
URLﾘﾝｸ(ja.wikipedia.org)
943:☆(・ω<)
19/06/22 15:56:14.15 HQLwMRVl.net
それにしてもBABYMETALの今度の新曲はスゲェな
URLﾘﾝｸ(www.ok.ru)
こんなの、乃木坂や欅坂には逆立ちしても無理だろ
マキシマムザホルモンぽいからさゆにゃんとか好きそう
あ、さゆにゃんて、乃木坂の井上小百合ね
944:１３２人目の素数さん
19/06/22 15:59:41.27 JGyvKN1G.net
それじゃ、おっちゃんもう寝る。
945:１３２人目の素数さん
19/06/22 16:23:51.11 hm69Mt36.net
モンティ・ホール問題は、確率論とか
ぢゃなくて、算数の文章問題
確率過程とかベイズ確率とかマスター
すると、だまされるトンデモ良問
946:１３２人目の素数さん
19/06/22 16:51:04.69 qx9A7R/m.net
扉を変更すると
最初に当たりを選んでいたら（この確率は1/3）必ず外れる。
最初に外れを選んでいたら（この確率は2/3）必ず当たる。
よって扉を変更すべき。
ってことかな？面白いねそれ
947:哀れな素人
19/06/22 17:27:12.66 kzQ2LjvJ.net
ID:HQLwMRVl
↑これはナマポ鮮人（笑
ID:qx9A7R/m
↑これもナマポ鮮人の可能性あり（笑
スレ主よ、騙されてはいけない（笑
948:哀れな素人
19/06/22 17:31:47.91 kzQ2LjvJ.net
モンティ・ホール問題
「ドアを変えても確率は五分五分」
が正解に決まっている（笑
お前らはこんなことすら分らない池沼（笑
949:☆(・ω<)
19/06/22 17:37:39.98 HQLwMRVl.net
>>884
バカですが自分で稼いでますよ（えばりっ）
朝鮮人もいいけど今はやっぱアイヌに興味あるかな
なんかマンガも流行ってるみたいだし ゴールデンカムイだっけ？
950:哀れな素人
19/06/22 17:40:01.81 kzQ2LjvJ.net
ナマポ鮮人乙（笑
今夕の投稿はここまで（笑
951:☆(・ω<)
19/06/22 17:44:21.77 HQLwMRVl.net
>>883
やっぱフツーに計算するとそうなるよな？
エルデスは何を勘違いしたんだろう？（謎）
952:☆(・ω<)
19/06/22 17:52:22.07 HQLwMRVl.net
>>887
リコウな人はなんかニガテ（＞＜）
URLﾘﾝｸ(www.youtube.com)
953:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 18:17:01.16 cA6sFXL+.net
>>874
てへぺろ☆(・ω<)さん
どうも。スレ主です。
＞正 成立してると思ってる！
＞でオナシャス
ありがとう
いろいろ教えて下さい（＾＾
＞逆にいえば、これどういう方法で確率０にできんの？
＞ってくらい不成立は難しいんだけど？
細かい話は後にして、もともと確率０でしょ
例えば、ある人が、頭に浮かべた任意の実数ｒを、他人が的中させる確率は０
トランプだったら、その人が、選んだ札を当てる確率は、ジョーカー抜きで確率1/52でしょうが
>>875-876
>ガロア第一論文の第八節？の説明オナシャス
>あ、コピペじゃなく、全部、スレ主の地の文で
・頼む相手を間違っていますよ、それ、おっちゃんの仕事です（＾＾
（私は、証明をここに書く趣味はないですし、ここに書かれた証明を読む趣味もありません。ここ数学板は普通に数学記号が使えないのでね）
・でも、ガロア第一論文の第八節の分り易い説明は、探しています。どっかにないかと
・見つかったら報告しますので、お楽しみ（＾＾
954:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 18:21:56.47 cA6sFXL+.net
>>884
哀れな素人さん
どうも。スレ主です。
＞ID:HQLwMRVl
＞↑これはナマポ鮮人（笑
この人は、ちょっと、感触が違うね
サイコパスピエロが持っている人肉喰の願望がないみたいだから�
955:浴i＾＾；
956:１３２人目の素数さん
19/06/22 18:22:30.64 qx9A7R/m.net
>例えば、ある人が、頭に浮かべた任意の実数ｒを、他人が的中させる確率は０
例えが例えになってなくて草
957:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 18:25:22.86 cA6sFXL+.net
>>881
おっちゃん、どうも、スレ主です。
おやすみなさい（＾＾
958:☆(・ω<)
19/06/22 18:26:54.71 HQLwMRVl.net
>>890
＞細かい話は後にして、もともと確率０でしょ
何が？
＞例えば、ある人が、頭に浮かべた任意の実数ｒを、他人が的中させる確率は０
でも、時枝記事はそういう問題じゃないよね
違う問題考えても意味ないんじゃない？
959:☆(・ω<)
19/06/22 18:31:34.83 HQLwMRVl.net
＞それ、おっちゃんの仕事です（＾＾
あれ？このスレはガロアスレだよね？
このスレ立てたのは、スレ主だよね？
じゃ、やっぱりガロア第一論文の説明は
一読者にすぎないおっちゃんじゃなくて
スレ主の仕事だよね？
＞ガロア第一論文の第八節の分り易い説明は、探しています。
＞どっかにないかと
なぁんだ、スレ主も全然わかってなかったんだ
ボクと同じ、バカだったんだ（をひ）
960:☆(・ω<)
19/06/22 18:35:11.50 HQLwMRVl.net
>>891
＞人肉喰の願望がない
豚肉食の願望はありますよ 回教徒じゃないんで
こないだのブタの丸焼きはおいしそうだったな じゅるる
ところで「ナマポ鮮人」の件で、細かいことで恐縮なんですけど
日本国籍がなくても生活保護って受けられるんですか？
日本人だし生活保護うけたことないんでわかんないんですよ（＞＜）
961:☆(・ω<)
19/06/22 18:40:04.92 HQLwMRVl.net
ウィキの生活保護のところを見ると
「2014年7月18日に最高裁判所は
永住外国人は生活保護法の適用対象ではない
という判断を4裁判官全員一致で下した。」
と書いてあるからナマポ鮮人はあり得ないみたいですよ
・・・でもあのひとバカになれない人だから
こんなツッコミしたらきっと怒るだろうな
めんどくさいなー（＞＜）
962:☆(・ω<)
19/06/22 18:44:01.31 HQLwMRVl.net
でも別に国籍にこだわる必要ないんじゃね？
人類みな同じだしねぇ
963:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 18:47:18.45 cA6sFXL+.net
>>890 補足
(引用開始)
＞逆にいえば、これどういう方法で確率０にできんの？
＞ってくらい不成立は難しいんだけど？
細かい話は後にして、もともと確率０でしょ
例えば、ある人が、頭に浮かべた任意の実数ｒを、他人が的中させる確率は０
トランプだったら、その人が、選んだ札を当てる確率は、ジョーカー抜きで確率1/52でしょうが
(引用終り)
てへぺろ☆(・ω<)さんも
”わぉ、イッツ・ミラクル！！！☆(・ω<)”と言っているので、
ほんとは分っているのでしょ？ｗ（＾＾；
要するに時枝さんの方法は
・可算無限数列が存在すれば、（それがどんな数列であれ）
あるD番目の数が、D以外の数から決められるというもの
・しかしながら、反例を上げておいたが （>>47（>>322&>>735もご参照））
関数f：R→R で、Rは連続濃度だから、
定義域R中に可算無限数列 x1,x2,・・・xD,・・・が、（いくつでも）取れて
関数値の列 f(x1),f(x2),・・・f(xD),・・・があるとして
f(xD)の値が、f(xD)以外の値が確率1-εで決まってしまうということになる
・ところが、現代数学の関数の定義より、関数f：R→Rにおいて、
f(xD)の値は本来他の値とは無関係なので、他の関数値からほぼ一つに（確率1-εで）決まることにはならない
964:☆(・ω<)
19/06/22 18:47:53.21 HQLwMRVl.net
>>892
＞例えが例えになってなくて草
まあまあ、スレ主もボクと同じおバカちゃんってことで
スレ主もボクみたいにてへぺろっていえればいいのにね
これほんと魔法の呪文だよ（をひ）
965:１３２人目の素数さん
19/06/22 18:56:33.79 qx9A7R/m.net
>>899
>・ところが、現代数学の関数の定義より、関数f：R→Rにおいて、
> f(xD)の値は本来他の値とは無関係なので、他の関数値からほぼ一つに（確率1-εで）決まることにはならない
プレーヤー2は既に決められている関数値を言い当てるだけです。プレーヤー2が決める訳ではありません。
言い当てられるとなぜ矛盾となるのかの説明が皆無なのでゼロ点です。
落ちこぼれスレ主はまたも落第しました（＾＾
966:☆(・ω<)
19/06/22 18:57:32.63 HQLwMRVl.net
>>899
＞てへぺろ☆(・ω<)さんも
＞”わぉ、イッツ・ミラクル！！！☆(・ω<)”と言っているので、
＞ほんとは分っているのでしょ？
ええ、この世は奇跡に満ちてるってことをね（そっちか！）
＞要するに時枝さんの方法は
＞・可算無限数列が存在すれば、（それがどんな数列であれ）
＞ あるD番目の数が、D以外の数から決められるというもの
なんかいろいろ省略しちゃってないかな？
まず、可算無限数列は１つじゃないよね
少なくとも２つ以上ないと、Dが決まらないから
そして、肝心なことだけど、選んだ列によってDは違うよね？
決定番号が
967:最大値の列では、Dは全体で二番目に大きな決定番号だし それ以外の列では、Dは全体で最大の決定番号だよね バカのボクでもいろいろツッコミどころありまくりなんだけど そういうのを全部スルーしちゃうってなんかおかしくないですかね？ あと反例云々のところは全然反例になってないっていうか そもそも矛盾してないと思うんだけど 大丈夫？
968:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 18:58:31.16 cA6sFXL+.net
>>894
てへぺろ☆(・ω<)さん
どうも。スレ主です。
あなたは、なかなか賢くて、優秀ですね（＾＾
時枝記事＝～ある人が、頭に浮かべた任意の実数ｒを、他人が的中させる確率
でしょ（＾＾
>>895
＞あれ？このスレはガロアスレだよね？
ええ。ですが、このスレの定義は、テンプレ>>11の通りです
”このスレは、半分趣味と遊びのスレと思ってくれ（＾＾；
もう半分は、ここはおれのメモ帳だ ”ってことです
＞＞ガロア第一論文の第八節の分り易い説明は、探しています。
＞＞どっかにないかと
＞なぁんだ、スレ主も全然わかってなかったんだ
＞ボクと同じ、バカだったんだ（をひ）
いえいえ、私は”皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします”
が定義です。テンプレ>>13に記載の通りです（＾＾；
てへぺろ☆(・ω<)さんの方が、ずっと賢いですよ（＾＾
まあ、そう真面目にならずに、遊んで行って下さい
969:☆(・ω<)
19/06/22 19:00:11.63 HQLwMRVl.net
>>901
＞言い当てられるとなぜ矛盾となるのか
そうなんだよねー そこ全然矛盾じゃないよね
スレ主さんの「こうあるべき！」という思い込みとは
矛盾するみたいだけど、それ、多分、思い込みが間違ってるから
だからさー、てへぺろっていって、謝っちゃいなよ
みんなやさしいから許してくれるよ、きっと・・・たぶん（をひ）
970:１３２人目の素数さん
19/06/22 19:01:08.99 qx9A7R/m.net
そもそも大学一年の4月にεN論法についていけずに落ちこぼれたスレ主がなぜ数学をやりたがるのか？
それこそが最大の riddle（＾＾；
971:☆(・ω<)
19/06/22 19:03:29.95 HQLwMRVl.net
>>903
＞あなたは、なかなか賢くて、優秀ですね
それ、褒め殺しってヤツですかー（＾＾
＞時枝記事＝～ある人が、頭に浮かべた任意の実数ｒを、他人が的中させる確率
＞でしょ（＾＾
違うんじゃないですか？
だって、「ある人」が決まってないじゃないですか
むしろ、頭の中の実数を的中できそうなある人を選ぶ確率ですよねー
972:現代数学の系譜 雑談 古典ガロア理論も読む
19/06/22 19:03:32.35 cA6sFXL+.net
>>902
あるD番目の数が、D以外の数から（時枝に従って）決められる数rDだったとします
で、確率1-εで当てられるということですから、確率1-εで f(xD)＝rDということですね
f(xD)が、それ以外の値になるなら、確率1-εになりませんから
973:１３２人目の素数さん
19/06/22 19:06:26.44 HQLwMRVl.net
>>903
＞このスレは、半分趣味と遊びのスレと思ってくれ
この際なんで、次からは
「このスレは、全部趣味と遊びのスレだ！文句あっか！」
にしたらどうですかね
半分とかいうと、
「じゃあとの半分はマジメなんだな」とか
つっこまれますよ？
マジメとかいっちゃうと逃げられなくなっちゃいますよ
どうせ間違いだらけなら、全部遊びっていっちゃったほうが
気がラクじゃないですかー（＾＾
974:☆(・ω<)
19/06/22 19:11:55.56 HQLwMRVl.net
>>903
＞＞なぁんだ、スレ主も全然わかってなかったんだ
＞＞ボクと同じ、バカだったんだ（をひ）
＞いえいえ、私は”皆さんの言う通り、馬鹿であほですから、
＞基本的に信用しないようにお願いします” が定義です。
なんか、おかしな文章だなー
「私はバカでアホですから」というなら、
その前は否定の「いえいえ」じゃなくて
肯定の「はいはい」ですよねー
もしかして心の中では自分はバカだと思ってないとか？
いやいやそこはバカだと思いましょうよ
リコウだなんて思って間違ったらヤバイじゃないですか
バカならいくら間違ったってバカだから仕方ないねー
の一言で済むじゃないですかー
あと「皆さんのいうように」は要らないよね
自分がバカだと思うことこそ大事なんですよー
他人がいくら「あなた賢いですねー」といっても
いい気になって鼻の下伸ばすとズッコケますよ（＾＾
975:☆(・ω<)
19/06/22 19:13:04.05 HQLwMRVl.net
＞てへぺろ☆(・ω<)さんの方が、ずっと賢いですよ
だからそういう褒め殺しはやめましょうってｗ
キモチワルイですよ☆(・ω<)
976:１３２人目の素数さん
19/06/22 19:17:51.85 qx9A7R/m.net
>>907
>で、確率1-εで当てられるということですから、確率1-εで f(xD)＝rDということですね
違います。
確率1で f(xD)＝rD です。
何故ならプレーヤー1がそう決めてプレーヤー2へ出題しているので。
あなたは自分が何を示す必要があるのかが分かってないようです。
「プレーヤー2が言い当てられると
977:何と矛盾するのか？」 を示す必要があるのですよ？
978:☆(・ω<)
19/06/22 19:17:56.65 HQLwMRVl.net
>>907
＞あるD番目の数が、D以外の数から（時枝に従って）決められる数rDだったとします
えーと、>>902読んでない？読んだよね？
ボク 書いたよね
「まず、可算無限数列は１つじゃないよね
少なくとも２つ以上ないと、Dが決まらないから 」
そこ忘れて、あたかも１つの列しかないように書くのやめようよ
間違いは認めようよ バカだからって誰も責めないよ
「そして、肝心なことだけど、選んだ列によってDは違うよね？
決定番号が最大値の列では、Dは全体で二番目に大きな決定番号だし
それ以外の列では、Dは全体で最大の決定番号だよね」
ここも忘れて あたかもDが一定みたいに書くのやめようよ
間違いは認めようよ バカだからって誰も責めないよ
なんかさー、スレ主さん気負い過ぎてない？
だからいってるじゃない 全部趣味と遊びのスレにしちゃいなって
間違いは当たり前なんだって 間違ったらごめーん、てへぺろって
いっちゃえって
今のスレ主さん
「全部マジ！間違いなし！死んでも謝らない！」
ってキモチワルイモードにはいっちゃってるよ ヤバイって
979:☆(・ω<)
19/06/22 19:19:54.37 HQLwMRVl.net
＞まあ、そう真面目にならずに、遊んで行って下さい
この言葉、スレ主さんに捧げます
「まあ、そうマジメにならずに、どうせ遊びなんですから」
これで安心して「間違っちゃった！てへぺろ」っていえるよね？
980:１３２人目の素数さん
19/06/22 19:21:26.40 qx9A7R/m.net
>>903
>いえいえ、私は”皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします”
だったら、あなたもあなたの主張「不成立」を信用しちゃいかんのでは？
言動不一致ですよ？
981:☆(・ω<)
19/06/22 19:22:42.41 HQLwMRVl.net
次スレのテンプレ
・このスレは全部冗談です
・スレ主はバカですから、始終間違います
間違ったら速攻３秒で謝るので
しょうがねえなって許してください
これ書いとけば 世の中渡っていけます
現にボクがこれで実生活渡ってきましたから
バカになりきれば大抵のことは丸く収まりますｗ
982:１３２人目の素数さん
19/06/22 19:30:00.40 qx9A7R/m.net
まあ何でもいいですよ
スレ主君、君が不成立と言い張るなら>>911に心して答えてくれたまえ
答えられないなら潔く間違いを認めなさい
983:☆(・ω<)
19/06/22 19:30:29.72 HQLwMRVl.net
>>915
＞スレ主はバカですから
ここ誤解のないようにいっとくと
ボクがスレ主さんをバカにしたわけじゃなくて
スレ主さん自身が「ボクはバカですから」っていいきっちゃえば
それだけでガチ突っ込みする気力が失せるってことなんですよ
（まあ、それでもガチ突っ込みする人はヤバイ人なんで仕方ないですけどね）
984:１３２人目の素数さん
19/06/22 19:33:28.11 qx9A7R/m.net
>スレ主さん自身が「ボクはバカですから」っていいきっちゃえば
>それだけでガチ突っ込みする気力が失せるってことなんですよ
スレ主は過去に何度も言ってます
しかし決して自分の間違いを認めようとしないのです
つまり口先だけってことです
985:☆(・ω<)
19/06/22 19:33:56.49 HQLwMRVl.net
>>911
>「プレーヤー2が言い当てられると何と矛盾するのか？」
スレ主さん自身の思い込みしかないでしょうねー
でここで自分の思い込みは正しいといって突っ張ると人生棒に振る、と
そういう人を実生活でもネットでもたくさん見てきました
「自分は賢い」と思ったら、人生失敗しますね
やっぱりバカなんですよ バカが一番（をひ）
986:１３２人目の素数さん
19/06/22 19:36:05.41 qx9A7R/m.net
まあ何でもいいので
「プレーヤー2が言い当てられると何と矛盾するのか？」
にきちんと答えて下さいね
987:☆(・ω<)
19/06/22 19:38:12.58 HQLwMRVl.net
>>918
＞スレ主は過去に何度も言ってます
あーでもあのいい方は
「みんながオレをバカだといってる（でもオレはそうじゃないと思ってる）」
って感じですよね
そこは
「オレはバカだ（みんながそうじゃないといっても騙されないよ）」
という感じで言わないとダメですよね
＞しかし決して自分の間違いを認めようとしないのです
なんでバカになれないんですかねぇ 苦しいだけなのに
バカになって「間違ってましたぁぁぁぁぁ！！！」って
いっちゃうほうが全然楽ですって
プライド？そんなんメシのオカズにもならないですって
袋に詰めて燃えるゴミで出したほうがいいですって
（プライドは可燃ごみです 盛大に燃えますｗ）