Symbole de Jacobi

Charles Jacobi, mathématicien à l'origine du symbole de Jacobi

Le symbole de Jacobi est utilisé en mathématiques dans le domaine de la théorie des nombres. Il est nommé ainsi en l'honneur du mathématicien prussien Charles Gustave Jacob Jacobi. C'est une généralisation du symbole de Legendre.

Définition

Le symbole de Jacobi $\left(\frac{a}{n}\right)$ est défini pour tout entier relatif $a$ et tout entier naturel impair $n$ comme produit de symboles de Legendre, en faisant intervenir la décomposition en facteurs premiers de $n$ : pour tout $k\in \mathbb{N}$ et tous nombres premiers impairs $p_1,\dots ,p_k$ (non nécessairement distincts),

$\left(\frac{a}{\prod _{1\le i\le k}{p}_i}\right)=\prod _{1\le i\le k}\left(\frac{a}{p_i}\right)$.

Propriétés

Soient $m,n$ positifs impairs et $a,b$ entiers quelconques. Alors :

• $\left(\frac{a}{1}\right)=1$ ;
• si $n$ est premier, le symbole de Jacobi $\left(\frac{a}{n}\right)$ est simplement le symbole de Legendre ;
• si $a$ et $n$ ne sont pas premiers entre eux, $\left(\frac{a}{n}\right)=0$ ;
• si $a$ et $n$ sont premiers entre eux, $\left(\frac{a}{n}\right)=\pm 1$ ;
• $\left(\frac{ab}{n}\right)=\left(\frac{a}{n}\right)\left(\frac{b}{n}\right)$ ;
• $\left(\frac{a}{n}\right)\left(\frac{a}{m}\right)=\left(\frac{a}{mn}\right)$ ;
• si Modèle:Math alors $\left(\frac{a}{n}\right)=\left(\frac{b}{n}\right)$ ;
• généralisation de la loi de réciprocité quadratique :
  • théorème fondamental : $\left(\frac{m}{n}\right)=\left(\frac{n}{m}\right)(-1{)}^{\frac{(m-1)(n-1)}{4}}$,
  • première loi complémentaire :$\left(\frac{-1}{n}\right)=(-1{)}^{\frac{n-1}{2}}$,
  • deuxième loi complémentaire :$\left(\frac{2}{n}\right)=(-1{)}^{\frac{n^2-1}{8}}$.

Résidus

Les énoncés généraux sur les résidus quadratiques faisant intervenir le symbole de Legendre ne s'étendent pas au symbole de Jacobi : si $\left(\frac{a}{n}\right)=-1$ alors Modèle:Mvar n'est pas un carré Modèle:Math mais si $\left(\frac{a}{n}\right)=1$, Modèle:Mvar n'est pas nécessairement un carré Modèle:Math. Par exemple : $\left(\frac{2}{9}\right)={\left(\frac{2}{3}\right)}^2=(-1{)}^2=1$ mais Modèle:Math n'est pas un carré Modèle:Math (ni même Modèle:Math).

Voir aussi

• Symbole de Kronecker (théorie des nombres)