アイゼンシュタイン環のノルム
📂整数論アイゼンシュタイン環のノルム
定理
アイゼンシュタイン環におけるZ[ω]について、関数N:Z[ω]→Zを考えてみよう。
- [1]: N(x+ωy):=x2−xy+y2と定義すると、NはZ[ω]の乗法的ノルムになる。
- [2]: Z[ω]はユークリッドドメインである。
- [3]: Z[ω]の単位元は±1,±ω,±ω2だけである。
説明
アイゼンシュタイン整数は[抽象代数](../../categories/abstract algebra)の助けを借りるとはるかに容易に研究できる。積分ドメインで定義されるノルムNで[2]を証明すると、EDがUFDであるため、アイゼンシュタイン素数に拡張された算術の基本定理がほぼそのまま証明されることになる。これは、算術の基本定理を代数的に説明することと似ているZがUFDであると。
証明
[1]
乗法的ノルムの定義:
- (i): N(α)=0⟺α=0
- (ii): N(αβ)=N(α)N(β)
Nが乗法的ノルムになり、実際にZ[ω]がIDになることを示せばよい。ノルムが定義されている必要がある定理は必要ないので、まずIDであることを示す必要はない。a,b,c,d∈Zに対してα:=a+ωb、β:=c+ωdとしよう。
Part (i). N(α)=0⟺α=0
a:=(A+B)、b:=(A−B)とすると
⟺⟺⟺⟺⟺N(α)=a2−ab+b2=0(A+B)2−(A+B)(A−B)+(A−B)2=0A2+3B2=0A=B=0a=b=0α=a+ωb=0
Part (ii). N(αβ)=N(α)N(β)
アイゼンシュタイン整数同士の積は(a+ωb)(c+ωd)=(ac−bd)+ω(ad−bd+bc)として計算されるので
N(αβ)===========N(ac−bd+ω(ad−bd+bc))(ac−bd)2−(ac−bd)(ad−bd+bc)+(ad−bd+bc)2(ac−bd)(ac−ad−bc)+(ad−bd+bc)2(ac−bd)(ac−K)+(K−bd)2a2c2−acbd−acK+bdK+k2−2Kbd+bd2a2c2−acbd−acK−bdK+k2+bd2a2c2−acbd−(ac+bd)(ad+bc)+(ad+bc)2+bd2a2c2−acbd−a2cd−abc2−abd2−b2cd+a2d2+2adbc+b2c2+bd2a2c2−a2cd+ad2−abc2+abcd−abd2+b2c2−b2cd+b2d2(a2−ab+b2)(c2−cd+d2)N(α)N(β)
ここで、K:=(ad+bc)である。
Part 3. Z[ω]はIDである
α、βが0∈Z[ω]ではなくてもαβ=0とする。すると、Part (i)~(ii)に従って
N(α)N(β)=N(αβ)=N(0)=0
となる。N(α)、N(β)は積分ドメインZの要素なので、N(α)N(β)=0を満たすためにはN(α)またはN(β)のどちらかが0である必要があるが、これは仮定に矛盾するので、Z[ω]も積分ドメインである。
■
[2]
ユークリッドノルムの定義:
- (i): 全てのa,b∈D(b=0)に対して、qとrが存在しa=bq+rを満たす必要がある。このとき、r=0またはν(r)<ν(b)のどちらかを満たさなければならない。
- (ii): 全てのa,b∈D(b=0)に対してν(a)≤ν(ab)
ν:=Nとし、NがZ[ω]のユークリッドノルムになることを示せばよい。β=0としよう。
Part (i). ∃σ,ρ:α=βσ+ρ
あるr,s∈Qに対してβα=r+ωsとする。r,sに近い整数q1,q2∈Zについて、次のようにσとρを設定する。
σ:=q1+ωq2ρ:=α−βσ
- Case 1. ρ=0
α=βσであるため、これ以上示すことはない。σ=βα=q1+ωq2とρ=0を見つけた。 - Case 2. N(ρ)<N(β)
q1とq2の定義により
∣r−q1∣≤21∣s−q2∣≤21
したがって
N(βα−σ)===≤≤=N[(r+ωs)−(q1+ωq2)]N[(r−q1)+ω(s−q2)](r−q1)2−(r−q1)(s−q2)+(s−q2)2∣r−q1∣2+∣r−q1∣∣s−q2∣+∣s−q2∣2(21)2+(21)(21)+(21)243
これにより
N(ρ)===≤≤N(α−βσ)N(β(βα−σ))N(β)N(βα−σ)N(β)43N(β)
従って、ρ=0またはN(ρ)≤N(β)を満たすρ、σの存在を保証できる。
Part (ii). N(α)≥N(α)N(β)
β=0⟹N(β)≥1であるため
N(α)≤≤=N(α)⋅1N(α)N(β)N(αβ)
■
[3]

乗法的ノルムの性質に従って、N(1)=1であり、u∈Z[ω]が単位元ならば、∣N(u)∣=1であるので、対偶によって∣N(u)∣=1でないならば、uは単位元ではない。u:=x+ωyに対してN(u)=x2−xy+y2=1を満たす場合は
e0πi/3=e1πi/3=e2πi/3=e3πi/3=e4πi/3=e5πi/3=1−ω2ω−1ω2−ω
つまり、u∈{±1,±ω,±ω2}のときだけである。
■