|
|
| Line 1: |
Line 1: |
| In [[number theory]], a branch of [[mathematics]], a '''Mirimanoff's congruence''' is one of a collection of expressions in [[modular arithmetic]] which, if they hold, entail the truth of [[Fermat's Last Theorem]]. Since the theorem has now been proven, these are now of mainly historical significance, though the Mirimanoff polynomials are interesting in their own right. The theorem is due to [[Dmitry Mirimanoff]].
| | Oscar is what over the counter std test my wife enjoys to [http://Www.strangecosmos.com/content/item/170784.html contact] me and [http://www.Health.com/health/condition-article/0,,20188476,00.html I completely] dig that [http://www.hotporn123.com/blog/154369 home std test kit] title. The thing she adores most is physique building and now over the counter std test she is trying to earn money with it. For at [http://www.gaysphere.net/blog/167593 over the counter std test] home std testing many years he's been operating as a meter reader and it's something he really appreciate. My family lives in Minnesota and my family members enjoys it.<br><br>Here is my homepage [http://product-dev.younetco.com/xuannth/fox_ios1/index.php?do=/profile-1539/info/ home std test kit] |
| | |
| ==Definition==
| |
| | |
| The ''n''th Mirimanoff polynomial for the prime ''p'' is
| |
| :<math>\phi_n(t) = 1^{n-1}t + 2^{n-1}t^2 + ... + (p-1)^{n-1} t^{p-1}.</math> | |
| In terms of these polynomials, if ''t'' is one of the six values {-''X''/''Y'', -''Y''/''X'', -''X''/''Z'', -''Z''/''X'', -''Y''/''Z'', -''Z''/''Y''} where ''X''<sup>''p''</sup>+''Y''<sup>''p''</sup>+''Z''<sup>''p''</sup>=0 is a solution to Fermat's Last Theorem, then
| |
| * φ<sub>''p''-1</sub>(''t'') ≡ 0 (mod ''p'')
| |
| * φ<sub>''p''-2</sub>(''t'')φ<sub>2</sub>(''t'') ≡ 0 (mod ''p'')
| |
| * φ<sub>''p''-3</sub>(''t'')φ<sub>3</sub>(''t'') ≡ 0 (mod ''p'')
| |
| :...
| |
| * φ<sub>(''p''+1)/2</sub>(''t'')φ<sub>(''p''-1)/2</sub>(''t'') ≡ 0 (mod ''p'')
| |
| | |
| ==Other congruences==
| |
| | |
| Mirimanoff also proved the following:
| |
| | |
| *If an odd prime ''p'' does not divide one of the numerators of the [[Bernoulli number]]s ''B''<sub>''p''-3</sup>, ''B''<sub>''p''-5</sub>, ''B''<sub>''p''-7</sub> or ''B''<sub>''p''-9</sub>, then the first case of Fermat's Last Theorem, where ''p'' does not divide ''X'', ''Y'' or ''Z'' in the equation ''X''<sup>''p''</sup>+''Y''<sup>''p''</sup>+''Z''<sup>''p''</sup>=0, holds.
| |
| | |
| *If the first case of Fermat's Last Theorem fails for the prime ''p'', then 3<sup>''p''-1</sup> ≡ 1 (mod ''p''<sup>2</sup>). A prime number with this property is sometimes called a ''Mirimanoff prime'', in analogy to a [[Wieferich prime]] which is a prime such that 2<sup>''p''-1</sup> ≡ 1 (mod ''p''<sup>2</sup>). The existence of primes satisfying such congruences was recognized long before their implications for the first case of Fermat's Last Theorem became apparent; but while the discovery of the first Wieferich prime came after these theoretical developments and was prompted by them, the first instance of a Mirimanoff prime is so small that it was already known before Mirimanoff formulated the connection to FLT in 1910, which fact may explain the reluctance of some writers to use the name. So early as his 1895 paper (p. 298), Mirimanoff alludes to a rather complicated test for the primes now known by his name, deriving from a formula published by [[James Joseph Sylvester|Sylvester]] in 1861, which is of little computational value but great theoretical interest. This test was considerably simplified by Lerch (1905), p. 476, who showed that
| |
| | |
| <math>3^p-1 \equiv \left(- \frac 23 \cdot \left\{ 1 + \frac 12 + \frac 13 + \frac 14 + \ldots + \left\lfloor p/3 \right\rfloor^{-1}\right\}\right)p + 1 \pmod {p^2}</math>
| |
| | |
| so that a prime possesses the Mirimanoff property if it divides the expression within the curly braces. The condition was further refined in an important paper by Emma Lehmer (1938), in which she considered the intriguing and still unanswered question of whether it is possible for a number to possess the properties of Wieferich and Mirimanoff simultaneously. To date, the only known Mirimanoff primes are 11 and 1006003 {{OEIS|id=A014127}}. The discovery of the second of these appears to be due to K.E. Kloss (1965).
| |
| | |
| ==References==
| |
| *K.E. Kloss, "Some Number-Theoretic Calculations," Journal of Research of the National Bureau of Standards—B. Mathematics and Mathematical Physics '''69''' (1965), pp. 335–336.
| |
| *Emma Lehmer, "On Congruences involving Bernoulli Numbers and the Quotients of Fermat and Wilson," Annals of Mathematics '''39''' (1938), pp. 350–360.
| |
| *M. Lerch, "Zur Theorie des Fermatschen Quotienten…," Mathematische Annalen '''60''' (1905), pp. 471–490 [http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN235181684_0060&DMDID=dmdlog56].
| |
| *D. Mirimanoff, "Sur la Congruence (''r''<sup>''p''−1</sup> − 1):''p'' ≡ ''q''<sub>''r''</sub>," Journal für die reine und angewandte Mathematik '''115''' (1895), pp. 295–300 [http://gdz.sub.uni-goettingen.de/ru/dms/load/img/?PPN=PPN243919689_0115&DMDID=dmdlog23]. Some corrections are given in the 1937 paper below.
| |
| *D. Mirimanoff, "Sur le dernier théorème de Fermat et le Critérium de M. A. Wieferich," L'Enseignement Mathématique '''11''' (1909), pp. 455–459 [http://retro.seals.ch/digbib/view?rid=ensmat-001:1909:11::717].
| |
| *D. Mirimanoff, "Sur le dernier théorème de Fermat," Comptes rendus hebdomadaires des séances de l'Académie des Sciences '''150''' (1910), pp. 204–206; a revised and expanded version of this paper appeared under the same title in Journal für die reine und angewandte Mathematik '''139''' (1911), pp. 309–324 [http://gdz.sub.uni-goettingen.de/ru/dms/load/img/?PPN=PPN243919689_0139&DMDID=dmdlog18].
| |
| *D. Mirimanoff, "Sur les nombres de Bernoulli," L'Enseignement Mathématique '''36''' (1937), pp. 228–235 [http://retro.seals.ch/digbib/view?rid=ensmat-001:1937:36::460].
| |
| *[[Paulo Ribenboim]], ''13 Lectures on Fermat's Last Theorem'', Springer, 1979
| |
| *Paulo Ribenboim, ''My Numbers, My Friends: Popular Lectures on Number Theory'', Springer, 2006
| |
| | |
| {{DEFAULTSORT:Mirimanoff's Congruence}}
| |
| [[Category:Number theory]]
| |
Oscar is what over the counter std test my wife enjoys to contact me and I completely dig that home std test kit title. The thing she adores most is physique building and now over the counter std test she is trying to earn money with it. For at over the counter std test home std testing many years he's been operating as a meter reader and it's something he really appreciate. My family lives in Minnesota and my family members enjoys it.
Here is my homepage home std test kit