15/03/01 14:41:29.86 CQbZyxiT.net
>>212
ということで、書き直し。
ハメル基底をHで表わす。
各θ∈Hに対して、集合T(θ)をT(θ)＝{e^{i(mθπ)}∈C^{×}|m∈Z}と定義する
と、T(θ)≠φ。a、b、c∈T(θ)を任意に取る。すると、|a|＝|b|＝|c|＝1＜2から、
a、b、cの各主値Log(a)、Log(b)、Log(c)が定義されるから、a、b、cに対して
或るm_1、m_2、m_3∈Zが存在して、a＝e^{i(m_1θ)π}、b＝e^{i(m_2θ)π}、c＝e^{i(m_3θ)π}
となる。よって、A＝{a、b、c}とおくと、A⊂C^{×}であり、加法定理から、任意のx、y∈Aには
通常の乗法・：A×A∋(a,b)→a・b＝ab∈T(θ)の演算が定義され、任意のa、b、c∈Aに対して
(1)：結合則(ab)c＝a(bc)が成り立ち、(2)：e^0＝1∈T(θ)であり、a1＝1a＝aである。
更に、偏角の不定性に注意してm_1θ∈[0,2π)とすれば、
a^{-1}＝(e^{i(m_1θ)π})^{-1}＝e^{-i(m_1θ)π}だから、
同様に加法定理から、aa^{-1}＝a^{-1}a＝1 である。T(θ)の元a、b、cは任意だから、
a、b、cをT(θ)上で走らせると、確かにT(θ)には通常の乗法
・：T(θ)×T(θ)∋(a,b)→a・b＝ab∈T(θ)の二項演算が定義され、
T(θ)は乗法・について実数1を単位元とするような群である。つまり、T(θ)は乗法群であり、
満たすべき条件を満たす。任意のa、b∈T(θ)に対して、加法定理からab＝baだから、
T(θ)は可換乗法群である。今、C^{×}の正規部分群が非可算個存在することを示す。
任意のθ∈Hに対して定まる群T(θ)について、T(θ)⊂C^{×}であり、C^{×}には
T(θ)と同じ通常の二項演算・が定義されていることに注意すると、
通常の乗法・の二項演算について、T(θ)は乗法群C^{×}の部分群である。