Fermat's Last Theorem in the cyclotomic integers. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T13:09:34Z http://mathoverflow.net/feeds/question/56107 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/56107/fermats-last-theorem-in-the-cyclotomic-integers Fermat's Last Theorem in the cyclotomic integers. Quanta 2011-02-20T21:10:20Z 2011-07-01T15:13:26Z <p>Kummer proved that there are no non-trivial solutions to the Fermat equation FLT(n): $x^n + y^n = z^n$ with $n > 2$ natural and $x,y,z$ elements of a regular cyclotomic ring of integers $K$.</p> <p>I am looking for non-trivial solutions to the Fermat equation FLT(p) in the cyclotomic integer ring $\mathbb{Z}[\zeta_{p}]$ for irregular primes p or any information about how the solutions must be (as a step toward constructing them).</p> <p>George Lowther pointed out in an <a href="http://math.stackexchange.com/questions/21883/does-fermats-last-theorem-hold-for-cyclotomic-integers-in-mathbbq-zeta-37" rel="nofollow">earlier discussion</a> that by <a href="http://dx.doi.org/10.1070/IM1999v063n05ABEH000262" rel="nofollow">Kolyvagin's criterion</a> any solution in $\mathbb{Z}[\zeta_{37}]$ must be in the second case.</p> http://mathoverflow.net/questions/56107/fermats-last-theorem-in-the-cyclotomic-integers/56437#56437 Answer by Tauno Metsänkylä for Fermat's Last Theorem in the cyclotomic integers. Tauno Metsänkylä 2011-02-23T19:37:25Z 2011-02-23T19:37:25Z <p>This answer is a bit late; sorry for that.</p> <p>Kummer's proof of the nonsolvability of $x^p + y^p = z^p$ for regular primes $p$ used “ideal numbers” (in present-day language: ideals) and was intact, at least basically. Hilbert in his Zahlbericht gave a modified proof. Both proofs cover not only rational integers but also numbers in $\mathbb{Z}[\zeta_p]$. On the other hand, Kummer’s second result concerning irregular primes that satisfy certain additional conditions covers just the rational integers (although Hilbert, in the very last section of Zahlbericht, erroneously says that Kummer had proven this result for $\mathbb{Z}[\zeta_p]$ as well). Thus one cannot exclude the possibility that there is indeed a solution $(x,y,z)$ for $p=37$. And because of "Kolyvagin's criterion" about $(2^{37}-2)/37$, this solution must belong to the second case, that is, at least one of these three numbers $x,y,z$ in $\mathbb{Z}[\zeta_{37}]$ must have a common factor with $37$ (as mentioned by George Lowther).</p> <p>By the way, this criterion was also proven by Taro Morishima in 1935 (Japan. J. Math. 11, 241-252, Satz 1; but warning: Satz 2 or at least its proof is incorrect since it is based on some incorrect result of Vandiver).</p> <p>I don’t know how to find such a solution $(x,y,z)$.</p>