15/03/01 09:03:58.74 CQbZyxiT.net
>>212
(>>229の続き)
任意のθ∈R＼Qに対して定まる群T(θ)について、T(θ)⊂C^{×}であり、C^{×}には
T(θ)と同じ通常の二項演算・が定義されていることに注意すると、
通常の乗法・の二項演算について、T(θ)は乗法群C^{×}の部分群である。
[第4段]：任意のθ∈R＼Qに対してT(θ)がC^{×}の正規部分群であることを示す。
θ∈R＼Qを任意に取る。群T(θ)をT、乗法群C^{×}をGで略記する。g∈Gを任意に固定する。
gTg^{-1}＝Tを示す。h∈Tを任意に固定する。すると、T⊂Gから、h∈G。
また、Gは通常の乗法・について可換群だから、g^{-1}∈G。
よって、g、h、g^{-1}の間には互いに通常の可換な乗法・の二項演算が定義され、
ghg^{-1}＝g(hg^{-1})＝g(g^{-1}h)＝(gg^{-1})h＝1h＝h。h∈Tだから、ghg^{-1}∈T。
Tの元hは任意だったから、gによるTの両側剰余類gTg^{-1}は＝{gh'g^{-1}|h'∈T}
と表わされる集合であることに注意して、hをTの中で動かせば、gTg^{-1}⊂T。
再度h∈Tを任意に固定する。すると、g、h、g^{-1}の間には互いに通常の可換な乗法・の二項演算が
定義され、h＝1h＝(gg^{-1})h＝g(g^{-1}h)＝g(hg^{-1})＝ghg^{-1}。ここで、
gによるTの両側剰余類gTg^{-1}は＝{gh'g^{-1}|h'∈T}と表わされる集合である。
よって、ghg^{-1}＝h∈gTg^{-1}。Tの元hは任意だったから、hをTの中で動かせば、T⊂gTg^{-1}。
gTg^{-1}⊂T、T⊂gTg^{-1}だから、gTg^{-1}＝T。故に、TはGの正規部分群である。
これでT(θ)はC^{×}の正規部分群であることが示された。
無理数θは任意だから、θをR＼Qの上で走らせればよい。