19/12/18 23:26:32 Vi/bkRgQ.net
ζ := ζp = exp(2πi/p)
Kummerは、Z[ζp]がUFDとなる素数pに対しては、Fermat's last theoremが成り立つことを示したそうですけど、どうやるんでしょう
(x - yζ)(x - yζ^2)...(x - yζ^(p-1)) = z^p
と因数分解してチョチョイのチョイ、とはいかなそうです
19/12/18 23:26:32 Vi/bkRgQ.net
ζ := ζp = exp(2πi/p)
Kummerは、Z[ζp]がUFDとなる素数pに対しては、Fermat's last theoremが成り立つことを示したそうですけど、どうやるんでしょう
(x - yζ)(x - yζ^2)...(x - yζ^(p-1)) = z^p
と因数分解してチョチョイのチョイ、とはいかなそうです