ここでは「初等整数論入門」に従って素因数分解の一意可能性の定理(以下の定理 5)を数式を使って書く方法について検討してみたいと思います。この定理は「オイラーとリーマンのゼータ関数」でも取り上げられています。このブログの記事「群論の計算(20)」の「一意分解整域」のところでもこの定理の多項式の場合の証明を書いています。これは体の拡大と体上の多項式の対応を考えるときに必要となるものです。この定理は数学のいろいろな初等的な理論に現れるものと考えられます。
「初等整数論入門」では整数の理論として扱われていますが、自然数の理論と考えることもできます。半環や可換な和の記述に使うこともできると考えられます。
「初等整数論入門」では数学的帰納法と同値な条件、または同様に使うことができる条件が書かれています。これらうちのいくつかの条件に基づいて数式を書くことによって、定理 5 の証明を数式で表すことができると考えられます。
これらの関係は以下のように書かれています。
数学的帰納法の公理 定理 0 定理 1 定理 2 定理 3 ( 系) 定理 4 ( 系 1 系 2) 定理 5
以下にこれらの定理などを引用しておきます。
定理 0
自然数の集合 が空でなければ、最小数を持つ。
定理 1
任意の に対して
を満たす がただ1組存在する。
定理 3
とするとき
- に整数解がある ( は で割り切れる)
系
が互いに素 の形に表せる
定理 4
で、 が で割り切れれば、 が で割り切れる。
系 1
のとき
系 2
系 3
が素数のとき、積 が で割り切れれば、 か が で割り切れる。
系 4
が素数のとき、積 が で割り切れれば、因数 のうち少なくとも1つは で割り切れる。