15/11/28 12:51:31.62 novsUjda.net
ところで、前スレ 682より
私が、超越基底が分かっていないのだろうが
超越基底Sのそもそもは、二つ前のスレ
現代数学の系譜11 ガロア理論を読む15
ｽﾚﾘﾝｸ(math板:564番)
564 返信：１３２人目の素数さん[] 投稿日：2015/10/03(土) 07:34:36.14 ID:ikZEN+WS [1/3]
>>562
では私の解答を書いておきます。
命題:C^*を0でない複素数全体のなす乗法群とする。C^*の部分群全体の集合は実数体のべき集合の濃度を持つ。
証明:複素数体Cの有理数体Q上の超越基底Sをとる。このときSは非可算濃度を持つ。また、SはCの部分集合であることから
Sの濃度は実数体の濃度に等しい。Sの部分集合Tに対し、Q(T)をQにTを付加して得られる体、そしてQ(T)^*を
Q(T)の0でない元全体のなす乗法群とする。するとU={Q(T)^* :TはSの任意の部分集合}という集合はC^*の部分群の
集合であり、T_1とT_2が相異なっていればQ(T_1)^*とQ(T_2)^*も相異なるのでUは実数体のべき集合の濃度を持つ。
よってC^*の部分群全体の集合の濃度は実数体のべき集合の濃度を下回らない。
このことと、C^*のべき集合の濃度が実数のべき集合の濃度に等しいことから命題が従う。(証明終わり)
（引用おわり）
から始まっているのだった