■整数の拡大と素因数分解の一意性(その12)

x^4+y^4=z^4はガウス整数Z[i]の範囲でも解をもちえない

x^3+y^3=z^3はアイゼンシュタイン整数Z[ω]の範囲でも解をもちえない

ことから、直ちに

x^4+y^4=z^4は整数解をもちえない

x^3+y^3=z^3は整数解をもちえない

ことが証明される。

===================================

これらをさらに拡大して,

a0,a1,・・・,ap-2を整数

ζ=exp(2πi/p),pは奇素数とするとき

a0+a1ζ+a1ζ^2+・・・+ap-2ζ^p-2

の形の複素数を円分整数Z[ζ]といい、Z[ζ]を含む最小の体を円分体Q[ζ]という。

ap-1ζ^p-1が入っていないのは

ζ^p-1=-(1+ζ+ζ^2+・・・+ζ^p-2)と書けることから、ζ^p-1は消去可能で、結果的に同じ集合が得られることになるからである。

一意性が成り立つためにはap-1ζ^p-1が入っていないほうが都合がよいのである。

===================================

Z[i]やZ[ω]のように、素因数分解の一意性が成り立てばフェルマー予想の証明に活用できることから、さらに都合はよいのであるが、そうは問屋が卸さなかった

===================================