title: Simbolo di Jacobi
text: # Simbolo di Jacobi
  
  Il simbolo di Jacobi è utilizzato in matematica nell'ambito della teoria dei numeri. Esso prende il nome dal matematico tedesco Carl Gustav Jakob Jacobi.
  
  ## Definizione
  
  Il simbolo di Jacobi è una generalizzazione del simbolo di Legendre che utilizza la scomposizione in fattori primi dell'argomento inferiore. È definito come segue:
  
  Sia n > 2 un numero naturale dispari e n = $p_{1}^{\alpha _{1}}p_{2}^{\alpha _{2}}\cdots p_{k}^{\alpha _{k}}$. Per ogni intero a, il simbolo di Jacobi è $\left({\frac {a}{n}}\right)=\left({\frac {a}{p_{1}}}\right)^{\alpha _{1}}\left({\frac {a}{p_{2}}}\right)^{\alpha _{2}}\cdots \left({\frac {a}{p_{k}}}\right)^{\alpha _{k}}$ dove $\left({\frac {a}{p}}\right)$ con p primo è il simbolo di Legendre. Si conviene inoltre di porre $\left({\frac {a}{1}}\right)=1$
  
  ## Proprietà del simbolo di Jacobi
  
  Il simbolo di Jacobi possiede alcune utili proprietà che consentono di velocizzare i calcoli rispetto all'uso diretto della definizione. Tra di esse si ricordano (si assuma che a e b siano interi e che m ed n siano interi positivi dispari):
  
  * Se n è primo, il simbolo di Jacobi è evidentemente uguale al simbolo di Legendre.
  * $\left({\frac {a}{n}}\right)\in \{0,1,-1\}$
  * $\left({\frac {a}{n}}\right)=0$ se $(a,n)\neq 1$
  * $\left({\frac {ab}{n}}\right)=\left({\frac {a}{n}}\right)\left({\frac {b}{n}}\right)$
  * $\left({\frac {a}{mn}}\right)=\left({\frac {a}{m}}\right)\left({\frac {a}{n}}\right)$
  * Se a ≡ b (mod n), allora $\left({\frac {a}{n}}\right)=\left({\frac {b}{n}}\right)$
  * $\left({\frac {1}{n}}\right)=1$
  * $\left({\frac {a^{2}b}{n}}\right)=\left({\frac {b}{n}}\right)$ se $(a,n)=1$
  * $\left({\frac {-1}{n}}\right)=(-1)^{\left({\frac {n-1}{2}}\right)}$ = 1 se n ≡ 1 (mod 4) e −1 se n ≡ 3 (mod 4)
  * $\left({\frac {2}{n}}\right)=(-1)^{\left({\frac {n^{2}-1}{8}}\right)}$ = 1 se n ≡ 1 o 7 (mod 8) e −1 se n ≡ 3 o 5 (mod 8)
  * $\left({\frac {m}{n}}\right)=\left({\frac {n}{m}}\right)(-1)^{\left({\frac {m-1}{2}}\right)\left({\frac {n-1}{2}}\right)}$
  
  L'ultima proprietà è molto simile alla legge di reciprocità quadratica per il simbolo di Legendre.
  
  ## Residui quadratici
  
  Se $\left({\frac {a}{n}}\right)=-1$, allora a non è un residuo quadratico di n perché non è un residuo quadratico di qualche fattore di n. Inoltre, se $\left({\frac {a}{n}}\right)=0$, allora $(a,n)>1$. Tuttavia, se $\left({\frac {a}{n}}\right)=1$ non si può dedurre che a sia un residuo quadratico di n perché è possibile che un numero pari di fattori di n siano non-residui, e quindi il prodotto dei loro simboli di Legendre valga ugualmente 1.
  
  