4
大学数学基礎解説
文献あり

単項イデアル整域である虚二次整数環

397
1

単項イデアル整域と知られている虚二次整数環を確認していきます。このような環は以下に挙げる9種しかないことが知られていますが、その証明はモジュラー形式とかj不変量をどうこうしてなんか4次のディオファントス方程式に帰着させていて、全プロセス私の手ではまったく手に負えなかったので扱いません。
全9種類と言っても、証明の手法としては3通りしかありません。虚二次体の整数環はまずその格子の形状が直交かどうか (Z[d]の形かどうか) で2種類に分類され、さらにその環がノルムを用いてユークリッド整域を成しているかどうかで2種類に分類されます。この2×2=4種類のうち、1つは該当のものが存在せず、残りの3種類について、それぞれ少しずつ異なる証明が与えられます。とはいえ、特にユークリッド環ではないものの証明はまったくの非自明であり、本稿ではOscar Campoliが1988年にZ[1+192]の場合について証明を与えたものを応用しています。
しかしどうやら、Campoliによると1988年当時まで、少なくとも初学者が見るような標準的な文献にはこの証明はどこにも書かれていない状況だったようです Campoli。歴史的にも、これらの事実は二次形式の類数に関する研究に端を発しており、ガウスやルジャンドルが研究していた時代にイデアル論は存在していませんでしたから、単項イデアル整域であることは関連する体 (ひいては特定の判別式を持つ二次形式) の類数が1であることからの帰結として与えられ、わざわざ環論の内容として解きなおして文献に残そうという動機もなかったものと推察されます。

準備

虚二次体 Q(d)とは、有理数Qと負の平方根dを含む最小の体を指します。ただしdはsquare-free (p2の形の因数を持たない) である自然数とします。dは方程式x2+d=0の根となる数であり、Cへ埋め込んだ時に±diのいずれかに写ることが知られています。

具体的な集合としては、次の形で与えられます。
Q(d)={a+bda,bQ}体の演算は複素数の四則と同様の方法で定義されます。

Qの有限次拡大 (数体) Kについて、その整数環とはZ上整な元の集合、すなわちZ係数モニック多項式の根であるようなKの元の全体を指します。

(Neukirch, Ⅰ §2. Exercise 4)

Q(d)の整数環は、次のいずれかである。

  • d3mod4の場合、Z[1+d2]:={a+b1+d2a,bZ}
  • そうでない場合、Z[d]

z=a+bdとしたとき、z22az+a2+b2d=0が成り立つ。従ってQ(d)の整数環とは、{a+bda,bQ, 2a,a2+b2dZ}で表される集合である。2aZなので、a=n2 (nZ)と置くと、a2+b2dZが成り立つためにはb=m2 (mZ)であることが必要である。そのため、結局n2+dm2が4で割り切れる条件を調べればよいことがわかる。

d3mod4でない場合、n2+dm2が4の倍数であることはn,mがどちらも偶数であることと同値である。従って、このときQ(d)の整数環はZ[d]である。
d3mod4である場合、nmはどちらも偶数であるかどちらも奇数であるかであればよい。どちらも奇数であるとき、n=2k+1, m=2+1と置くと
2k+12+2+12d=2(k)+(2+1)(1+d)2=(k)+(2+1)1+d2どちらも偶数である場合、n=2a,m=2bとなるので
a+bd=(ab)+2b1+d2
以上より、Q(d)の整数環はZ[1+d2]に含まれる。
他方、z=x+y1+d2Z[1+d2]に対して、z2(2x+y)z+x2+d+14y2=0が成り立つため、Z[1+d2]Q(d)の整数環に含まれる。従って、Z[1+d2]Q(d)の整数環である。

  • 虚二次体Q(d)ノルムとは、N(a+bd)=a2+b2dで定義される写像N:Q(d)Qである。

N(xy)=N(x)N(y), N(1)=1

N(1)=1は明らか。x=a+bd, y=s+tdと置くと
N(xy)=(asbtd)2+(at+bs)2d=a2s2+b2t2d2+a2t2d+b2s2d=(a2+b2d)(s2+t2d)=N(x)N(y)

ユークリッド環 (d=1,2,3,7,11)

整域Aユークリッド環であるとは、ユークリッド写像と呼ばれる写像φ:A{0}N0が存在して、任意のx,yA, y0に対して

  • あるqAが存在してx=qy
  • あるq,rAが存在してx=qy+r, φ(r)<φ(y)

のいずれかが成り立つことである。

(後藤-渡辺, p.22)

ユークリッド環は単項イデアル整域である。

Aをユークリッド環、φをユークリッド写像、IAを0でないイデアルとする。このとき、φ(b)=min{φ(x)xA}を満たすbAが取れる。Aがユークリッド環であることから、任意に取ったxIに対して、x=qa+r, r=0またはφ(r)<φ(a)を満たすようにq,rAを取れる。しかしxqaIであることとaφに関する最小性から、r=0でなければならないことがわかる。以上よりI=(a)である。

ガウス型のユークリッド環 (d=1,2)

d=1,2について、Z[d]はユークリッド整域である。

z=x+yd, w=u+vd (u2+dv20) に対して、a12ux+dvyu2+dv2<a+12b12vx+uyu2+dv2<b+12が成り立つようにa,bZを取る。このとき、
(ux+dvyu2+dv2a)2+d(vx+uyu2+dv2b)2d+14<1が成り立つため、
N(zw(a+bi))=N(w)N(zw(a+bi))<N(w)以上よりZ[d] (d=1,2) はユークリッド環である。

d=1,2について、Z[d]は単項イデアル整域である。

アイゼンシュタイン型のユークリッド環 (d=3,7,11)

d=3,7,11とする。このとき、任意のqQ(d)に対してN(qz)<1となるようなzZ[1+d2]が存在する。

q=q0+q1dとしたとき、q=(q0q1)+2q11+d2である。a0=[q0q1], a1=[2q1], e0=q0q1a0, e1=2q1a1とする。このとき、0ei<1である。

  1. e0+e1<12のとき、e0,e1<12も成り立つため、
    N(q(a0+a11+d2))=N((q0q1a0)+(2q1a1)1+d2)=e02+e0e1+d+14e12=e022+(e0+e1)22+d14e12d+316<1

  2. 12e0+e1<32かつd12<e0d12e1<d34のとき、
    N(q(a0+(a1+1)1+d2))=e022+(e0+e11)22+d14(e11)2=dd+1(e0+e11)2+1d+1(e0d12e1+d12)2d4(d+1)+d+116<d+5161

  3. 12e0+e1<32かつd34e0d12<1のとき、
    N(q((a0+1)+a11+d2))=(e01)22+(e0+e11)22+d14e12=dd+1(e0+e11)2+1d+1(e0d12e11)2<d+5161

  4. 32e0+e1のとき、12e0,e1が成り立つため、
    N(q((a0+1)+(a1+1)1+d2))=(e01)22+(e0+e12)22+d14(e11)2d+316<1

d=3,7,11について、Z[1+d2]はユークリッド環である。

z=x+y1+d2, w=u+v1+d2 (u2+uv+cv20) とする。ここでzwQ(d)に補題5を適用すると、あるqZ[1+d2]が存在してN(zwq)<1が成り立つ。r=zqwと置くと、N(r)<N(w)が成り立つため、Z[1+d2]はユークリッド整域であることが従う。

d=3,7,11について、Z[1+d2]は単項イデアル整域である。

擬似的ユークリッド性によるPIDの証明

ここまででわかる通り、dが小さい数の場合は体のノルムを用いて整数環がノルムユークリッド環をなすことで証明をしてきました。しかしd=5,6,10およびd13の場合、qQ(d)の中に整数環上のどんな元zを取ってもN(qz)1となるようなものが存在してしまうため、整数環がノルムユークリッドになりません。ノルムユークリッドでないからといってユークリッドでないとは限らない ( Clark , Clark) のですが、虚二次体の場合はこれ以降ユークリッド環にはなりません。
ところが、Oscar Campoliがd=19の場合について調べた結果によると、この環は〝ほとんど〟ユークリッド整域であるらしく、その性質によってこれが単項イデアル整域であることが示されるそうです。そこで、同様の性質が残りの場合でも成立することによってPIDであることを示していきます。

Z[1+192]

(Campoli, p.870)

整数環O=Z[1+192]について、α,βOβ0, αβO, N(β)N(α)を満たすとする。このとき、0<N(αγβδ)<N(β)を満たすようなγ,δOが存在する。

α,βO, β0, αβO, N(β)N(α)に対して、N(αβγδ)<1となるγ,δOの存在を言えばよい。αβ=a+b1+192と置くと、条件からa,bQは少なくとも片方が整数ではない。

  1. aZかつbZの場合。a[x12,x+12)を満たすようにxZを定める。このとき、γ=1, δ=x+b1+192とすると
    N(αβγδ)=N(ax)14<1
  2. aZ, bZかつ5bZである場合。a+5b[x12,x+12)を満たすようにxZを取って、γ=1192, δ=xa1+192とする。このとき、(a+b1+192)γ=aγ+5b=a+5ba1+192より
    N(αβγδ)=N(a+5bx)<1
  3. aZ, bZかつ5bZである場合。yZb[y12,y+12)が成り立つように取って、γ=1, δ=a+y1+192とする。このとき、
    N(αβγδ)=N((by)1+192)45<1
  4. a,bZかつ2a,2bZである場合。このとき、適当なyZによってb[y13,y+13)2b[y13,y+13)のいずれかが成り立つ。前者の場合、a[x12,x+12)となるxZを取ってγ=1, δ=x+y1+192とすると
    N(αβγδ)=N((ax)+(by)1+192)=((ax)+by2)2+194(by)249+1936<1
    後者の場合、2a[x12,x+12)となるxZを取ってγ=2, δ=x+y1+192とする。
    N(αβγδ)=N((2ax)+(2by)1+192)3536<1
  5. a,b,2aZかつ2bZの場合。xZ2a[x12,x+12)が成り立つように取って、γ=2, δ=x+2b1+192とする。このとき、
    N(αβγδ)=N(2ax)<1
  6. a,b,2bZかつ2aZの場合。5bZであるならばγ=5, δ=x+5b1+192 (x5a[x12,x+12)を満たす) とする。このとき
    N(αβγδ)=N(5ax)<1
    5bZであるなら、γ=119, δ=x2a1+192 (x2a+10b[x12,x+12)を満たす) とする。このとき
    N(αβγδ)=N(2a10bx)<1
  7. a,bZかつ2a,2bZの場合。xZ5b[x12,x+12)となるように取って、γ=1+192, δ=x+(a+b)1+192とする (a+bZは条件から従う)。このとき、
    N(αβγδ)=N(5bx)<1

Z[1+192]は単項イデアル整域。

IO=Z[1+192]の0でないイデアルとする。このとき、βIN(β)が最小になるように取ると、明らかにβOI。今、αIが存在してβαOを仮定すると、定理から0<N(αγβδ)<N(β)が成り立つγ,δOが存在する。IがイデアルであるためαγβδIが成り立つが、そうするとN(β)の最小性に矛盾する。従ってI(β)であり、(β)=Iが成り立つことがわかる。

Z[1+432]

xRに対して、x=x+12すなわちx[n12,n+12)を満たすnZを表すものとする。このとき、

  1. |xx|14
  2. |2x2x|14
  3. |3x3x|14

の少なくとも1つが成り立つ。

xRnZに対してx+n=x+nが成り立つため、0x<1の範囲で示せば十分である。このとき、
(ⅰ) 0x14ならば|xx|14
(ⅱ) 14x512ならば|3x3x|14
(ⅲ) 38x58ならば|2x2x|14
(ⅳ) 712x34ならば|3x3x|14
(ⅴ) 34x<1ならば|xx|14

よって1.~3.の少なくとも1つは成立することがわかる。

O=Z[1+432]において、α,βO, β0, αβO, N(α)N(β)であるとき、0<N(αγβδ)<N(β)を満たすようなγ,δOが存在する。

α,βO, β0, αβO, N(β)N(α)に対して、N(αβγδ)<1となるγ,δOの存在を言えばよい。αβ=a+b1+432と置くと、条件からa,bQは少なくとも片方が整数ではない。また、補題8より、|bb|14, |2b2b|14, |3b3b|14のうち少なくとも1つは成り立つ。

  1. bZ (従ってaZ) の場合、γ=1, δ=a+b1+432とおく。このとき
    N(αβγδ)=N(aa)14<1
  2. kbZかつkaZ (k=2,3) が成り立つ場合、γ=k, δ=ka+kb1+432とおく。このとき
    N(αβγδ)=N(kaka)14<1
  3. 0<|kbkb|14 (k=1,2,3) が成り立つ場合、γ=k, δ=ka+kbkb2+kb1+432とすると
    αβγδ=k(a+b1+432)(ka+kbkb2+kb1+432)=(ka+kbkb2ka+kbkb2)+(kbkb)432であることから、
    N(αβγδ)14+4364<1が成り立つ。
  4. bZかつaZ, kbZ (k=2,3) が成り立つ場合。このとき
    (a+b1+432)1432=a+11ba1+432
    bZかつkbZより11bZが従うため、γ=1432, δ=a+11ba1+432と置くと
    N(αβγδ)=N(11b11b)14<1
  5. a,bZかつka,kbZk=2またはk=3のどちらかで成立する場合。このとき、a+bZabZの少なくとも片方が成り立つ。a+bZのとき、γ=1+432, δ=11b+(a+b)1+432と置く。
    N(αβγδ)=N(11b11b)14<1
    abZのとき、γ=3432, δ=2a+11b+(a+b)1+432とすると、a,bの条件から2a+11bZが得られるため
    N(αβγδ)=N(2a+11b2a+11b)14<1

Z[1+432]は単項イデアル整域である。

Z[1+672]

xRに対して、x=x+12すなわちx[n12,n+12)を満たすnZを表すものとする。このとき、|kxkx|15k=1,2,3,4のうち少なくとも1つにおいて成立する。

補題8と同様に、0x<1について示せれば十分。このとき、以下の7つの場合のいずれかによって主張が成り立つ。

  1. 0x15ならば|xx|15
  2. 15x310ならば|4x4x|15
  3. 415x25ならば|3x3x|15
  4. 25x35ならば|2x2x|15
  5. 35x1115ならば|3x3x|15
  6. 710x45ならば|4x4x|15
  7. 45x<1ならば|xx|15

O=Z[1+672]において、α,βO, β0, αβO, N(α)N(β)であるとき、0<N(αγβδ)<N(β)を満たすようなγ,δOが存在する。

αβ=a+b1+672と置くと、a,bの少なくとも一方は整数ではない。
(a+b1+672)1672=a+17ba1+672(a+b1+672)1+672=17b+(a+b)1+672(a+b1+672)3672=2a+17b+(a+b)1+672であることを用いて、次のように場合分けする。

  1. bZ, aZの場合、γ=1, δ=a+b1+672と置くと、N(αβδ)=N(aa)<1
  2. 2bZ, 2aZの場合、γ=2, δ=2a+2b1+672と置くと、N(2αβδ)=N(2a2a)<1
  3. aZ, 17bZの場合、γ=1672, δ=a+17ba1+672と置くと、N(αβγδ)=N(a+17bδ)<1
  4. 2aZ, 34bZの場合、γ=167, δ=2(a+17b)2a1+672と置くと、N(αβγδ)=N(2a+34b2a+34b)<1
  5. a+bZ, 17bZの場合、γ=1+672, δ=17b+(a+b)1+672とすると、N(αβγδ)=N(17b17b)<1
  6. k=1,2,3,4のいずれかの場合について、0<|kbkb|15が成り立つ場合。γ=k, δ=ka+kbkb2+kb1+672とすると、
    N(αβγδ)=N(ka+kbkb2ka+kbkb2+(kbkb)672)=(ka+kbkb2ka+kbkb2)2+(kbkb)267414+67100=2325<1
  7. a+bZであって、k=2,3,4のいずれかについてka,kbZが成り立つ場合。このとき、2a+17bZが従うため、γ=3672, δ=2a+17b+(a+b)1+672とするとN(αβγδ)=N(2a+17b2a+17b)<1

Z[1+672]は単項イデアル整域である。

Z[1+1632]

xRに対して、x=x+12すなわちx[n12,n+12)を満たすnZを表すものとする。このとき、|kxkx|18k=1,,7のうち少なくとも1つにおいて成立する。

(概略)

補題8,10と同様に、0x<1について示せば十分であり、またそれは区間[0,1)を適切な19個の区間で覆うことで示される。

O=Z[1+1632]において、α,βO, β0, αβO, N(α)N(β)であるとき、0<N(αγβδ)<N(β)を満たすようなγ,δOが存在する。

α,βO, β0, αβO, N(β)N(α)に対して、N(αβγδ)<1となるγ,δOの存在を言えばよい。αβ=a+b1+1632と置くと、条件からa,bQは少なくとも片方が整数ではない。

  1. k=1,2,3のいずれかについて、kaZ, kbZが成り立つ場合。γ=k, δ=ka+kb1+1632と置くと、N(αβδ)=N(kaka)<1
  2. k=1,2,3のいずれかについて、kaZ, 41kbZが成り立つ場合。γ=k11632, δ=ka+41kbka1+1632と置くと、N(αβγδ)=N(41kb41kb)<1
  3. a+bZ, 41bZの場合。γ=1+1632, δ=41b+(a+b)1+1632と置くと、N(αβγδ)=N(41b41b)<1
  4. k=1,,7のいずれかにおいて0<|kbkb|18が成り立つ場合。γ=k, δ=ka+kbkb2+kb1+1632と置くと、
    N(αβγδ)=N(ka+kbkb2ka+kbkb2+(kbkb)1632)14+1641634=227256<1
  5. a,bZ, a+bZかつk=2,,7のいずれかにおいてka,kbZが成り立つ場合。このとき、条件から2a+41bZが成り立つため、γ=31632, δ=2a+41b+(a+b)1+1632と置くと
    N(αβγδ)=N(2a+41b2a+41b)<1
  6. a,bZ, a+2bZかつk=5,7のどちらかにおいてka,kbZが成り立つ場合。このときa=n2bと置くとa41b=n43bZが成り立つ。従ってγ=3+1632, δ=a41b+(a+2b)1+1632と置くと
    N(αβγδ)=N(a41ba41b)<1
  7. a,bZ, a+2bZかつk=5,7のどちらかにおいてka,kbZが成り立つ場合。このときa=n+2bとすると、3a+41b=3n+47bZが成り立つ。従ってγ=51632, δ=3a+41b+(a+2b)1+1632と置くと
    N(αβγδ)=N(3a+41b3a+41b)<1
  8. a,bZ, 2a+bZかつk=5,7のどちらかにおいてka,kbZが成り立つ場合。このときa+82bZが成り立つため、γ=163, δ=a82b+(2a+b)1+1632と置くと
    N(αβγδ)=N(a82ba82b)<1
  9. a,bZ, 2a+bZかつk=5,7のどちらかにおいてka,kbZが成り立つ場合。このとき3a+82bZが成り立つため、γ=2163, δ=3a+82b+(2a+b)1+1632と置くと
    N(αβγδ)=N(3a+82b3a+82b)<1

Z[1+1632]は単項イデアル整域である。

参考文献

[1]
Neukirch, Jürgen, Algebraic Number Theory, Grundlehren der mathematischen Wissenschaften, Springer Berlin, Heidelberg, 1999
[3]
後藤四郎, 渡辺敬一, 可換環論, 日本評論社, 2011
[4]
Clark, David A., A Quadratic Field which Is Euclidian but Not Norm-Euclidian, Manuscripta Mathematica, 1994, 327–330
投稿日:20231220
更新日:2024113
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

merliborn
merliborn
36
10256
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 準備
  2. ユークリッド環 ($d=1,2,3,7,11$)
  3. ガウス型のユークリッド環 ($d=1,2$)
  4. アイゼンシュタイン型のユークリッド環 ($d=3,7,11$)
  5. 擬似的ユークリッド性によるPIDの証明
  6. $\mathbb{Z}\left[\frac{1+\sqrt{-19}}{2}\right]$
  7. $\mathbb{Z}\left[\frac{1+\sqrt{-43}}{2}\right]$
  8. $\mathbb{Z}\left[\frac{1+\sqrt{-67}}{2}\right]$
  9. $\mathbb{Z}\left[\frac{1+\sqrt{-163}}{2}\right]$
  10. 参考文献