În teoria numerelor, câtul Fermat pentru un întreg a ≥ 2 peste o bază simplă p este o fracție [1] [2] [3] [4]
Dacă a este coprim pentru p , atunci Teorema Mică a lui Fermat afirmă că q p ( a ) va fi un număr întreg. Privat este numit după Pierre de Fermat .
Din definiţie este evident că
În 1850, Gotthold Eisenstein a demonstrat că dacă a și b sunt ambele relativ prime pentru p , atunci: [5]
; ; ; ; .Eisenstein a comparat primele două relații cu proprietățile logaritmilor.
Din aceste proprietăți rezultă
; .În 1895, Dmitri Mirimanov (Dmitri Mirimanoff) a subliniat că aplicarea consecventă a regulilor lui Eisenstein duce la [6]
De aici rezultă că [7]
Eisenstein a descoperit că raportul lui Fermat la baza 2 este comparabil modulo p cu suma reciprocelor numerelor de la 1 la , adică un număr armonic :
Autorii mai recenti au arătat că numărul de elemente dintr-o astfel de reprezentare poate fi redus de la 1/2 la 1/4, 1/5 sau chiar 1/6:
[opt] [9] [10] [11]Complexitatea comparațiilor lui Eisenstein crește pe măsură ce baza parțialelor lui Fermat crește, primele exemple sunt:
[12] [13]Dacă q p ( a ) ≡ 0 (mod p ), atunci a p −1 ≡ 1 (mod p 2 ). Primele pentru care acest lucru este adevărat pentru a = 2 se numesc prime de Wieferich . Într-un caz mai general, ele sunt numite prime Wieferich cu o bază primă a. Soluții cunoscute q p ( a ) ≡ 0 (mod p ) pentru a mic : [2]
A | p | secvența OEIS |
---|---|---|
2 | 1093, 3511 | A001220 |
3 | 11, 1006003 | A014127 |
5 | 2, 20771, 40487, 53471161, 1645333507, 6692367337, 188748146801 | A123692 |
7 | 5, 491531 | A123693 |
unsprezece | 71 | |
13 | 2, 863, 1747591 | A128667 |
17 | 2, 3, 46021, 48947, 478225523351 | A128668 |
19 | 3, 7, 13, 43, 137, 63061489 | A090968 |
23 | 13, 2481757, 13703077, 15546404183, 2549536629329 | A128669 |
Cea mai mică soluție q p ( a ) ≡ 0 (mod p ) cu a = al n -lea prim
1093, 11, 2, 5, 71, 2, 2, 3, 13, 2, 7, 2, 2, 5, … secvența A174422 în OEIS .O pereche ( p , r ) de numere prime astfel încât q p ( r ) ≡ 0 (mod p ) și q r ( p ) ≡ 0 ( mod r ) se numește pereche Wieferich .