Residuo quadratico

In teoria dei numeri, un numero intero q {\displaystyle q} è chiamato residuo quadratico modulo p {\displaystyle p} se esiste un intero x {\displaystyle x} tale che:

x 2 q  (mod  p ) . {\displaystyle {x^{2}}\equiv {q}{\mbox{ (mod }}p{\mbox{)}}.}

In caso contrario, q {\displaystyle q} è detto essere un non-residuo quadratico.

In effetti, un residuo quadratico modulo p {\displaystyle p} è un numero che ammette una radice quadrata nell'aritmetica modulare di modulo p {\displaystyle p} . La legge di reciprocità quadratica è un mezzo importante per determinare se un numero è un residuo o un non-residuo, unitamente al simbolo di Legendre ed al lemma di Gauss.

Se p {\displaystyle p} è un numero primo dispari, allora metà dei numeri 1 , 2 , , p 1 {\displaystyle 1,2,\ldots ,p-1} sono residui e metà non-residui quadratici.

Somma dei residui quadratici

Considerando la somma dei residui quadratici modulo p {\displaystyle p} con p {\displaystyle p} primo maggiore di 3 {\displaystyle 3} , ed indicandola con r {\displaystyle \sum r} , si ha:

r = { p ϵ , se  p 1 , 5 ( mod 8 ) , 1 3 p ( p 1 ϵ ) , se  p 3 ( mod 8 ) , 1 2 p ( p 1 2 ϵ ) , se  p 7 ( mod 8 ) , {\displaystyle \sum r={\begin{cases}p\epsilon ,&{\text{se }}p\equiv 1,5{\pmod {8}},\\{\frac {1}{3}}p(p-1-\epsilon ),&{\text{se }}p\equiv 3{\pmod {8}},\\{\frac {1}{2}}p(p-1-2\epsilon ),&{\text{se }}p\equiv 7{\pmod {8}},\\\end{cases}}}

dove ϵ = p 1 4 {\displaystyle \epsilon ={\frac {p-1}{4}}} è il numero dei residui quadratici in { 1 , 2 , , p 1 2 } {\displaystyle \left\{1,2,\ldots ,{\frac {p-1}{2}}\right\}} .

Bibliografia

  • H. Davenport, Aritmetica superiore, Zanichelli, Bologna, 1994, ISBN 8808091546 - Capitolo III

Voci correlate

  • Reciprocità quadratica
  • Simbolo di Legendre
  • Simbolo di Jacobi
  • Lemma di Gauss (teoria dei numeri)
  • Criterio di Eulero

Collegamenti esterni

  • MathWorld: Quadratic Residue, su mathworld.wolfram.com.
Controllo di autoritàGND (DE) 4704539-5
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica