UFD で元の素元分解は一意的 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• UFD で元の素元分解は一意的 へ行く。

* (定理) UFD で元の素元分解は一意的 [#hcad20fe]

** 仮定 [#uc306db7]

- &mathjax{R}; は [[UFD>一意分解整域]]
- &mathjax{a ~(\in R)}; は &mathjax{R}; の零元でも単元でもない元

** 主張 [#f2274f05]

&mathjax{a}; の素元分解は (積の各項の単元倍を除いて) 一意的である。

* 証明 [#m05ff4ad]

&mathjax{n,m}; を自然数とする。 &mathjax{R}; の素元 &mathjax{p_1, \cdots, p_n, q_1, \cdots, q_m}; を使って &mathjax{a = p_1 \cdots p_n = q_1 \cdots q_m}; の2通りに素元分解ができたとする。
このとき、 &mathjax{p_1 \mid a}; であるから、 &mathjax{p_1 \mid q_1}; または &mathjax{p_1 \mid q_2 \cdots q_m}; のいずれかが成立。
もし &mathjax{p_1 \mid q_1}; であるなら、何か適当な元 &mathjax{b}; を用いて &mathjax{bp_1 = q_1}; と書ける。ところで &mathjax{q_1}; は素元であるから既約元でもある。そこで既約元の定義により &mathjax{b}; が単元か &mathjax{p_1}; が単元であるが、 &mathjax{p_1}; は素元なので単元ではない (素元はその元が生成する単項イデアルが素イデアルであるものであるが、単元の単項イデアルは &mathjax{R}; 全体となる。これは素イデアルとは認めないと定義されている) 。従って &mathjax{b}; が単元となる。すなわち &mathjax{q_1}; は &mathjax{p_1}; の単元倍である。
一方、 &mathjax{p_1 \mid q_2 \cdots q_m}; であるなら、また積を &mathjax{p_1 \mid q_2}; または &mathjax{p_1 \mid q_3 \cdots q_m}; と分解して同様の議論をすることができる。これを繰り返すと、最終的に &mathjax{q_1 \cdots q_m}; のどれかが &mathjax{p_1}; の単元倍であることが分かる。
さて、 &mathjax{p_1}; を除いた &mathjax{p_2 \cdots p_n}; と、 &mathjax{p_1}; の単元倍になっている &mathjax{q_i}; を除いた &mathjax{q_1 \cdots q_{i-1} q_{i+1} \cdots q_m}; は、単元倍を除いて等しいので、上と同様の議論ができる。これを繰り返していくと、いずれか一方の素元分解の項が尽きたときに残っているのは単元ということになる。よって結局、二つの素元分解は各項の単元倍を除いて等しい。

* 例 [#j4accdf6]

- &mathjax{\mathbb{Z}}; において、たとえば &mathjax{-6}; について考えると、 &mathjax{-6 = 2 \cdot (-3)}; という分解しかありえない。実際 &mathjax{(-2) \cdot 3}; というのは両方に単元 &mathjax{-1}; をかけただけだけなので同一視されるし、 &mathjax{1 \cdot (-6)}; といった積は &mathjax{1}; が素元 (＝素数) ではないので成立しない。