【１】クンマーの定理

　フェルマーの問題『ｘ^n＋ｙ^n＝ｚ^nでｎ≧３のとき，ｘ，ｙ，ｚは正の整数解をもたない．』は，ｎ＝１のときにはｘ＋ｙ＝ｚという単なる足し算ですから，ｘとｙにどんな自然数を入れても自然数ｚは必ず存在します．ｎ＝２の場合はピタゴラス方程式：ｘ^2＋ｙ^2＝ｚ^2ですから，解は無限にあることがわかります．ｎ＝４の場合は，フェルマー自身が無限降下法という一種の背理法を用いて０と１の中間に整数が存在するという矛盾を導き出すことによって証明が与えられました．

　指数が３以上のフェルマー方程式については，ｎ＝３の場合はオイラー（１７７０年），ｎ＝５の場合はディリクレとルジャンドル（１８２５年），ｎ＝７の場合はラメ（１８３９年）によって証明が与えられ，それ以上のｎについては素数の場合だけを調べればよいのですが，初等的な方法では手続きが急速に複雑になって行き詰まりこれ以上進むことに限界がありました．

　個々のｎに対して攻略する時代はこれで終わり，あとは一般的なｎに対する攻略の道筋にまったく新しい方向性と理論を見いだす必要があったのですが，最大のブレークスルーは１８５１年，クンマーによってなされました．

　クンマーは円分体の整数論の研究に専念し，

　　(1)２≦ｋ≦ｐ−３なるすべての偶数ｋについて，有理数ζ(k)／π^kの分子がｐで割れない

　　(2)円分体Ｑ（ζp）の類数（イデアル類群の元の個数）がｐで割れない

は同値で，

　　(3)Ｑ（ζp）の類数がｐで割れなければ，ｘ^p＋ｙ^p＝ｚ^pを満たす自然数ｘ，ｙ，ｚは存在しない

ことを示したのです．

　正則素数ｐはＢp-3 までのベルヌーイ数Ｂk の分子を割り切ることのできない素数として定義されていて，クンマーの定理によって正則素数であるすべてのｎに対してフェルマー予想が成立すること，たとえば，１００以下の非正則素数は３７，５９，６７ですべてですから，この３つの数以外では１００までのｎに対してフェルマー予想が正しいことが証明されたことになります．

　非正則素数は無限に多く存在し，６９１も非正則素数のひとつです．そして，クンマーの定理を精密化したもの（詳しく正確にいったもの）は岩澤理論と呼ばれています．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝