Symbole de Kronecker (théorie des nombres)

Soit ${\displaystyle n}$ être un entier non nul, factorisé comme

${\displaystyle n=u\cdot p_{1}^{e_{1}}\cdots p_{k}^{e_{k}},}$

où ${\displaystyle u}$ est une unité (c'est-à-dire ${\displaystyle u=\pm 1}$), et les ${\displaystyle p_{i}}$ sont premiers. Soit ${\displaystyle a}$ un entier. Le symbole Kronecker ${\displaystyle \left({\frac {a}{n}}\right)}$ est défini par

${\displaystyle \left({\frac {a}{n}}\right)=\left({\frac {a}{u}}\right)\prod _{i=1}^{k}\left({\frac {a}{p_{i}}}\right)^{e_{i}}.}$

Pour ${\displaystyle p_{i}}$ impair, le nombre ${\displaystyle \left({\frac {a}{p_{i}}}\right)}$ est tout simplement le symbole de Legendre habituel. On définit ${\displaystyle \left({\frac {a}{2}}\right)}$ par

${\displaystyle \left({\frac {a}{2}}\right)={\begin{cases}0&{\mbox{si }}a{\mbox{ est pair,}}\\1&{\mbox{si }}a\equiv \pm 1{\pmod {8}},\\-1&{\mbox{si }}a\equiv \pm 3{\pmod {8}}.\end{cases}}}$

Puisqu'il prolonge le symbole Jacobi, la quantité ${\displaystyle \left({\frac {a}{u}}\right)}$ vaut simplement ${\displaystyle 1}$ lorsque ${\displaystyle u=1}$. Lorsque ${\displaystyle u=-1}$, nous le définissons par

${\displaystyle \left({\frac {a}{-1}}\right)={\begin{cases}-1&{\mbox{si }}a<0,\\1&{\mbox{si }}a\geq 0.\end{cases}}}$

Enfin, nous posons

${\displaystyle \left({\frac {a}{0}}\right)={\begin{cases}1&{\text{si }}a=\pm 1,\\0&{\text{sinon.}}\end{cases}}}$

Ces extensions suffisent à définir le symbole de Kronecker pour toutes les valeurs entières ${\displaystyle a,n}$.

Certains auteurs ne définissent le symbole Kronecker que pour des valeurs plus restreintes ; par exemple, ${\displaystyle a}$ congru à ${\displaystyle 0,1{\bmod {4}}}$ et ${\displaystyle n>0}$.

Ce qui suit est un tableau des valeurs du symbole Kronecker ${\displaystyle \left({\frac {k}{n}}\right)}$ avec 1 ≤ n, k ≤ 30.

Le symbole Kronecker partage plusieurs propriétés avec le symbole de Jacobi, sous certaines restrictions :

• ${\displaystyle \left({\tfrac {a}{n}}\right)=\pm 1}$ si ${\displaystyle \mathrm {pgcd} (a,n)=1}$, et ${\displaystyle \left({\tfrac {a}{n}}\right)=0}$ sinon.
• ${\displaystyle \left({\tfrac {ab}{n}}\right)=\left({\tfrac {a}{n}}\right)\left({\tfrac {b}{n}}\right)}$ sauf si ${\displaystyle n=-1}$, un des ${\displaystyle a,b}$ est nul et l'autre est négatif.
• ${\displaystyle \left({\tfrac {a}{mn}}\right)=\left({\tfrac {a}{m}}\right)\left({\tfrac {a}{n}}\right)}$ sauf si ${\displaystyle a=-1}$, un des ${\displaystyle m,n}$ est nul et l'autre a une partie impaire (définition ci-dessous) congruente à ${\displaystyle 3{\bmod {4}}}$.
• Pour ${\displaystyle n>0}$, on a ${\displaystyle \left({\tfrac {a}{n}}\right)=\left({\tfrac {b}{n}}\right)}$ dès que ${\displaystyle a\equiv b{\bmod {\begin{cases}4n,&n\equiv 2{\pmod {4}},\\n&{\text{sinon.}}\end{cases}}}}$ Si de plus ${\displaystyle a,b}$ ont le même signe, il en va de même pour ${\displaystyle n<0}$ .
• Pour ${\displaystyle a\not \equiv 3{\pmod {4}}}$, ${\displaystyle a\neq 0}$, on a ${\displaystyle \left({\tfrac {a}{m}}\right)=\left({\tfrac {a}{n}}\right)}$ dès que ${\displaystyle m\equiv n{\bmod {\begin{cases}4|a|,&a\equiv 2{\pmod {4}},\\|a|&{\text{sinon.}}\end{cases}}}}$

À la différence du symbole de Jacobi, le symbole de Kronecker n'a pas le même lien avec les résidus quadratiques. En particulier, le symbole Kronecker ${\displaystyle \left({\tfrac {a}{n}}\right)}$ pour ${\displaystyle n}$ pair peut prendre des valeurs indépendamment du fait que ${\displaystyle a}$ est un résidu quadratique ou un non-résidu modulo ${\displaystyle n}$.

Si ${\displaystyle a\not \equiv 3{\pmod {4}}}$ et ${\displaystyle a\neq 0}$, la fonction ${\displaystyle \chi (n)=\left({\tfrac {a}{n}}\right)}$ est un caractère de Dirichlet réel de module ${\displaystyle {\begin{cases}4|a|,&a\equiv 2{\pmod {4}},\\|a|,&{\text{sinon.}}\end{cases}}}$ Inversement, tout caractère de Dirichlet réel peut être écrit sous cette forme avec ${\displaystyle a\equiv 0,1{\pmod {4}}}$ (pour ${\displaystyle a\equiv 2{\pmod {4}}}$ c'est ${\displaystyle \left({\tfrac {a}{n}}\right)=\left({\tfrac {4a}{n}}\right)}$).

En particulier, les caractères primitifs de Dirichlet réels ${\displaystyle \chi }$ sont en bijections avec les corps quadratiques ${\displaystyle F=\mathbb {Q} ({\sqrt {m}})}$, où ${\displaystyle m}$ est un entier sans carré non nul (on peut inclure le cas ${\displaystyle \mathbb {Q} ({\sqrt {1}})=\mathbb {Q} }$ pour représenter le caractère principal, même s'il ne s'agit pas d'un corps quadratique proprement dit). Le caractère ${\displaystyle \chi }$ peut être retrouvé à partir du corps comme son symbole d'Artin ${\displaystyle \left({\tfrac {F/\mathbb {Q} }{\cdot }}\right)}$ : c'est-à-dire pour un nombre premier positif ${\displaystyle p}$, la valeur de ${\displaystyle \chi (p)}$ dépend du comportement de l'idéal ${\displaystyle (p)}$ dans l'anneau des entiers ${\displaystyle O_{F}}$ :

${\displaystyle \chi (p)={\begin{cases}0,&{\text{ si}}\ (p){\text{ est ramifié,}}\\1,&{\text{ si}}\ (p){\text{ se scinde,}}\\-1,&{\text{ si}}\ (p){\text{ est inerte.}}\end{cases}}}$

Alors ${\displaystyle \chi (n)}$ est égal au symbole de Kronecker ${\displaystyle \left({\tfrac {D}{n}}\right)}$, où

${\displaystyle D={\begin{cases}m,&m\equiv 1{\pmod {4}},\\4m,&m\equiv 2,3{\pmod {4}}\end{cases}}}$

est le discriminant de ${\displaystyle F}$ . Le conducteur de ${\displaystyle \chi }$ est ${\displaystyle |D|}$.

De même, si ${\displaystyle n>0}$, l'application ${\displaystyle \chi (a)=\left({\tfrac {a}{n}}\right)}$ est un caractère de Dirichlet réel de module ${\displaystyle {\begin{cases}4n,&n\equiv 2{\pmod {4}},\\n,&{\text{sinon.}}\end{cases}}}$. Cependant, tous les caractères réels ne peuvent pas être représentés de cette manière, par exemple le caractère ${\displaystyle \left({\tfrac {-4}{\cdot }}\right)}$ ne peut pas être écrit comme ${\displaystyle \left({\tfrac {\cdot }{n}}\right)}$ pour toute ${\displaystyle n}$. Par la loi de réciprocité quadratique, on a ${\displaystyle \left({\tfrac {\cdot }{n}}\right)=\left({\tfrac {n^{*}}{\cdot }}\right)}$. Un caractère ${\displaystyle \left({\tfrac {a}{\cdot }}\right)}$ peut être représenté comme ${\displaystyle \left({\tfrac {\cdot }{n}}\right)}$ si et seulement si sa partie impaire vérifie ${\displaystyle a'\equiv 1{\pmod {4}}}$, auquel cas on peut prendre ${\displaystyle n=|a|}$.

• Symbole de Hilbert

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Kronecker symbol » (voir la liste des auteurs).

•  L. Kronecker, Zur Theorie der elliptischen Funktionen, 1885, 761–784 p. (lire en ligne)
• Hugh L Montgomery et Robert C. Vaughan, Multiplicative number theory. I. Classical theory, vol. 97, Cambridge University Press , coll. « Cambridge Studies in Advanced Mathematics », 2007 (ISBN 978-0-521-84903-6, zbMATH 1142.11001)