素イデアル の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 素イデアル へ行く。

* 仮定 [#c9335d3b]

- &mathjax{R}; は環
- &mathjax{I ~(\subset R)}; は &mathjax{R}; のイデアル

* 定義 [#cd8b54cb]

&mathjax{I}; が素イデアルであるとは、任意の &mathjax{a, b \in R}; に対して、 &mathjax{ab \in I}; ならば &mathjax{a \in I}; または &mathjax{b \in I}; となること。
&mathjax{I}; が素イデアルであるとは、任意の &mathjax{a, b \in R}; に対して、 &mathjax{ab \in I}; ならば &mathjax{a \in I}; または &mathjax{b \in I}; となること。ただし &mathjax{R}; 自身は除く。

* 例 [#ae2093c7]

整数環 &mathjax{\mathbb{Z}}; においては、素数 &mathjax{p}; が生成するイデアル &mathjax{(p)}; が素イデアルになる。

素イデアルは素数の概念を環に拡張したものである。この定義は、整数の世界では、 &mathjax{x}; が素数の倍数であるなら、どのような積に分けても、素数の倍数とそれ以外の積になると言っている。これは素因数分解を考えると当然。逆に &mathjax{x}; がある数の倍数であって、これをどのような積に分けてもどちらか一方が必ずその数の倍数になるなら、その数は素数であると定義することもできる。これも素因数分解を考えると矛盾しない。