次に「証明路開発支援システム(6) - 非専門的シンギュラリティー研究所」の「一意分解整域の別の定義」の部分の(5)から(8)までを見ていきます。 (F) 既約元の積に分解可能 の でも単元でもない任意の元 に対して既約元 が存在して と表すことができる。 (U) …

次に「証明路開発支援システム(6) - 非専門的シンギュラリティー研究所」の(5)から(8)までを見ていきます。 (5) 単項イデアル整域の既約元は素元となります。 [証明] を単項イデアル整域、 を既約元とします。 が素元であることを証明します。 、、 とします…