Kronecker-Symbol

In der Mathematik ist das Kronecker-Symbol eine Verallgemeinerung des Jacobi-Symbols $\left({\frac {n}{m}}\right)$ auf beliebige ganzzahlige $m$ . Es wurde von dem deutschen Mathematiker Leopold Kronecker eingeführt und wird daher nach ihm benannt.

Definition

Es sei $m$ eine ganze Zahl ungleich 0 mit der Primfaktorzerlegung

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

wobei $u$ eine Einheit ist (d. h. $u=\pm 1$ ) und die $p_{i}$ Primzahlen bezeichnen. Ist $n$ eine ganze Zahl, so ist das Kronecker-Symbol $\left({\frac {n}{m}}\right)$ definiert durch

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

Für ungerade $p_{i}$ ist die Zahl $\left({\frac {n}{p_{i}}}\right)$ einfach das gewöhnliche Legendre-Symbol. Der Fall $p_{i}=2$ ist getrennt zu betrachten. Wir definieren $\left({\frac {n}{2}}\right)$ durch

\left({\frac {n}{2}}\right)={\begin{cases}0&{\mbox{falls }}n{\mbox{ gerade,}}\\1&{\mbox{falls }}n\equiv \pm 1{\pmod {8}},\\-1&{\mbox{falls }}n\equiv \pm 3{\pmod {8}}.\end{cases}}

Der Faktor $\left({\frac {n}{u}}\right)$ in der Definitionsgleichung ist für $u=1$ gleich $1$ (Jacobi-Symbol). Für $u=-1$ definiert man

\left({\frac {n}{-1}}\right)={\begin{cases}-1&{\mbox{falls }}n<0,\\1&{\mbox{falls }}n\geq 0.\end{cases}}

Schließlich setzt man noch

\left({\frac {n}{0}}\right)={\begin{cases}1&{\text{falls }}n=\pm 1,\\0&{\text{sonst.}}\end{cases}}

Durch diese Erweiterungen lässt sich das Kronecker-Symbol für alle ganzen Zahlen $n,m$ definieren.

Bei einigen Autoren wird das Kronecker-Symbol nur unter einschränkenden Voraussetzungen definiert, beispielsweise $n\equiv 0,1{\bmod {4}}$ und $m>0$ .

Für ungerades $m$ stimmt das Kronecker-Symbol mit dem Jacobi-Symbol überein.

Eigenschaften

Das Kronecker-Symbol teilt – mit gewissen Einschränkungen – viele grundlegende Eigenschaften mit dem Jacobi-Symbol:

$\left({\tfrac {a}{n}}\right)=\pm 1,$ falls $\mathop {\rm {ggT}} (a,n)=1$ , sonst $\left({\tfrac {a}{n}}\right)=0$ .
$\left({\tfrac {ab}{n}}\right)=\left({\tfrac {a}{n}}\right)\left({\tfrac {b}{n}}\right),$ außer wenn $n=-1$ gilt und eine der Zahlen $a,b$ gleich 0 ist und die andere negativ.
$\left({\tfrac {a}{mn}}\right)=\left({\tfrac {a}{m}}\right)\left({\tfrac {a}{n}}\right)$ , außer wenn $a=-1$ gilt und eine der Zahlen $m,n$ gleich 0 ist und die andere einen ungeraden Anteil (siehe unten) kongruent zu $3{\bmod {4}}$ besitzt.
Für $n>0$ gilt $\left({\tfrac {a}{n}}\right)=\left({\tfrac {b}{n}}\right)$ wenn $a\equiv b{\bmod {\begin{cases}4n,&{\text{falls }}n\equiv 2{\pmod {4}},\\n&{\text{sonst.}}\end{cases}}}$ Wenn $a$ und $b$ das gleiche Vorzeichen haben, gilt diese Aussage auch für $n<0$ .
Für $a\not \equiv 3{\pmod {4}}$ , $a\neq 0$ gilt $\left({\tfrac {a}{m}}\right)=\left({\tfrac {a}{n}}\right)$ , wenn $m\equiv n{\bmod {\begin{cases}4|a|,&{\text{falls }}a\equiv 2{\pmod {4}},\\|a|&{\text{sonst.}}\end{cases}}}$

Zu beachten ist, dass das Kronecker-Symbol nicht die gleiche Verbindung zum Begriff des quadratischen Rests hat wie das Jacobi-Symbol. Insbesondere kann für gerades $n$ das Kronecker-Symbol $\left({\tfrac {a}{n}}\right)$ Werte annehmen, die unabhängig davon sind, ob $a$ ein quadratischer Rest oder Nichtrest modulo $n$ ist.

Quadratische Reziprozität

Das Kronecker-Symbol erfüllt die folgende Version des quadratischen Reziprozitätsgesetzes:

Für jede ganze Zahl $n\neq 0$ bezeichne $n'$ den ungeraden Anteil: $n=2^{e}n'$ mit ungeradem $n'$ (für $n=0$ wird $n'=1$ gesetzt). Dann gilt die folgende symmetrische Version des quadratischen Reziprozitätsgesetzes für jedes Paar von teilerfremden ganzen Zahlen $m,n$ :

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

Dabei gilt das Pluszeichen von $\pm$ , falls $m\geq 0$ oder $n\geq 0$ zutrifft, und das Minuszeichen, falls $m<0$ und $n<0$ .

Es gibt auch eine unsymmetrische Version der quadratischen Reziprozität, die für jedes Paar teilerfremder ganzer Zahlen $m,n$ richtig ist:

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

Für eine beliebige ganze Zahl $n$ sei $n^{*}=(-1)^{(n'-1)/2}n$ . Dann gibt es eine weitere äquivalente, unsymmetrische Version, nach der

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

für beliebige ganze Zahlen $m,n$ (nicht notwendig teilerfremd) gilt.

Die Ergänzungssätze lassen sich ebenfalls für das Kronecker-Symbol verallgemeinern. Diese Gesetze folgen unmittelbar aus jeder der obigen Formulierungen des quadratischen Reziprozitätsgesetzes (anders als beim Legendre-Symbol oder beim Jacobi-Symbol, bei denen sowohl das grundlegende Gesetz als auch die Ergänzungssätze benötigt werden, um die quadratische Reziprozität vollständig zu beschreiben).

Für eine beliebige ganze Zahl $n$ gilt

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

für eine beliebige ungerade ganze Zahl $n$

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

Weblinks

Eric W. Weisstein: Kronecker-Symbol. In: MathWorld (englisch).

Einzelnachweise

↑ Leopold Kronecker, Zur Theorie der elliptischen Functionen, Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin, Jahrgang 1885, S. 770

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Leopold Kronecker, Zur Theorie der elliptischen Functionen, Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften zu Berlin, Jahrgang 1885, S. 770