整域 の素元全体の集合を 、既約元全体の集合を とします。 によって( の乗法によって)生成されたモノイドを とおきます。 のイデアル全体の集合を とおきます。 を とします。 を と書きます。 に対して を と書きます。
のとき を一意分解整域と呼びます。
のとき を単項イデアル整域と呼びます。
[証明]
[証明終わり]
[証明] とすると であり なので となります。よって となる が存在します。 よりある 以外は となります。よって となって となります。
より となるので となります。[証明終わり]
[証明] とおくと( は の部分集合の和集合を表す) となります。
となる が存在します。 となる が存在します。
ならば 、、 となる が存在します。 とすると、 となります。 より となります。 より となり に矛盾。よって となります。同様に となります。 となって に矛盾。よって となります。
よって となります。[証明終わり]