Kleine stelling van Fermat
De kleine stelling van Fermat zegt dat als p een priemgetal is, voor ieder geheel getal a geldt dat
Dit betekent dat als ik een willekeurig geheel getal a neem, het p maal met zichzelf vermenigvuldig, en er vervolgens a vanaf trek, het resultaat deelbaar is door p.
Een handig vervolg van de kleine stelling van Fermat is:
Deze vorm van de stelling is echter enkel geldig als a en p relatief priem zijn, of eenvoudiger (omdat p een priemgetal is): a geen veelvoud is van p. Dit komt doordat we beide leden van de eerste stelling moeten vermenigvuldigen met de inverse van
en deze bestaat niet als a een veelvoud is van p. Dit is eenvoudig in te zien: Als a een veelvoud is van p dan is
. We zouden dus het inverse element moeten vinden van 0. Het inverse element van 0 zou een getal zijn waarvoor geldt dat als we het vermenigvuldigen met 0, we het eenheidselement
krijgen. Dit is uiteraard niet mogelijk.
Deze stelling wordt bijvoorbeeld gebruikt om modulo van een groot getal uit te rekenen.
Bewijs van de kleine stelling van Fermat [bewerken]
In dit bewijs gebruiken we de volgende notatie voor
en p een priemgetal:
is de rest bij gehele deling van a door p
"p deelt a"; dit wil zeggen dat
, oftewel dat a een veelvoud is van p
"p deelt a niet"; dit wil zeggen dat
, oftewel dat a geen veelvoud is van p
wil zeggen "a plus of min een veelvoud van p"
Om de kleine stelling te bewijzen, maken we gebruik van een hulpstelling:
- Zij
, dan
- Bewijs:
-
- Stel
en 
- Dan geldt dus
, dus
, dus
. - We weten dat a geen veelvoud is van p. En p is priem(getal), dus p is ook geen veelvoud van a.
- Dus moet gelden
, oftewel het verschil tussen m en n is een veelvoud van p. - Oftewel m is n plus of min een veelvoud van p. Oftewel:

- Stel
Merk op dat uit de hulpstelling logisch volgt dat ook geldt:
- Indien
, dan 
Bewijs voor de kleine stelling:
- Zij p priem en
; er zijn nu twee gevallen:
-
: in dit geval is a een veelvoud van p en ieder veelvoud van a dus ook, dus triviaal geldt 
: Beschouw nu alle getallen
.
- Deze p-1 getallen delen allemaal p niet en zijn ongelijk aan p (dus ook modulo p).
- Ook geldt, wegens
, dat het product van een van deze getallen met a, modulo p, weer gelijk aan een van deze getallen (dit volgt uit het feit dat p een priemgetal is; voor priemgetallen p geldt: als
, dan
; de omkering hiervan levert op dat
). - Daarnaast volgt uit de omkering van de hulpstelling dat voor
geldt dat
. Dit impliceert dat de getallen
modulo p een permutatie vormen van de getallen
. Hieruit volgt uiteindelijk dat de vermenigvuldiging
modulo p hetzelfde oplevert als
: 
- het zijn tenslotte al dezelfde getallen, met elkaar vermenigvuldigd (zij het niet in dezelfde volgorde).
- Door onze hulpstelling volgt nu onmiddellijk:

- Vermenigvuldig nu beide zijden met a:

Pseudo-priemgetallen [bewerken]
Het omgekeerde van de kleine stelling van Fermat is niet algemeen geldig. Als voor zekere gehele a en k geldt dat
,
dan is niet noodzakelijkerwijs k een priemgetal.
Een getal q dat geen priemgetal is, maar waarvoor geldt dat
(voor zekere a) wordt een pseudopriemgetal genoemd. Als q de eigenschap heeft dat het bovengenoemde geldt voor elke a, dan heet q een Carmichael-getal. Hierbij is de naam Fermattest bedacht: als een getal r voldoet aan
(voor zekere a) dan is r een priemgetal of een pseudo-priemgetal.
Er is bewezen dat er oneindig veel pseudo-priemgetallen bestaan. Echter, binnen de gehele getallen zijn de pseudo-priemgetallen wel 'dunner gezaaid' dan de priemgetallen.
Grote stelling van Fermat [bewerken]
De kleine stelling van Fermat mag niet worden verward met de Grote stelling van Fermat, die zegt dat de vergelijking
geen geheeltallige oplossing heeft verschillend van 0 voor alle gehele waarden van n groter dan 2. Het theorema werd uiteindelijk bewezen door de Britse wiskundige Andrew Wiles in november 1994.


is de rest bij
"p deelt a"; dit wil zeggen dat
, oftewel dat a een
"p deelt a niet"; dit wil zeggen dat
, oftewel dat a geen veelvoud is van p
wil zeggen "a plus of min een veelvoud van p"

, dus
, dus
.
, oftewel het verschil tussen m en n is een veelvoud van p.

; er zijn nu twee gevallen:
.
, dan
; de omkering hiervan levert op dat
).
geldt dat
. Dit impliceert dat de getallen
modulo p een permutatie vormen van de getallen
modulo p hetzelfde oplevert als
:

,
