有理整数論の基本定理

著者:梅谷武
語句:クンマー,ヤコビ,素因数分解

素数の特徴付けと有理整数論の基本定理について述べる。

作成:2006-04-24
更新:2021-03-17

この節では整数に関するもっとも基本的な性質について解説します。一般的に整数といったときに、ほとんどの場合は第１章で定義したℤのことを指しますが、数学で整数というときには代数的整数というℤを拡張した概念を指すことがあります。この代数的整数と区別するために普通の整数のことを有理整数と呼んでいます。

次の定理は有理整数における素数概念を特徴付けるものです。これはユークリッド原論第VII巻命題30に相当します。

定理2.5.3 素数の特徴付け

2以上の整数pについて、pが素数であることとp|ab ⇒ p|a または p|bが成り立つことは同等である。

証明

この定理は一見して当たり前のように思えますが、整数概念を拡張した代数的整数では、例えばℤ + ℤ√－5={a + b√－5|a,b∈ℤ}において2,3,(1+√－5),(1－√－5)はこれ以上分解できませんが、

6 = 2・3 = (1+√－5)(1－√－5)

となり分解の一意性が成り立ちません。また、この環ではイデアル(2,1+√－5)が単項イデアルになりません。クンマーKummer, Ernst Eduard,1810-1893はℤ[ζ_p]上で整数論を展開することについて研究し、この上で素因数分解の一意性が成り立てば有名なフェルマーの大定理が証明できることに気が付きました。そこでフェルマーの問題を解決したという論文を投稿しましたが、ヤコビJacobi, Carl Gustav Jacob, 1804-1851に誤りを指摘されて取り下げたという逸話が残っています。クンマーが1844年4月20日付けでベルリン学士院に送ったこの原稿は、近年、H.M.Edwardsによって発見されています。

次の定理がこの節の目的となるものです。ガウスは『整数論』第2章一次合同式の冒頭でユークリッド原論第VII巻命題30を復習した後にこの定理を証明し、以後の議論の基礎としています。

定理2.5.7 有理整数論の基本定理

0でない任意の整数は±1と素数の積に分解され、素因数分解そいんすうぶんかい, prime factorizationと呼ばれるその分解は積の順序を除けば一意的である。

証明

0でない整数nを与える。±1はnの正負に対応して定まるのでnを正として議論を進める。n=1のときは0個の素数の積と考える。nが素数の積に分解されることをnに関する数学的帰納法で証明する。n=2とする。2は素数でありこれ以上分解することはできない。nまで素因数分解されたと仮定してn+1について考える。n+1が素数であれば、それ以上は分解できない。合成数であればn+1=abと約数の積で表すことができるが、帰納法の仮定によりa,bはそれぞれ素数に分解されているからn+1も素数の積に分解される。nが次のように２通りに素因数分解されたとする。

n = p₁p₂ ⋯ p_r = q₁q₂ ⋯ q_s, 0≦r≦s