書記が数学やるだけ#581 PID→UFDの証明
前回まででガウス整数における素因数分解の一意性を示したので，より一般的な場合について素因数分解の一意性を考える。
問題
解答
PIDを示すには，以前に証明した除法の原理を用いる。
PIDにおける昇鎖律を示す。
UFDについて，存在性は昇鎖律より示す。
一意性は，以前ガウス整数でやったものとほぼ同様である。
本記事のもくじはこちら：
前回まででガウス整数における素因数分解の一意性を示したので，より一般的な場合について素因数分解の一意性を考える。
PIDを示すには，以前に証明した除法の原理を用いる。
PIDにおける昇鎖律を示す。
UFDについて，存在性は昇鎖律より示す。
一意性は，以前ガウス整数でやったものとほぼ同様である。
本記事のもくじはこちら：
