一意分解整域 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 一意分解整域 へ行く。

* 仮定 [#c9335d3b]

- &mathjax{R}; は整域

* 定義 [#cd8b54cb]

&mathjax{R}; が一意分解整域 (UFDとも) であるとは、零元でも単元でもない &mathjax{R}; の元 &mathjax{a}; が有限個の既約元の積に一意に分解できることをいう。これと零元でも単元でもない &mathjax{R}; の元 &mathjax{a}; が有限個の素元の積に分解できることは同値 (素元分解が一意であることは要求しないが、一意であることは示せる) 。

*例 [#n304c8c6]
-&mathjax{\mathbb{Z}};は UFD の例である。 &mathjax{0, \pm 1};を除く元が全て素因数分解によって素元の積に分解できるためである。負数に関しては適当な項を &mathjax{-1};倍してやればよい。
--すぐ述べる通り、このとき「有限個の素元の積」への分解は、積の順序と単元倍を除いて一意である。
-体 (&mathjax{\mathbb{Q}, \mathbb{R}, \mathbb{C}};など) は零元と単元しかないので、自明な意味で UFD 。
-体 (&mathjax{\mathbb{Q}, \mathbb{R}, \mathbb{C}};など) は零元と単元しかないので UFD 。どの数もどのような積にでも分解でき、それらは全て「単元倍」となるので一意性を崩さない。
-平方数でない整数 &mathjax{m};によって次のように定義される環を''二次の整数環''という。
&mathjax{\mathbb{Z}(\sqrt{m}) := \left\{a + b\sqrt{m} \mathrel{}\middle|\mathrel{} a,b \in \mathbb{Z}\right\}};
この環は &mathjax{m};によって UFD になったり UFD にならなかったりする。
--これはもともと二次体 &mathjax{\mathbb{Q}(\sqrt{m})};から導かれる「整数的なもの」らしい？それはまあどうでもいい。
--&mathjax{\mathbb{Z}(\sqrt{2}) = \left\{a + b\sqrt{2} \mathrel{}\middle|\mathrel{} a,b \in \mathbb{Z}\right\}};
とするとこれは UFD 。
--&mathjax{\mathbb{Z}(\sqrt{-5}) = \left\{a + b\sqrt{-5} \mathrel{}\middle|\mathrel{} a,b \in \mathbb{Z}\right\}};
とするとこれは UFD ではない。実際、元 &mathjax{6};を考えると、 &mathjax{6 = 2 \cdot 3 = (1 + \sqrt{-5})(1 - \sqrt{-5})};となる。 &mathjax{2, 3, (1+\sqrt{-5}), (1-\sqrt{-5})};はいずれも既約元であるが、単元は &mathjax{\pm 1};しかない。この二つは異なる既約分解である。
* その他 [#b0c2d4fa]

- UFD の素元と既約元は一致する。