Geschlechtertheorie

Die Geschlechtertheorie ist ein Begriff aus dem mathematischen Teilgebiet der algebraischen Zahlentheorie. Die Geschlechtertheorie gibt in vielen Fällen eine befriedigende Antwort auf die Frage nach der Darstellung von Primzahlen durch nicht äquivalente, binäre quadratische Formen mit gleicher Diskriminante. Das heißt, sie gestattet es zu entscheiden, ob eine Primzahl durch eine quadratische Form in zwei Variablen dargestellt wird oder nicht. Sie macht jedoch im Allgemeinen keine Aussagen über die Darstellung allgemeiner Formen.

Geschlechter

In seinen Disquisitiones Arithmeticae entwickelte Carl Friedrich Gauß die Geschlechtertheorie als die Theorie der Geschlechter quadratischer Formen. Eine der größten Errungenschaften, die Gauß zur Geschlechtertheorie leistete, ist die Berechnung der Anzahl der Geschlechter von Formen mit gegebener Diskriminante $D$. Er konnte schließlich zeigen, dass ihre Anzahl gleich $2^{r-1}$ ist, wobei $r$ die Anzahl der in $D$ enthaltenen Primfaktoren bezeichnet. Darüber hinaus wies er nach, dass $2^{r-1}$ stets ein Teiler der (echten) Äquivalenzklassen von primitiven, positiv definiten Formen mit Diskriminante $D$ ist. Im Folgenden bezeichne ${{\rm {\mathcal {O}}}_{{\mathbb {Q} }({\sqrt {d}})}}$ den Ganzheitsring der quadratischen Zahlkörper ${\mathbb {Q} }({\sqrt {d}})$. Die Geschlechtertheorie kann neben den quadratischen Formen auch mit Idealklassen behandelt werden. Ist nun die Einteilung in Idealklassen im engeren Sinne feiner als die im gewöhnlichen, dann ist die Einteilung in Geschlechter sehr grob. Man nennt zwei von ${(0)}$ verschiedene Ideale ${\rm {\mathfrak {a}}},{\rm {\mathfrak {b}}}{\rm {\trianglelefteq }}{\rm {\mathcal {O}}}_{{\mathbb {Q} }({\sqrt {d}})}$ ähnlich (im Zeichen ${\rm {\mathfrak {a}}}{\overset {+}{\approx }}{\rm {\mathfrak {b}}}$), wenn für ihre Normen $N({\rm {\mathfrak {a}}})=N(\lambda )N({\rm {\mathfrak {b}}})$ gilt, mit einem von $0$ verschiedenem total positivem $\lambda \in {\mathbb {Q} }({\sqrt {d}})^{\times }$. Die zugehörigen Äquivalenzklassen nennt man Geschlechter.

Insbesondere bildet die Menge aller Geschlechter eine abelsche Gruppe, die so genannte Geschlechterklassengruppe $Cl_{gen}^{+}({\mathbb {Q} }({\sqrt {d}}))$. Das Einselement von $Cl_{gen}^{+}({\mathbb {Q} }({\sqrt {d}}))$ nennt man das Hauptgeschlecht. Es ist dasjenige, welches die Hauptideale im engeren Sinne enthält. Ideale, welche im engeren Sinne äquivalent sind, gehören offenbar zu demselben Geschlecht, wenn sie zu $d$ prim sind. Ideale ${\rm {\mathfrak {a}}},{\rm {\mathfrak {b}}}{\rm {\trianglelefteq }}{\rm {\mathcal {O}}}_{{\mathbb {Q} }({\sqrt {d}})}$ sind genau dann ähnlich, wenn sie zum selben Geschlecht gehören, wenn sich also ihre Idealklassen im engeren Sinne um ein Quadrat unterscheiden, das heißt, es gilt

${\rm {\mathfrak {a}}}{\overset {+}{\approx }}{\rm {{\mathfrak {b}}\;\;}}\Leftrightarrow {\rm {\;\;{\mathfrak {a}}}}{\overset {+}{\sim }}{\rm {{\mathfrak {b}}{\mathfrak {c}}}}^{2}$

für ein Ideal ${\rm {\mathfrak {c}}}{\rm {\trianglelefteq }}{\rm {\mathcal {O}}}_{{\mathbb {Q} }({\sqrt {d}})}$.

Damit ist die Geschlechterklassengruppe ${Cl_{gen}^{+}({\mathbb {Q} }({\sqrt {d}}))}$ isomorph zu $C_{+}/C_{+}^{2}$, wobei $C_{+}$ die Idealklassengruppe im engeren Sinne bezeichnet. In einem quadratischen Zahlkörper mit Diskriminante $D$ ist die Anzahl der Geschlechter gleich $2^{r-1}$. Es folgt unmittelbar, dass die Anzahl der Klassen in jedem Geschlecht ${\rm {\mathfrak {K}}}(D)={\frac {h(D)}{2^{r-1}}}$ ist, wobei $r$ die Anzahl der verschiedenen Primteiler von $D$ bezeichnet.

Korrespondenz

In der algebraischen Zahlentheorie gibt es einen Korrespondenzsatz, der eine Aussage über den Zusammenhang zwischen echten Äquivalenzklassen primitiver quadratischer Formen und den Äquivalenzklassen von Idealen im engeren Sinne macht.

Sei $D\equiv 0,1\mod {4},$ ($D$ kein Quadrat) eine Fundamentaldiskriminante. Dann gibt es eine bijektive Korrespondenz zwischen den echten Äquivalenzklassen primitiver quadratischer Formen mit Diskriminante $D$ und den Äquivalenzklassen im engeren Sinne von Idealen von ${\rm {\mathcal {O}}}_{{\mathbb {Q} }({\sqrt {d}})}$. Insbesondere ist die Anzahl $h_{{\mathbb {Q} }({\sqrt {d}})}^{+}$ der Äquivalenzklassen von Idealen im engeren Sinne gleich der Klassenzahl $h(D)$.

Im Beweis wird die Korrespondenz zwischen Idealen und quadratischen Formen explizit konstruiert, siehe Korrespondenzsatz der algebraischen Zahlentheorie.

Man beachte, dass es im Allgemeinen keine Bijektion zwischen den Äquivalenzklassen von primitiven, positiv definiten quadratischen Formen und den Idealklassen im gewöhnlichen Sinne gibt. Ist etwa $D=-303$, dann gilt $h(-303)=10$ und $h_{{\mathbb {Q} }({\sqrt {-303}})}^{}=5$. Im Gegensatz dazu ist $h_{{\mathbb {Q} }({\sqrt {-303}})}^{+}=h(-303)=10$. Der Grund hierfür ist, dass die fundamentale Einheit von $\mathbb {Q} ({\sqrt {-303}})$ total positiv ist.

Einteilung in Geschlechterklassen

Sei $f=\left\langle a,b,c\right\rangle$ eine quadratische Form mit Diskriminante $D$ und $z,w$ zwei beliebige durch die Form $f$ dargestellte Zahlen (dabei ist es egal, ob die Zahlen Primzahlen sind oder nicht), dann kann das Produkt $zw$ immer in die Form $x^{2}-dy^{2},{\rm {\;\;}}x,y\in {\mathbb {Z} }$ gebracht werden.

Beispiel

$z=a\alpha ^{2}+2b\alpha \gamma +c\gamma ^{2}{\rm {\;\;}},{\rm {\;\;{\textit {w}}=a}}\beta ^{2}+2b\beta \delta +c\delta ^{2}$ wobei $\alpha ,\beta ,\gamma ,\delta \in {\mathbb {Z} }$,

dann geht die Form $\left\langle a,b,c\right\rangle$ durch eine unimodulare Transformation mit

$\left({\begin{array}{cc}{\alpha }&{\beta }\\{\gamma }&{\delta }\end{array}}\right)\in {\mathbb {Z} }^{2\times 2}$ und $\alpha \delta -\gamma \beta =1$

in die Form $\left\langle z,x,w\right\rangle$ über. Dann ist deren Diskriminante $x^{2}-zw$ von der Form $dy^{2}$, also das Produkt $zw$ von der Form $x^{2}-dy^{2}$.

Für die Einteilung der quadratischen Formen in Geschlechterklassen ergibt sich damit:

1. Seien $p_{1},\ldots ,p_{t}$ für $t\geq 0$ ungerade in $D$ aufgehende Primzahlen, dann hat für jede natürliche Zahl $m$, welche sich durch die Form $f$ darstellen lässt und für die $p_{i}{\rm {\;}},{\rm {\;}}1\leq i\leq t$ kein Teiler von $m$ ist, das Legendre-Symbol

$\chi _{i}(m)=\left({\frac {m}{p_{i}}}\right)$

ein und denselben Wert. Denn sind $m_{1},m_{2}$ zwei beliebige zu $p$ teilerfremde Zahlen, welche sich durch $f$ darstellen lassen, dann folgt dass

$m_{1}m_{2}\equiv x^{2}\mod {p}$ und damit ${\frac {m_{1}m_{2}}{p}}=+1$, also ${\frac {m_{1}}{p}}={\frac {m_{2}}{p}}$. Man nennt $\chi _{i}$ einen dirichletschen Charakter modulo $p$.

2. Sei $D\equiv 3\mod {4}$. Dann hat für alle durch diese Form dargestellten ungeraden Zahlen $m$ der Ausdruck

$\varsigma (m)=(-1)^{\frac {m-1}{2}}$

ein und denselben Wert. Denn sind $m_{1},m_{2}$ zwei beliebige ungerade Zahlen, dann ist $m_{1}m_{2}=x^{2}-dy^{2}\equiv x^{2}+y^{2}\mod {4}$ und da das Produkt $m_{1}m_{2}$ ungerade ist, muss eine der beiden Zahlen $x,y$ gerade, die andere ungerade sein. Das impliziert $m_{1}m_{2}\equiv 1\mod {4}$ also auch $m_{1}\equiv m_{2}\mod {4}$ und damit $(-1)^{\frac {m_{1}-1}{2}}=(-1)^{\frac {m_{2}-1}{2}}$.

3. Sei $D\equiv 2\mod {8}$. Dann hat für alle durch diese Form dargestellten ungeraden Zahlen $m$ der Ausdruck

$\varepsilon (m)=(-1)^{\frac {m^{2}-1}{8}}$

ein und denselben Wert.

4. Ist $D\equiv 6\mod {8}$. Dann hat für alle, durch diese Form dargestellten, ungeraden Zahlen $m$ der Ausdruck

$\varsigma (m)\cdot \varepsilon (m)=(-1)^{{\frac {m-1}{2}}+{\frac {m^{2}-1}{8}}}$

ein und denselben Wert.

5. Sei $D\equiv 4\mod {8}$. Dann hat für alle durch diese Form dargestellten ungeraden Zahlen $m$ den Ausdruck

$\varsigma (m)=(-1)^{\frac {m-1}{2}}$

ein und denselben Wert.

6. Sei $D\equiv 0\mod {8}$. Dann hat für alle durch dieselbe Form darstellbaren ungeraden Zahlen $m$ jeder der beiden Ausdrücke

$\varsigma (m)=(-1)^{\frac {m-1}{2}}$ und $\varepsilon (m)=(-1)^{\frac {m^{2}-1}{8}}$

einen für sich unveränderlichen Wert. Denn aus $m_{1}m_{2}=x^{2}-dy^{2}\equiv x^{2}\equiv 1\mod {8}$ folgt $m_{1}\equiv m_{2}\mod {8}$.

Damit ist die Einteilungen binär quadratischer Formen mit gegebener Diskriminante $D$ in Geschlechter gefunden und man erhält zusammengefasst:

Diskriminante	Zugehörige Charaktere
$D\equiv 1\mod {4}$	$\chi _{1},\ldots ,\chi _{t}$
$D=4D',{\rm {\;}}D'\equiv 1\mod {4}$	$\chi _{1},\ldots ,\chi _{t}$
$D=4D',{\rm {\;}}D'\equiv 3\mod {4}$	$\chi _{1},\ldots ,\chi _{t},\varsigma$
$D=4D',{\rm {\;}}D'\equiv 2\mod {8}$	$\chi _{1},\ldots ,\chi _{t},\varepsilon$
$D=4D',{\rm {\;}}D'\equiv 6\mod {8}$	$\chi _{1},\ldots ,\chi _{t},\varsigma \varepsilon$
$D=4D',{\rm {\;}}D'\equiv 4\mod {8}$	$\chi _{1},\ldots ,\chi _{t},\varsigma$
$D=4D',{\rm {\;}}D'\equiv 0\mod {8}$	$\chi _{1},\ldots ,\chi _{t},\varsigma ,\varepsilon$

Ist nun die Menge aller zugehörigen Charaktere gegeben durch $\Theta$ und ihre Anzahl durch $r$, wobei $r$ wieder die Anzahl der in $D$ aufgehenden verschiedenen Primzahlen beschreibt, dann heißt die Menge, der bestimmten Werte $\pm 1$, die diesen $r$ Charakteren $\Theta$ für eine bestimmte Form $\left\langle a,b,c\right\rangle$ zukommen, der Totalcharakter der Form. Je nachdem, wie das Ergebnis des Totalcharakters ausfällt, teilen sich sämtliche Formen mit gleicher Diskriminante und gleicher Art in Geschlechter ein. D.h. je zwei Formen gehören in dasselbe Geschlecht oder in zwei verschiedene Geschlechter, je nachdem ob der Totalcharakter der einen Form mit dem anderen übereinstimmt oder nicht.

Damit ist ein Geschlecht der Inbegriff aller ursprünglichen Formen von gleicher Diskriminante und gleicher Art, für die jeder der $r$ Charaktere $\Theta$ für sich genommen den gleichen Wert besitzt. Da alle Zahlen, welche durch eine bestimmte Form darstellbar sind, auch durch ihre (echt) äquivalenten Formen dargestellt werden, gehören all diese Formen derselben Klasse auch in dasselbe Geschlecht. Es zeigt sich, dass die einzelnen Charaktere einer gegebenen primitiven Form $\left\langle a,b,c\right\rangle$ sich immer aus einem der Koeffizienten $a,c$ erkennen lassen. Denn so oft $p$ ein Primteiler von $D$ ist, so wird sicher eine der Zahlen durch $p$ nicht teilbar sein, denn wären beide durch $p$ teilbar, dann würde $p$ auch in $b^{2}=D+ac$ und damit auch in $b$ aufgehen. Damit wäre die Form aber nicht primitiv.

Beispiel

Für die Diskriminante $D=-20$ erhält man die beiden primitiven nicht äquivalenten reduzierten Formen $f_{1}:=\left\langle 1,0,5\right\rangle$ und $f_{2}:=\left\langle 2,2,3\right\rangle$. Die Determinante lässt sich zerlegen: $D=-20=-2^{2}\cdot 5$. Daraus folgt ${\rm {\mathfrak {A}}}(-20)=2^{2-1}=2$. Also liegen genau zwei Geschlechter vor und in jedem der Geschlechter liegt genau eine der Formen. Nun ist $-20\equiv 4\mod {8}$. Man erhält daher die beiden Charaktere:

$\delta (p)=(-1)^{\frac {p-1}{2}}$ und $\chi (p)={\frac {p}{5}}$.

Nun stellt man leicht fest, dass der Totalcharakter von $f_{1}$ den Wert $(-1)^{\frac {p-1}{2}}={\frac {p}{5}}=+1$ besitzt. Also ist die Menge $\left\{f_{1}\right\}$ das Hauptgeschlecht. Und da $f_{2}$ den Totalcharakter $(-1)^{\frac {p-1}{2}}={\frac {p}{5}}=-1$ hat, ist $\left\{f_{2}\right\}$ das Nichthauptgeschlecht. Ist nun $p\neq 5$ eine ungerade Primzahl, dann wird $p$ genau dann durch $f_{1}$ dargestellt, wenn

$(-1)^{\frac {p-1}{2}}=+1$ und ${\frac {p}{5}}=+1$.

Dies ist genau dann der Fall, wenn $p\equiv 1,9\mod {20}$ ist. Analog dazu erhält man, dass $p$ genau dann durch $f_{2}$ dargestellt wird, wenn

$(-1)^{\frac {p-1}{2}}=-1$ und ${\frac {p}{5}}=-1$.

Also wenn $p\equiv 3,7\mod {20}$ ist.

Damit ist die Darstellung der Primzahlen durch die Formen $f_{1}$ und $f_{2}$ eindeutig charakterisiert.

Die Grenzen der Geschlechtertheorie

Leonhard Euler behandelt in seiner 1744 publizierten Arbeit unter anderem die Form $x^{2}+14y^{2}$. Für diese Form ergibt der Versuch der Einteilung von Primzahlen in Geschlechter, dass die quadratische Kongruenz $x^{2}+14y^{2}\equiv 0\mod {p}$ für genau die Primzahlen nicht trivial lösbar ist, für die $-14$ ein Quadrat im Restklassenkörper ${\rm {\mathbb {F} }}_{p}$ ist. Aus dem quadratischen Reziprozitätsgesetz folgt dann, dass das außer für $p=2$ oder $p=7$ nur für die Primzahlen $p\equiv 1,3,5,9,13,15,19,23,25,27,39,45\mod {56}$ gilt. Zur Diskriminante $D=-56$ existieren die vier reduzierten, primitiven Formen:

$f_{1}=\left\langle 1,0,14\right\rangle ,{\rm {\;\;}}f_{2}=\left\langle 3,2,5\right\rangle ,{\rm {\;\;}}f_{3}=\left\langle 2,0,7\right\rangle ,{\rm {\;\;}}f_{4}=\left\langle 3,-2,5\right\rangle$.

Die Diskriminante $D=-56=-2^{3}\cdot 7$ lässt sich in die zwei verschiedenen Primteiler $2$ und $7$ zerlegen. Also gibt es genau $2$ verschiedene Geschlechter. Zudem folgt aus $h(-56)=4$, dass die Anzahl der Klassen in jedem Geschlecht genau ${\rm {\mathfrak {K}}}(-56)={\frac {4}{2^{}}}=2$ beträgt. Nun ist $D=-56\equiv 0\mod {8}$. Also sind die folgenden drei Charaktere zu betrachten:

$\varsigma (p)=(-1)^{\frac {p-1}{2}}{\rm {\;}},{\rm {\;}}\varepsilon (p)=(-1)^{\frac {p^{2}-1}{8}}{\rm {\;}},{\rm {\;}}\chi (p)={\frac {p}{7}}$

Das Hauptgeschlecht besteht aus den Formen $\left\{f_{1},f_{3}\right\}$. Diese haben den Totalcharakter $\left\{+1,+1\right\}$. Das Nichthauptgeschlecht aus den Formen $\left\{f_{2},f_{4}\right\}$ mit den Totalcharakter $\left\{-1,-1\right\}$. Daraus folgt nun, dass eine Primzahl $p\neq 2,7$ durch $f_{1}$ oder $f_{2}$ genau dann dargestellt wird, wenn

${\rm {\;}}(-1)^{\frac {p^{2}-1}{8}}{\rm {\;}}=+1,{\frac {p}{7}}=+1$

gilt. Durch einfache Berechnung erhält man, dass dies genau dann der Fall ist, wenn $p\equiv 1,9,15,23,25,39\mod {56}$. Es kann jedoch keine Aussage darüber getroffen werden, ob $p$ durch $f_{1}$ bzw. $f_{3}$ dargestellt wird. Analog stellt man leicht fest, dass eine Primzahl $p\neq 2,7$ genau dann durch $f_{2}$ oder $f_{4}$ dargestellt wird, wenn $p\equiv 3,5,13,19,27,45\mod {56}$ ist. Wieder lässt sich keine Bedingung ableitet, ob $p$ durch $f_{2}$ bzw. $f_{4}$ dargestellt wird.

Dies zeigt, dass die Geschlechtertheorie an ihre Grenzen stößt und nicht alle Fragen, bezüglich der Darstellung von Primzahlen durch binär quadratische Formen, befriedigend beantworten kann. Solche Fragestellungen und Probleme lassen sich heute mithilfe der Klassenkörpertheorie behandeln.

Weblinks

Wikibooks: Korrespondenzsatz der algebraischen Zahlentheorie – Lern- und Lehrmaterialien

• Franz Lemmermeyer: Quadratische Zahlkörper:Ein Schnupperkurs.

Literatur

• Peter Gustav Lejeune Dirichlet: Vorlesungen über Zahlentheorie. VDM Verlag-Edition Classic, 1863.
• Carl Friedrich Gauss: Disquisitiones Arithmeticae: Untersuchungen über höhere Arithmetik. Springer, Berlin 1889. (Neudruck: Kessel, Remagen 2009, ISBN 978-3-941300-09-5)
• Paulo Ribenboim: Die Welt der Primzahlen: Geheimnisse und Rekorde. 1. Auflage. Springer, Berlin 2006, ISBN 3-540-34283-4.
• Paulo Ribenboim: Meine Zahlen, meine Freunde: Glanzlichter der Zahlentheorie. Springer-Lehrbuch, 2009, ISBN 978-3-540-87955-8.
• Don B. Zagier: Zetafunktionen und quadratische Körper: Eine Einführung in die höhere Zahlentheorie. 1. Auflage. Springer, Berlin 1981, ISBN 3-540-10603-0.
• David A. Cox: Primes of the form $x^{2}+ny^{2}$: Fermat, Class Field Theory, and Complex Multiplication. Wiley-Interscience, New York 2013, ISBN 978-1-118-39018-4.
• Candy Walter: Quadratische Zahlkörper und die Geschlechtertheorie. Leibniz Universität Hannover, 2009, doi: 10.13140/RG.2.2.24046.84800.