simbolo di Legendre
Siano p un numero primo e a∈Z un numero intero. Si dice che a è un residuo quadratico modulo p se p non divide a e la congruenza x2≡a (mod p) è risolubile, cioè esiste un numero intero x tale che x2 sia congruente ad a modulo p. Il simbolo di Legendre
di a su p è definito nel modo seguente: