: この文書について...

代数学演習 I 問題 No.9

$\fbox{一意分解環・単項イデアル整域・ユークリッド整域編(1)}$

今回も「環」といえば単位元を持つ可換環であるとし、「環の準同型」は単位元を保つものだけを考えることにします。

定義 9.1 整域

が一意分解環(unique factorization domain:UFD) であるとは、 $R\setminus \{0\}$ の任意の元

が素元の積に

$\displaystyle x=p_1 p_2\dots p_k ($ $p_1,...,p_k$ は $R$ の素元 $\displaystyle )$

のように書けるときに言います。 ( $p_1,\dots,p_k$ の中には同じものがあってもよい。)

定義 9.2 整域

が単項イデアル整域 (principal ideal domain:PID) であるとは、

のすべてのイデアルが単項イデアル(一つの元で生成されるイデアル)であるときに言います。

定義 9.3 整域

がユークリッド整域 (Euclidian domain:ED) であるとは、整列順序集合

と写像 $\rho:R\to W$ (「重さ」を調べる写像)があって、次の性質を満たすときに言います。

の元の「重さ」 $\rho(a)$ が最小 ${\Leftrightarrow}$
の元 $% latex2html id marker 1014 $ (a\neq 0)$$ に対して、

$% latex2html id marker 1016 $\displaystyle b=aq+r,\quad q,r\in R, \quad \rho(r)<\rho(a) $$
となるが存在する。

これから暫くの間 (3回ぐらい)上の３つのタイプの環が主題になります。基本的には、

ED $\displaystyle \implies$ PID $\displaystyle \implies$ UFD

という事実と、諸例、それに定義の意味が分るようになれば OK です。まず上に上げた定義のうちの幾つかの用語に関する問題から始めます。

問題 9.1 環

の元

について、次の二つは同値であることを示しなさい。

は素元である。すなわちがを割り切れば、かかのどちらかはの倍元である。
で生成されるのイデアルは素イデアルである。

例題 9.1 (整列集合の定義の確認)

をユークリッド整域とし、 $\rho:R\to W$ を定義 9.3 に出てくる写像とします。この時、任意の

の部分集合

に対して、

の中で重さが最小のもの(「一番軽いもの」)があることを示しなさい。

「

が整列集合である」とは、「

の任意の部分集合

は最小元を持つ」ということでした。そこで、「

の元の重さの集合」

$% latex2html id marker 1065 $\displaystyle \{\rho(a); \quad a\in S\} $$

を

として採用すると、この中に最小元がある筈です。これを $\rho(a_0)$ とすれば、

が求めるものということになります。(注意：一番軽い元は一つとは限りません。)

問題 9.2 ユークリッド整域は単項イデアル整域であることを示しなさい。(ヒント：

をユークリッド整域とし、

をそのイデアルの一つとします。

なら単項 (0 で生成される)のでよい。 $% latex2html id marker 1081 $ I \neq 0$$ なら、 $I\setminus\{0\}$ の元のうち、一番軽い元をとってみなさい。)

問題 9.3 ${\mbox{${\mathbb{Z}}$}}$ はユークリッド整域であることを、定義に沿って示しなさい。 $(W=?, \rho=?)$

問題 9.4 体

上の一変数多項式環

はユークリッド整域であることを、定義に沿って示しなさい。

問題 9.5 $% latex2html id marker 1096 $ \omega=\frac{-1+\sqrt{-3}}{2}$$ (１の三乗根の一つ)とするとき、 $\mbox{${\mathbb{Q}}$}$ $[\omega]$ は体であることを示しなさい。

問題 9.6 $% latex2html id marker 1102 $ {\mbox{${\mathbb{Z}}$}}[\sqrt{-1}]$$ は「重み関数」 $\rho$ を

$% latex2html id marker 1105 $\displaystyle \rho:{\mbox{${\mathbb{Z}}$}}[\sqrt{-1}]$$	$\displaystyle \to$	$% latex2html id marker 1107 $\displaystyle {\mbox{${\mathbb{Z}}$}}_{\geq 0}$$
$\displaystyle \cup \!\! \!\! \shortmid$		$\displaystyle \cup \!\! \!\! \shortmid$
$% latex2html id marker 1110 $\displaystyle m+n\sqrt{-1}$$	$\displaystyle \mapsto$	$\displaystyle m^2+n^2$

で定義することにより、ユークリッド環となることを示しなさい。(ヒント： $% latex2html id marker 1114 $ \alpha,\beta \in {\mbox{${\mathbb{Z}}$}}[\sqrt{-1}], \beta \neq 0$$ とするとき、 $\alpha$ を $\beta$ で割った商を求めるには、 $\alpha/\beta$ を $% latex2html id marker 1122 $ {\mbox{${\mathbb{Z}}$}}[\sqrt{-1}]$$ の元で近似してみなさい。)

問題 9.7

任意の複素数に対して、ある $% latex2html id marker 1127 $ \gamma\in {\mbox{${\mathbb{Z}}$}}[\sqrt{-2}]$$ があって、と $\gamma$ との距離 $\vert\gamma-z\vert$ は以下であることを示しなさい。(ヒント：複素平面上に $% latex2html id marker 1137 $ {\mbox{${\mathbb{Z}}$}}[\sqrt{-2}]$$ の元をプロットしてみなさい。)
$% latex2html id marker 1139 $ {\mbox{${\mathbb{Z}}$}}[\sqrt{-2}]$$ は「重み関数」 $\rho$ を

$% latex2html id marker 1142 $\displaystyle \rho:{\mbox{${\mathbb{Z}}$}}[\sqrt{-2}]$$ $\displaystyle \to$ $% latex2html id marker 1144 $\displaystyle {\mbox{${\mathbb{Z}}$}}_{\geq 0}$$

$\displaystyle \cup \!\! \!\! \shortmid$ $\displaystyle \cup \!\! \!\! \shortmid$

$% latex2html id marker 1147 $\displaystyle m+n\sqrt{-2}$$ $\displaystyle \mapsto$ $\displaystyle m^2+2n^2$

で定義することにより、ユークリッド環となることを示しなさい。

問題 9.8 $% latex2html id marker 1152 $ \omega=\frac{-1+\sqrt{-3}}{2}$$ (

の三乗根の一つ) とします。このとき、 ${\mbox{${\mathbb{Z}}$}}[\omega]$ はユークリッド環であることを示しなさい。

問題 9.9 次の $% latex2html id marker 1159 $ {\mbox{${\mathbb{Z}}$}}[\sqrt{-1}]$$ のイデアルを簡単な形になおしなさい。

$% latex2html id marker 1161 $ (3+4\sqrt{-1},5)$$
$% latex2html id marker 1163 $ (5+12\sqrt{-1},13)$$
$% latex2html id marker 1165 $ (7+8\sqrt{-1},9)$$

: この文書について...

平成17年12月13日

$% latex2html id marker 1142 $\displaystyle \rho:{\mbox{${\mathbb{Z}}$}}[\sqrt{-2}]$$	$\displaystyle \to$	$% latex2html id marker 1144 $\displaystyle {\mbox{${\mathbb{Z}}$}}_{\geq 0}$$
$\displaystyle \cup \!\! \!\! \shortmid$		$\displaystyle \cup \!\! \!\! \shortmid$
$% latex2html id marker 1147 $\displaystyle m+n\sqrt{-2}$$	$\displaystyle \mapsto$	$\displaystyle m^2+2n^2$