Utente:Mat4free/Kronecker symbol

In teoria dei numeri, il simbolo di Kronecker, scritto come $\left({\frac {a}{n}}\right)$ o $(a|n)$, è una generalizzazione del simbolo di Jacobi a tutti i numeri interi $n.$ È stato introdotto da Leopold Kronecker nel 1885.

Definizione

Sia $n$ un numero intero diverso da zero, con scomposizione in fattori primi

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

dove $u$ è un'unità (cioè $u=\pm 1$), e i $p_{i}$ sono numeri primi. Sia $a$ un numero intero. Il simbolo di Kronecker $\left({\frac {a}{n}}\right)$ è definito da

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

Per $p_{i}$ dispari, il numero $\left({\frac {a}{p_{i}}}\right)$ è semplicemente il classico simbolo di Legendre. Quindi manca solo da definire il caso $p_{i}=2.$ Definiamo $\left({\frac {a}{2}}\right)$ come

$\left({\frac {a}{2}}\right)={\begin{cases}0,&{\text{se }}a{\text{ è pari,}}\\1,&{\text{se }}a\equiv \pm 1{\pmod {8}},\\-1,&{\text{se }}a\equiv \pm 3{\pmod {8}}.\end{cases}}$

Poiché estende il simbolo di Jacobi, la quantità $\left({\frac {a}{u}}\right)$ è semplicemente $1$ quando $u=1$. Quando $u=-1$, si definisce come

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

Infine, poniamo

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

Queste estensioni sono sufficienti per definire il simbolo di Kronecker per tutti i valori interi di $a$ e $n.$

Alcuni autori definiscono il simbolo di Kronecker solo per insiemi più limitati di valori. Per esempio, $a\equiv 0,1{\bmod {4}}$ e $n>0.$

Tabella dei valori

La seguente è una tabella dei valori del simbolo di Kronecker $\left({\frac {k}{n}}\right)$ per $n,k\leq 30.$

k n	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	25	26	27	28	29	30
1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1
2	1	0	−1	0	−1	0	1	0	1	0	−1	0	−1	0	1	0	1	0	−1	0	−1	0	1	0	1	0	−1	0	−1	0
3	1	−1	0	1	−1	0	1	−1	0	1	−1	0	1	−1	0	1	−1	0	1	−1	0	1	−1	0	1	−1	0	1	−1	0
4	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0
5	1	−1	−1	1	0	1	−1	−1	1	0	1	−1	−1	1	0	1	−1	−1	1	0	1	−1	−1	1	0	1	−1	−1	1	0
6	1	0	0	0	1	0	1	0	0	0	1	0	−1	0	0	0	−1	0	−1	0	0	0	−1	0	1	0	0	0	1	0
7	1	1	−1	1	−1	−1	0	1	1	−1	1	−1	−1	0	1	1	−1	1	−1	−1	0	1	1	−1	1	−1	−1	0	1	1
8	1	0	−1	0	−1	0	1	0	1	0	−1	0	−1	0	1	0	1	0	−1	0	−1	0	1	0	1	0	−1	0	−1	0
9	1	1	0	1	1	0	1	1	0	1	1	0	1	1	0	1	1	0	1	1	0	1	1	0	1	1	0	1	1	0
10	1	0	1	0	0	0	−1	0	1	0	−1	0	1	0	0	0	−1	0	−1	0	−1	0	−1	0	0	0	1	0	−1	0
11	1	−1	1	1	1	−1	−1	−1	1	−1	0	1	−1	1	1	1	−1	−1	−1	1	−1	0	1	−1	1	1	1	−1	−1	−1
12	1	0	0	0	−1	0	1	0	0	0	−1	0	1	0	0	0	−1	0	1	0	0	0	−1	0	1	0	0	0	−1	0
13	1	−1	1	1	−1	−1	−1	−1	1	1	−1	1	0	1	−1	1	1	−1	−1	−1	−1	1	1	−1	1	0	1	−1	1	1
14	1	0	1	0	1	0	0	0	1	0	−1	0	1	0	1	0	−1	0	1	0	0	0	1	0	1	0	1	0	−1	0
15	1	1	0	1	0	0	−1	1	0	0	−1	0	−1	−1	0	1	1	0	1	0	0	−1	1	0	0	−1	0	−1	−1	0
16	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0
17	1	1	−1	1	−1	−1	−1	1	1	−1	−1	−1	1	−1	1	1	0	1	1	−1	1	−1	−1	−1	1	1	−1	−1	−1	1
18	1	0	0	0	−1	0	1	0	0	0	−1	0	−1	0	0	0	1	0	−1	0	0	0	1	0	1	0	0	0	−1	0
19	1	−1	−1	1	1	1	1	−1	1	−1	1	−1	−1	−1	−1	1	1	−1	0	1	−1	−1	1	1	1	1	−1	1	−1	1
20	1	0	−1	0	0	0	−1	0	1	0	1	0	−1	0	0	0	−1	0	1	0	1	0	−1	0	0	0	−1	0	1	0
21	1	−1	0	1	1	0	0	−1	0	−1	−1	0	−1	0	0	1	1	0	−1	1	0	1	−1	0	1	1	0	0	−1	0
22	1	0	−1	0	−1	0	−1	0	1	0	0	0	1	0	1	0	−1	0	1	0	1	0	1	0	1	0	−1	0	1	0
23	1	1	1	1	−1	1	−1	1	1	−1	−1	1	1	−1	−1	1	−1	1	−1	−1	−1	−1	0	1	1	1	1	−1	1	−1
24	1	0	0	0	1	0	1	0	0	0	1	0	−1	0	0	0	−1	0	−1	0	0	0	−1	0	1	0	0	0	1	0
25	1	1	1	1	0	1	1	1	1	0	1	1	1	1	0	1	1	1	1	0	1	1	1	1	0	1	1	1	1	0
26	1	0	−1	0	1	0	−1	0	1	0	1	0	0	0	−1	0	1	0	1	0	1	0	1	0	1	0	−1	0	−1	0
27	1	−1	0	1	−1	0	1	−1	0	1	−1	0	1	−1	0	1	−1	0	1	−1	0	1	−1	0	1	−1	0	1	−1	0
28	1	0	−1	0	−1	0	0	0	1	0	1	0	−1	0	1	0	−1	0	−1	0	0	0	1	0	1	0	−1	0	1	0
29	1	−1	−1	1	1	1	1	−1	1	−1	−1	−1	1	−1	−1	1	−1	−1	−1	1	−1	1	1	1	1	−1	−1	1	0	1
30	1	0	0	0	0	0	−1	0	0	0	1	0	1	0	0	0	1	0	−1	0	0	0	1	0	0	0	0	0	1	0

Proprietà

Il simbolo di Kronecker condivide molte proprietà del simbolo di Jacobi, con alcune restrizioni:

• $\left({\tfrac {a}{n}}\right)=\pm 1$ Se $\mathrm {MCD} (a,n)=1$, altrimenti $\left({\tfrac {a}{n}}\right)=0.$
• $\left({\tfrac {ab}{n}}\right)=\left({\tfrac {a}{n}}\right)\left({\tfrac {b}{n}}\right)$ a meno che $n=-1$, uno tra $a,b$ è zero e l'altro è negativo.
• $\left({\tfrac {a}{mn}}\right)=\left({\tfrac {a}{m}}\right)\left({\tfrac {a}{n}}\right)$ a meno che $a=-1$, uno tra $m,n$ è zero e l'altro ha una parte dispari (definizione di seguito) congruente a $3{\bmod {4}}.$
• Per $n>0$, si ha che $\left({\tfrac {a}{n}}\right)=\left({\tfrac {b}{n}}\right)$ ogni volta che $a\equiv b{\bmod {\begin{cases}4n,&{\text{se }}n\equiv 2{\bmod {4}},\\n,&{\text{altrimenti.}}\end{cases}}}$ Se in aggiunta $a,b$ hanno lo stesso segno, lo stesso vale anche per $n<0.$
• Per $a\not \equiv 3{\bmod {4}}$, $a\neq 0$, si ha che $\left({\tfrac {a}{m}}\right)=\left({\tfrac {a}{n}}\right)$ ogni volta che $m\equiv n{\bmod {\begin{cases}4|a|,&{\text{se }}a\equiv 2{\bmod {4}},\\|a|,&{\text{altrimenti.}}\end{cases}}}$

D'altra parte, il simbolo di Kronecker non ha lo stesso legame con i residui quadratici del simbolo di Jacobi. In particolare, i valori del simbolo di Kronecker $\left({\tfrac {a}{n}}\right)$ per $n$ pari sono indipendenti dal fatto che $a$ sia un residuo quadratico o meno modulo $n.$

Reciprocità quadratica

Il simbolo di Kronecker soddisfa anche le seguenti versioni della legge di reciprocità quadratica.

Per qualsiasi numero intero diverso da zero $n,$ sia $n'$ la sua parte dispari, cioè: $n=2^{e}n'$ dove $n'$ è dispari (per $n=0$, si pone $0'=1$). Quindi la seguente versione simmetrica della reciprocità quadratica vale per ogni coppia di numeri interi $m,n$ tali che $\mathrm {MCD} (m,n)=1:$

$\left({\frac {m}{n}}\right)\left({\frac {n}{m}}\right)=\pm (-1)^{{\frac {m'-1}{2}}{\frac {n'-1}{2}}},$

dove il segno $\pm$ è $+$ se $m\geq 0$ o se $n\geq 0$ ed è $-$ se $m<0$ e $n<0.$

Esiste anche una versione non simmetrica equivalente della reciprocità quadratica che vale per ogni coppia di interi $m,n$ coprimi:

$\left({\frac {m}{n}}\right)\left({\frac {n}{|m|}}\right)=(-1)^{{\frac {m'-1}{2}}{\frac {n'-1}{2}}}.$

Per qualsiasi numero intero $n$ sia $n^{*}=(-1)^{(n'-1)/2}n.$ Allora si ha un'altra versione non simmetrica equivalente che afferma che

$\left({\frac {m^{*}}{n}}\right)=\left({\frac {n}{|m|}}\right),$

per ogni coppia di numeri interi $m,n$ (non necessariamente coprimi).

Anche le leggi supplementari si generalizzano al simbolo di Kronecker. Queste leggi derivano facilmente da ogni versione della legge di reciprocità quadratica indicata sopra (a differenza del simbolo di Legendre e Jacobi, dove sono necessarie sia la legge principale che le leggi supplementari per descrivere completamente la reciprocità quadratica).

Per qualsiasi numero intero $n$ si ha

$\left({\frac {-1}{n}}\right)=(-1)^{\frac {n'-1}{2}}$

e per qualsiasi numero intero dispari $n$ si ha

$\left({\frac {2}{n}}\right)=(-1)^{\frac {n^{2}-1}{8}}.$

Legame con i caratteri di Dirichlet

Se $a\not \equiv 3{\pmod {4}}$ e $a\neq 0,$ la funzione $\chi (n)=\left({\tfrac {a}{n}}\right)$ è un carattere di Dirichlet reale di modulo ${\begin{cases}4|a|,&a\equiv 2{\pmod {4}},\\|a|,&{\text{altrimenti.}}\end{cases}}$ Al contrario, ogni carattere di Dirichlet reale può essere scritto in questa forma con $a\equiv 0,1{\pmod {4}}$ (per $a\equiv 2{\pmod {4}}$ è $\left({\tfrac {a}{n}}\right)=\left({\tfrac {4a}{n}}\right)$).

In particolare, i caratteri primitivi di Dirichlet reali $\chi$ sono in corrispondenza biunivoca con i campi quadratici $F=\mathbb {Q} ({\sqrt {m}})$, dove $m$ è un intero privo di quadrati diverso da zero (possiamo includere il caso $\mathbb {Q} ({\sqrt {1}})=\mathbb {Q}$ per rappresentare il carattere principale, anche se non è propriamente un campo quadratico). Il carattere $\chi$ può essere recuperato dal campo come il simbolo di Artin $\left({\tfrac {F/\mathbb {Q} }{\cdot }}\right)$: cioè per un numero primo positivo $p$, il valore di $\chi (p)$ dipende dal comportamento dell'ideale $(p)$ nell'anello degli interi ${\mathcal {O}}_{F}$:

$\chi (p)={\begin{cases}0,&{\text{se }}(p){\text{ è ramificato,}}\\1,&{\text{se }}(p){\text{ spezza,}}\\-1,&{\text{se }}(p){\text{ è inerte.}}\end{cases}}$

Inoltre $\chi (n)$ è uguale al simbolo di Kronecker $\left({\tfrac {D}{n}}\right),$ dove

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

è il discriminante di $F.$ Il conduttore di $\chi$ è $|D|.$

Allo stesso modo, se $n>0$, la funzione $\chi (a)=\left({\tfrac {a}{n}}\right)$ è un carattere di Dirichlet reale di modulo ${\begin{cases}4n,&n\equiv 2{\pmod {4}},\\n,&{\text{altrimenti.}}\end{cases}}$ Tuttavia, non tutti i caratteri reali possono essere rappresentati in questo modo, ad esempio non esiste nessun $n$ per cui il carattere $\left({\tfrac {-4}{\cdot }}\right)$ può essere scritto come $\left({\tfrac {\cdot }{n}}\right).$ Per la legge di reciprocità quadratica, si ha che $\left({\tfrac {\cdot }{n}}\right)=\left({\tfrac {n^{*}}{\cdot }}\right).$ Un carattere $\left({\tfrac {a}{\cdot }}\right)$ può essere rappresentato come $\left({\tfrac {\cdot }{n}}\right)$ se e solo se la sua parte dispari $a'\equiv 1{\pmod {4}},$ nel qual caso possiamo prendere $n=|a|.$

Voci correlate

• Simbolo di Legendre
• Simbolo di Jacobi
• Reciprocità quadratica

Riferimenti

• (EN) Hugh L Montgomery e Robert C. Vaughan, Multiplicative number theory. I. Classical theory, collana Cambridge Studies in Advanced Mathematics, vol. 97, Cambridge University Press , 2007, ISBN 0-521-84903-9.

Questa pagina sarà elencata nella seguente categoria una volta spostata nel namespace principale.

Categoria:

• Aritmetica modulare