15/04/05 12:04:53.04 jwP/UdlD.net
出題者です。
>>792>>793は出題者は別人です。
＞「gNg^(-1) ⊂ N (∀g∈G)」を仮定し、a∈Nとする。仮定よりg^-1ag∈N
＞以下で” N⊂gNg^(-1) (∀g∈G)”を示す
＞a=g(g^-1ag)g^-1∈g・N・g^-1 よって、N⊂g・N・g^-1
＞
＞ゆえに、N=g・N・g^-1 QED
はい、よくできました。
>>686はなんかそれっぽいことが書いてあるなーと思ったけど
＞また、g^-1(gng^-1)g→nの形から
が意味不明だったし、もう面倒で>>721で終わらせるつもりだったからスルーした。すまない。
数学的説明をせずに本質がどうのうこうの言ってるだけじゃ何も伝わらない。
まずはきちんと数学的な説明を書いて納得させないと。
逆の立場だったらそうだろう？
799:１３２人目の素数さん
15/04/05 12:12:17.84 jwP/UdlD.net
>>722>>723は別人だけど、意見は同じ。
帰納法を使っても無限群に対しては証明できない。
「無限個ある自然数全てに対してP(n) が成り立つ」と自分でも書いてるじゃないか。
∞は自然数でないので対象外。
そもそも帰納法ってのは、
・最小元で成り立つ
・ある元 a に対し、a より小さい全ての元で成り立つなら、a でも成り立つ。
という形の証明だけど、そんな行為一度だってしてない。
「難しく考えすぎ」ってスレ主が帰納法なんて関係ないことを書いたせいだろう。
ちなみに>>725も俺じゃない。ID見れば分かるけど、あなたが貶していたID:/kdxB2Ufさんだよ。
800:１３２人目の素数さん
15/04/05 12:14:51.69 X55sT+uM.net
>>789
命題「群 G の部分群 N と ∀g∈G に対し、N⊂gNg^-1 なら N=gNg^-1」
を超限帰納法を使って証明して下さい。
「超限帰納法も、ことは単純で」と言ったのは君だから、当然できるはずだよね？
＞３．数学的帰納法を公理として認めれば、「無限個ある自然数全てに対してP(n) が成り立つ」という数学的帰納法の結論が導かれる。それを単純に、共役変換の場合にも成り立つとすれば良い。
＞ 任意の位数Nの群について>>726は成り立つ。だから、「無限個ある自然数全てに対してP(n) が成り立つ」
＞ （超限帰納法も、ことは単純で、公理系の問題だよ。選択公理と同値な整列可能定理により・・とすれば良いだけ）
801:１３２人目の素数さん
15/04/05 13:14:18.60 CBD9FLtF.net
>>800
自然数の場合の帰納法、整列性の概念すらちゃんと分かってないやつに出来るわけないだろw
802:現代数学の系譜11 ガロア理論を読む
15/04/05 14:11:36.46 5o4dQmCs.net
>>798-800
出題者さん、ども
次から新スレへ行きましょう
皆さん、ほんとレベルが高いね。感心するよ
論点整理をしよう
１．まず確認だが、>>794で有限群の場合は良いんだよね？
「gNg^(-1) ⊂ N (∀g∈G)」→「N=gNg^-1」が、共役変換の本質：「集合なら一対一対応であり、群であれば同型」から従う
２．無限群についても、共役変換の本質から”a=g(g^-1ag)g^-1∈g・N・g^-1 ”で終わりだと。
３．共役変換の本質から”a=g(g^-1ag)g^-1∈g・N・g^-1 ”を使って、”ker(f) について直接示すもよし、正規部分群Nの定義の同値として示すもよし”だ
４．だから、>>417の問題(1) は、>>681 の岡山大吉野雄二の証明レベルで可だ。
５．それは>>440で終わっている（>>442「逆の包含を言ってないってことか？それは問題ない。」だったね）
６．但し、「N=gNg^-1」を使ったから、逆の包含についての説明か証明が必要だということになった。
それも既に>>686で逆の包含を直接示しているので終わっている
７．だから、数学的帰納法を持ち出して混乱させたが、>>417の問題(1) は既に終わっているし、共役変換の本質の理解と説明も間違っちゃいないだろ
８．但し、数学的帰納法と超限帰納法については、意見が一致していない
数学的帰納法と超限帰納法については、新スレ（下記）でやろう
現代数学の系譜11 ガロア理論を読む13
ｽﾚﾘﾝｸ(math板)
803:１３２人目の素数さん
15/04/07 12:29:50.69 Z+g58olw.net
本格的にトンデモに育ってきたなw
804:１３２人目の素数さん
15/04/07 12:34:21.90 Z+g58olw.net
本当のゼミで凹まされて育った数学科の猛者から見たら笑止千万すぎるもんな威張りながら教わろうとはｗ
805:１３２人目の素数さん
15/04/07 13:44:50.66 NwxyNtnn.net
何を言う。
スレ主は王道を行っとる。
金払って威張り散らす腐れ教員に頭を下げるなど以ての外。
金払をもらったのならその分働け。
分かるように学生様に分かりやすく説明しろ。
教えたく無いなら、教える必要のない研究職につけ怠け教員。
806:１３２人目の素数さん
15/04/09 03:29:10.96 nTN786wm.net
国公立の学生は国民納税者に学費を税金経由でたかって学問収めさせてもらってる乞食なのだから国民納税者にひざまずけ
807:１３２人目の素数さん
15/04/09 19:03:28.26 K8KMCiFa.net
べき根で表せない解って具体的にどんな形をしてるの？
三角関数がうにょうにょした感じってイメージであってる？
808:１３２人目の素数さん
15/04/09 19:16:05.14 sC/9Vs45.net
それは超越解では
809:１３２人目の素数さん
15/04/09 23:20:27.82 +fXi7TzJ.net
テータ函数使えば，任意の代数方程式の解は書けるから
「三角関数がうにょうにょした感じ」でイメージはあってるなｗ
810:１３２人目の素数さん
15/04/10 06:30:24.58 8XLHEbVF.net
>>804
数学科の猛者を自称する幼稚園のすうがく組？
「上から目線、上から目線。あいつやっつようぜ。よし、おまえ行け」
811:１３２人目の素数さん
15/04/10 08:43:13.70 OjdOUtND.net
幼稚園にも上がれない大きな赤ん坊がスレを立ててるのを見るとなあw
812:現代数学の系譜11 ガロア理論を読む
15/04/10 23:19:06.58 PTxulp5P.net
どうも。スレ主です。
813:現代数学の系譜11 ガロア理論を読む
15/04/10 23:22:27.04 PTxulp5P.net
>>803-811
ご高説ありがとう
では、問題だ。>>517をお願いします。
本当のゼミで凹まされて育った数学科の猛者さまですか
さぞかし簡単でしょうね（笑い）
814:１３２人目の素数さん
15/04/10 23:39:35.28 OjdOUtND.net
だいたい基礎論持ってくる事態がお門違いというか。トンデモって基礎論大好きだからな
815:現代数学の系譜11 ガロア理論を読む
15/04/11 05:48:25.41 pLE9DoNh.net
どうも。スレ主です。
別に証明しろとは言っていない
「どう思いますか？」と、君の数学的センスを聞いているんだよ（笑い）
816:１３２人目の素数さん
15/04/11 17:11:54.27 osSnm/+q.net
基礎論厨の人の発言が「数学業界では環とか体なんていう超難解な概念が頻出するんだけど」
そしてこのスレ主である。基礎論はなんか真面目にやってても不真面目なのがやっててもアレだなあ。
817:現代数学の系譜11 ガロア理論を読む
15/04/12 19:30:25.15 IFDb2ZM+.net
どう思うと聞いているだけなんだけどね
だが、それに答えると、てめえの数学レベルがばれる
そういう仕掛け
ただそれだけだ
基礎論もくそも
無関係だよ
818:１３２人目の素数さん
15/04/13 03:16:04.52 JBpqW1sO.net
低レベルが激おこかw
まあ、うんこ同士仲良くしろやwww