現代数学の系譜11 ガロア理論を読む11 [転載禁止]©2ch.net
508 ：１３２人目の素数さん：
>>503 補正
超越数に限定しても、”c0≠c1ならG0≠G1”の証明には、あまり関係ない（ここを証明しておかないと単射性がゆらぐ）
証明には、c0とc1が、代数的に無関係である（もっと言えばべき乗での関係が付かない）という二つの数の間の関係がポイントだから
１．なので、こうしよう。一般性を失わずc0≠c1かつ1＜|c0|＜|c1|とする（|c0|、|c1|などは複素数の絶対値を表す記号）
２．c1から生成される任意の元 （c1）^n (c1のn乗でnは任意の整数) に対し、容易に分かるように|(c1）^n|≦１（nが負または0のとき）または|c0|＜|(c1）^n|（nが正のとき）
３．従って、c0 ∉ G1 が言えるので、c0≠c1 かつ 1＜|c0|＜|c1| のとき G0≠G1 が言える
４．よって、1＜|c|である任意の複素数cから生成される部分群Bを考えると、複素数C→部分群Bの単射が定義できる。
５．つまり、1＜|c|である任意の複素数cから生成される部分群Bを要素とする集合をB’とすると、B’は複素平面1＜|c|の部分と同じく非可算無限集合である
６．そこで複素平面Cの乗法群C^{×}＝C-{0}の正規部分群の集合をUとすると、明らかにB’⊂Uであるから、Uは非可算無限集合である
７．なお、乗法は可換でアーベルだから、部分群が即正規部分群であることは先に述べた通り
８．また、複素平面 1＜|c| の部分が非可算無限集合であることを証明していないが、それは集合論にゆずる
（c0から構成される乗法群の詳細は>>501に記した通り）
超越数に限定しても、”c0≠c1ならG0≠G1”の証明には、あまり関係ない（ここを証明しておかないと単射性がゆらぐ）
証明には、c0とc1が、代数的に無関係である（もっと言えばべき乗での関係が付かない）という二つの数の間の関係がポイントだから
１．なので、こうしよう。一般性を失わずc0≠c1かつ1＜|c0|＜|c1|とする（|c0|、|c1|などは複素数の絶対値を表す記号）
２．c1から生成される任意の元 （c1）^n (c1のn乗でnは任意の整数) に対し、容易に分かるように|(c1）^n|≦１（nが負または0のとき）または|c0|＜|(c1）^n|（nが正のとき）
３．従って、c0 ∉ G1 が言えるので、c0≠c1 かつ 1＜|c0|＜|c1| のとき G0≠G1 が言える
４．よって、1＜|c|である任意の複素数cから生成される部分群Bを考えると、複素数C→部分群Bの単射が定義できる。
５．つまり、1＜|c|である任意の複素数cから生成される部分群Bを要素とする集合をB’とすると、B’は複素平面1＜|c|の部分と同じく非可算無限集合である
６．そこで複素平面Cの乗法群C^{×}＝C-{0}の正規部分群の集合をUとすると、明らかにB’⊂Uであるから、Uは非可算無限集合である
７．なお、乗法は可換でアーベルだから、部分群が即正規部分群であることは先に述べた通り
８．また、複素平面 1＜|c| の部分が非可算無限集合であることを証明していないが、それは集合論にゆずる
（c0から構成される乗法群の詳細は>>501に記した通り）
|
|
|