Fermat test prvočíselnosti testuje, zda pro náhodnou bázi a platí, že a ^ (n - 1) (mod n) se rovná 1. Pokud ano, pak je celé číslo n označeno jako pravděpodobně prvočíslo. V opačném případě je n označeno jako číslo složené.