Teoria dei numeri - Atitmetiche finite
Il piccolo teorema di Fermat
La funzione di Eulero - Il teorema di Fermat-Eulero - Il cifrario RSA

In un'aritmetica finita di modulo $N$, con $N$ numero primo, si osserva un fatto curioso relativamente alle potenze con esponente $N - 1$; il seguente esempio interattivo nella tabella a sinistra permette di calcolare le potenze per $ 2 \le N \le 13$ e confrontare i risultati per $N$ primo e non primo, mentre la tabella a destra mostra le potenze successive di una data base nella medesima aritmetica.

Aritmetica modulo ($ 2 \le N \le 13 $)
$ n^{N - 1} $
b = $ (1 \le b \lt7) $
$ b^e \pmod {7} $
$ \begin{array}{r | r} 1^{6} \equiv 1 \pmod {7} & 1^{6} = 1 \equiv 1 \pmod {7} \\2^{6} \equiv 1 \pmod {7} & 2^{6} = 64 \equiv 1 \pmod {7} \\3^{6} \equiv 1 \pmod {7} & 3^{6} = 729 \equiv 1 \pmod {7} \\4^{6} \equiv 1 \pmod {7} & 4^{6} = 4096 \equiv 1 \pmod {7} \\5^{6} \equiv 1 \pmod {7} & 5^{6} = 15625 \equiv 1 \pmod {7} \\6^{6} \equiv 1 \pmod {7} & 6^{6} = 46656 \equiv 1 \pmod {7} \\\end{array} $ $ \begin{array}{r | r} 3^{1} \equiv 3 \pmod {7} \\ 3^{2} \equiv 2 \pmod {7} \\ 3^{3} \equiv 6 \pmod {7} \\ 3^{4} \equiv 4 \pmod {7} \\ 3^{5} \equiv 5 \pmod {7} \\ 3^{6} \equiv 1 \pmod {7} \\ 3^{7} \equiv 3 \pmod {7} \\ \end{array} $

Si osserva che comunque tutte le potenze con esponente $N - 1$ valgono sempre e solo $1$, purché $N$ sia primo!! Se non lo è questa proprietà non è più vera.

Pierre de Fermat generalizzò questi esempi nel 1679 enunciando quello che è rimasto noto come il piccolo teorema di Fermat, ma senza fornire una dimostrazione.

Enunciato

In un'aritmetica finita di ordine $N$ con $N$ primo è sempre per ogni naturale $0 < n < N$ .

$$ n^{N - 1} \equiv 1 \pmod N $$

Conseguenze

Molti anni dopo, nel 1736, Eulero generalizzò questo risultato nel teorema di Fermat-Eulero, dove il teorema è valido non solo per $N$ primo e per esponente uguale a $N-1$ ma più in generale per esponente $ \Phi(N) $ che è la funzione di Eulero di $N$.



Valido HTML 4.01!

Fonti bibliografiche e collegamenti