23.3. Definíció

Fermat-tanú

Legyen n>1n\gt 1 egy tetszőleges pozitív, aa pedig tetszőleges nn-hez relatív prím egész szám. Tegyük fel továbbá, hogy aa-ra nem teljesül a kis Fermat-tételben szereplő kongruencia, azaz:

an1  1(modn)a^{n-1} \ \cancel{\equiv} \ 1 \pmod n

Ekkor az aa egész szám által reprezentált [a]n[a]_n maradékosztályt az nn egész szám Fermat-tanújának nevezzük. Amennyiben aa-ra teljesül a fenti kongruencia, akkor az [a]n[a]_n maradékosztályt Fermat-nemtanúnak nevezzük. Ha nn összetett, akkor az ő Fermat-nemtanúit Fermat-cinkosoknak nevezzük.