Simbolo di Legendre
# Simbolo di Legendre

Il simbolo di Legendre è utilizzato in matematica nell'ambito della teoria dei numeri, e in particolare nei campi della fattorizzazione e dei residui quadratici. Esso prende il nome dal matematico francese Adrien-Marie Legendre.

## Definizione

Il simbolo di Legendre è definito come segue:

Se $p$ è un numero primo dispari e $a$ è un intero, allora il simbolo di Legendre $\left({\frac {a}{p}}\right)$ è uguale a:

* $0$ se $p$ divide $a$;
* $1$ se $a$ è un quadrato modulo $p$, ossia se esiste un intero $k$ tale che $k^{2}\equiv a{\pmod {p}}$, o equivalentemente se $a$ è un residuo quadratico modulo $p$;
* $-1$ se $a$ non è un quadrato modulo $p$, cioè se $a$ non è un residuo quadratico modulo $p$.

La generalizzazione del simbolo di Legendre a $\left({\frac {a}{n}}\right)$ con $n\in \mathbb {N}$ dispari è il simbolo di Jacobi.

## Proprietà del simbolo di Legendre

Il simbolo di Legendre possiede un certo numero di proprietà che consentono di velocizzare i calcoli. Le più importanti sono:

* $\left({\frac {ab}{p}}\right)=\left({\frac {a}{p}}\right)\left({\frac {b}{p}}\right)$ (cioè è una funzione completamente moltiplicativa nel suo argomento superiore)
* Se a ≡ b (mod p), allora $\left({\frac {a}{p}}\right)=\left({\frac {b}{p}}\right)$
* $\left({\frac {1}{p}}\right)=1$
* $\left({\frac {-1}{p}}\right)=(-1)^{\left({\frac {p-1}{2}}\right)}$, cioè 1 se p ≡ 1 (mod 4) e −1 se p ≡ 3 (mod 4)
* $\left({\frac {2}{p}}\right)=(-1)^{\left({\frac {p^{2}-1}{8}}\right)}$, cioè 1 se p ≡ 1 o 7 (mod 8) e −1 se p ≡ 3 o 5 (mod 8)
* Se q è un primo dispari, allora $\left({\frac {q}{p}}\right)=\left({\frac {p}{q}}\right)(-1)^{\left({\frac {p-1}{2}}\right)\left({\frac {q-1}{2}}\right)}$

L'ultima proprietà prende il nome di legge di reciprocità quadratica.

Il simbolo di Legendre è inoltre collegato al criterio di Eulero, dimostrato da Leonardo Eulero:

    $\left({\frac {a}{p}}\right)\equiv a^{\left({\frac {p-1}{2}}\right)}{\pmod {p}}$

Infine, il simbolo di Legendre è un carattere di Dirichlet, detto anche il carattere quadratico modulo p.

## Funzioni correlate

Il simbolo di Jacobi è una generalizzazione del simbolo di Legendre che ammette come argomento un numero dispari composto al posto del primo p.

