跳到主要内容

東京工業大学 情報理工学院 数理・計算科学系 2018年8月実施 午前 問1

Author​

祭音Myyura (co-authored with GPT 5.6 SOL)

Description​

複素数体の部分環

R={x+y−3∣x,y∈Z}R=\{x+y\sqrt{-3}\mid x,y\in\mathbb Z\}

を考える。以下の問いに答えよ。

(1) RR の可逆元をすべて求めよ。

(2) 素数 77 は

7=(2+−3)(2−−3)7=(2+\sqrt{-3})(2-\sqrt{-3})

と RR の二つの非可逆元の積に分解できる。同様に、素数 1313 を二つの非可逆元の積として表せ。

(3) 素数 pp が RR の二つの非可逆元の積ならば、ある x,y∈Zx,y\in\mathbb Z によって p=x2+3y2p=x^2+3y^2 と表せることを示せ。

题目描述​

考虑复数域的子环

R={x+y−3∣x,y∈Z}.R=\{x+y\sqrt{-3}\mid x,y\in\mathbb Z\}.
  1. 求环 RR 的全部单位。

  2. 素数 77 在 RR 中可以分解为两个非单位的乘积

    7=(2+−3)(2−−3).7=(2+\sqrt{-3})(2-\sqrt{-3}).

    类似地,把素数 1313 表示成 RR 中两个非单位的乘积。

  3. 证明:若素数 pp 能写成 RR 中两个非单位的乘积,则存在 x,y∈Zx,y\in\mathbb Z 使

    p=x2+3y2.p=x^2+3y^2.

Kai​

(1)​

α=x+y−3\alpha=x+y\sqrt{-3} に対し、共役との積

N(α)=αα‾=x2+3y2N(\alpha)=\alpha\overline\alpha=x^2+3y^2

をノルムとする。N(αβ)=N(α)N(β)N(\alpha\beta)=N(\alpha)N(\beta) であり、α\alpha が可逆なら N(α)=1N(\alpha)=1 でなければならない。逆にノルム 1 の元は共役を逆元に持つ。

x2+3y2=1x^2+3y^2=1

の整数解は (x,y)=(1,0),(−1,0)(x,y)=(1,0),(-1,0) だけなので、可逆元は

1,−1\boxed{1,-1}

である。

(2)​

13=12+3⋅2213=1^2+3\cdot2^2 なので

13=(1+2−3)(1−2−3).\boxed{13=(1+2\sqrt{-3})(1-2\sqrt{-3})}.

両因子のノルムは 13 であり、(1) より非可逆元である。

(3)​

p=αβp=\alpha\beta とし、α=x+y−3\alpha=x+y\sqrt{-3} と書く。ノルムの乗法性から

p2=N(p)=N(α)N(β).p^2=N(p)=N(\alpha)N(\beta).

α,β\alpha,\beta は非零の非可逆元なので、N(α),N(β)N(\alpha),N(\beta) はともに 1 より大きい正整数である。pp は素数だから、積が p2p^2 となる可能性は

N(α)=N(β)=pN(\alpha)=N(\beta)=p

だけである。従って

p=N(α)=x2+3y2\boxed{p=N(\alpha)=x^2+3y^2}

となる。