15/03/01 16:50:18.60 NplpTsbd.net
>>281
どうも。スレ主です。
”おっちゃん”、か
>私も本当は自明なことは書く気がしなかった。普段、机に置いたパソコンに向かい、
まあ、出題の前スレ498 ｽﾚﾘﾝｸ(math板:498番)
「複素平面Cの乗法群C^{×}＝C-{0}の正規部分群は非可算無限個存在することを示せ。 」って
”正規”って、おいおいという感じだったわ
それを、またご丁寧に証明して、さらにおいおいだった（この感覚分かりますか？）
まあ、群論初心者丸分かりですねって・・
>有理数全体Qは可算で、無理数全体R＼Qは非可算は、本当は前提にするべきだよ。
当然ですよ。カントールがやった対角線論法以外の証明法を知らない。そこらの無限集合論は、予備知識として前提にして良いんだ
（そうしないと泥沼だぜ。だから、ハメルも要らないんだ）