Connection With Fermat's Last Theorem
The following theorem connecting Wieferich primes and Fermat's last theorem was proven by Wieferich in 1909:
- Let p be prime, and let x, y, z be integers such that xp + yp + zp = 0. Furthermore, assume that p does not divide the product xyz. Then p is a Wieferich prime.
The above case (where p does not divide any of x, y or z) is commonly known as the first case of Fermat's last theorem (FLTI) and FLTI is said to fail for a prime p, if solutions to the Fermat equation exist for that p, otherwise FLTI holds for p. In 1910, Mirimanoff expanded the theorem by showing that, if the preconditions of the theorem hold true for some prime p, then p2 must also divide 3p − 1 − 1. Granville and Monagan further proved that p2 must actually divide mp − 1 − 1 for every prime m ≤ 89. Suzuki extended the proof to all primes m ≤ 113.
Let Hp be a set of pairs of integers with 1 as their greatest common divisor, p being prime to x, y and x + y, (x + y)p-1 ≡ 1 (mod p2), (x + ξy) being the pth power of an ideal of K with ξ defined as cos 2π/p + i sin 2π/p. K = Q(ξ) is the field extension obtained by adjoining all polynomials in the algebraic number ξ to the field of rational numbers (such an extension is known as a number field or in this particular case, where ξ is a root of unity, a cyclotomic number field). From uniqueness of factorization of ideals in Q(ξ) it follows that if the first case of Fermat's last theorem has solutions x, y, z then p divides x+y+z and (x, y), (y, z) and (z, x) are elements of Hp. Granville and Monagan showed that (1, 1) ∈ Hp if and only if p is a Wieferich prime.
Read more about this topic: Wieferich@Home, Properties
Famous quotes containing the words connection with, connection and/or theorem:
“We live in a world of things, and our only connection with them is that we know how to manipulate or to consume them.”
—Erich Fromm (19001980)
“We should always remember that the work of art is invariably the creation of a new world, so that the first thing we should do is to study that new world as closely as possible, approaching it as something brand new, having no obvious connection with the worlds we already know. When this new world has been closely studied, then and only then let us examine its links with other worlds, other branches of knowledge.”
—Vladimir Nabokov (18991977)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (19131960)