書記が数学やるだけ#581 PID→UFDの証明

前回まででガウス整数における素因数分解の一意性を示したので，より一般的な場合について素因数分解の一意性を考える。

問題

解答

PIDを示すには，以前に証明した除法の原理を用いる。

PIDにおける昇鎖律を示す。

UFDについて，存在性は昇鎖律より示す。

一意性は，以前ガウス整数でやったものとほぼ同様である。

本記事のもくじはこちら：