>>680
どうも。スレ主です。
なんだ、おっちゃんか！
お元気そうでなにより

>スレ主の考え方が間違っているに気付いた。時枝の考え方は正しい。

安心したよ（＾＾；
出会いのときからだよね、その言葉（＾＾；

で、最後にどんでん返し
最初問題を出してくれたんだ
で、その問題を解いた
実数Rの乗法群で、アーベルだから部分群はすべて正規部分群と流したら、おっちゃん延々証明を書いた

こういう経緯だったね

現代数学の系譜11 ガロア理論を読む11
http://wc2014.2ch.net/test/read.cgi/math/1420001500/498
498 名前：１３２人目の素数さん[sage] 投稿日：2015/02/01(日) 15:26:49.86 ID:f3suQEjt

次の問題はどう？　スレ主でも解けるでしょう。
複素平面Cの乗法群C^{×}＝C-{0}の正規部分群は非可算無限個存在することを示せ。

519 名前：１３２人目の素数さん[sage] 投稿日：2015/02/02(月) 14:07:58.40 ID:Fvsu4fkg [1/5]

>２．通常の乗法は可換だから、アーベルで、部分群もアーベル。従って、部分群は全て正規部分群となる
この部分で既に証明として間違いになっているよ。直観的には自明で正解だが、一応スレ主も分かるように証明しよう。

566 名前：１３２人目の素数さん[sage] 投稿日：2015/02/03(火) 20:31:59.04 ID:KYB7IjhQ [3/4]
>>565
別にスレ主を擁護してるわけじゃねーよ。
でも>>558は幾らなんでもアホだろ。
そもそもの問題からしてくだらないのに、自明な部分は長文の証明で埋め尽くし、
肝心な部分(異なるH(*)が非可算無限個とれるところ)はいつまで経っても証明できてない上に、
スレ主の方が既に証明できちゃってるという本末転倒ぶり。出題者のくせに何やってんだよ。
恥さらしもいいとこだろ。
（引用おわり）

498の出題と519のコメントがおっちゃん。「２．通常の乗法は可換だから、アーベルで、部分群もアーベル。従って、部分群は全て正規部分群となる」が私
566がメンターさん

この部分は、自明で証明不要がメンターさんと私のセンス
が、おっちゃんは、”自明な部分は長文の証明で埋め尽くし”とやったんだったね
（分かるだろ？　当時どっちが正規部分群をより深く理解していたかが）