I’ve been re-reading Simon Singh’s book on Fermat and he relates how Cauchy’s attempt to prove Fermat’s Last Theorem was derailed by the issue of unique factorisation via complex numbers. However, Singh leaves it there. Did Cauchy in fact prove Fermat true for cardinal numbers?
Fermat’s Last Theorem is only stated to apply for cardinal numbers in the first place. If Cauchy had proven it for cardinal numbers, then he would have proven it.
The fact that complex numbers show up in the attempted proof does not mean that anyone was trying to apply the theorem to complex numbers.
No, the first rigorous proof for the special case of regular primes (and their multiples) was published by Ernst Kummer in 1850.
Cauchy and Lamé had only presented an outline of a proof, which they retracted after the flaw concerning irregular primes was pointed out.
Sorry, I meant if you could only use cardinals when factoring.
But Fermat’s Last Theorem isn’t about factoring. If factoring shows up in a proof (or attempted proof), it’s because the mathematics led there from the original problem statement. And if the mathematics leads there in such a way that irregular factoring is relevant, then irregular factoring is relevant, and you can’t ignore it.