跳到主要内容

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

Author

GPT-5

Description

複素数体の部分環

R={x+y3x,yZ}R=\{x+y\sqrt{-3}\mid x,y\in\mathbb Z\}

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

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

(2) 素数 77

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

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

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

题目描述

考虑复数域的子环

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

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

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

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

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

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

考点

  • 二次整数环的范数:使用 N(x+y3)=x2+3y2N(x+y\sqrt{-3})=x^2+3y^2 的乘法性刻画单位与非单位。
  • 素数在二次整数环中的分解:通过寻找范数等于给定素数的元素构造共轭因子,并由素数性限制任意非平凡分解的范数。

Kai

(1)

α=x+y3\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+32213=1^2+3\cdot2^2 なので

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

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

(3)

p=αβp=\alpha\beta とし、α=x+y3\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}

となる。