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 binär quadratische Form dargestellt wird, oder nicht. Sie macht jedoch im Allgemeinen keine Aussagen über die Darstellung allgemeiner Formen.

Geschlechter

In seiner 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 primitiv, 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 ihr Normideal $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. Man kann nun zeigen, das Ideale ${\rm {\mathfrak a}},{\rm {\mathfrak b}}{\rm \trianglelefteq }{\rm {\mathcal O}}_{{\mathbb Q}(\sqrt{d})}$ genau dann ähnlich sind, 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}$, das heißt ${Cl_{gen}^{+}({\mathbb Q}(\sqrt{d}))\simeq C_{+} /C_{+}^{2}}$, wobei ${C_{+}:=Cl_{{\mathbb Q}(\sqrt{d})}^{+}}$ die Idealklassengruppe im engeren Sinne bezeichnet. Es ist schwer zu zeigen, dass in einem quadratischen Zahlkörper mit Diskriminante D die Anzahl der Geschlechter gleich 2^{r − 1} und 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 bezeichne.

Korrespondenz

In der algebraischen Zahlentheorie gibt es einen Korrespondenzsatz, der eine Aussage, über den Zusammenhang zwischen echten Äquivalenzklassen primitiver Formen und den Äquivalenzklassen von Idealen im engeren Sinne macht, d.h. er beschreibt die Korrespondenz zwischen Idealen und quadratischen Formen:

Sei $D \equiv 0,1 \mod{4},$ (D kein Quadrat) eine Fundamentaldiskriminante. Dann gibt es eine bijektive Korrespondenz zwischen den echten Äquivalenzklassen bijektiv 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).

Für den Beweis siehe Korrespondenzsatz der algebraischen Zahlentheorie.

Im Allgemeinen besteht kein Isomorphismus zwischen den Mengen der gewöhnliche Äquivalenz von primitiv, positiv definiter Formen und den Idealklassen im gewöhnlichen Sinne. Ist etwa D = − 303, dann gilt h( − 303) = 10 und $h_{{\mathbb Q}(\sqrt{-303})}^{}=6$. Im Gegensatz dazu ist $h_{{\mathbb Q}(\sqrt{-303})}^{+}=h(-303)=10$.

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\times2}$ und αδ − γβ = 1

in die Form $\left\langle z,x,w\right\rangle$ über. Dann ist deren Diskriminante x² − zw von der Form dy², also das Produkt zw von der Form x² − dy².

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

1. Seien $p_{1},\ldots,p_{t}$ für $t\ge0$ 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\le i\le 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₁,m₂ 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 χ_i einen dirichletschen Charakter modulo p.

2. Sei $D\equiv3 \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₁,m₂ 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₁m₂ 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\equiv2 \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\equiv6 \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\equiv4 \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\equiv0 \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\equiv1 \mod{4}$	$\chi_{1},\ldots,\chi_{t}$
$D=4D',{\rm \; }D'\equiv1 \mod{4}$	$\chi_{1},\ldots,\chi_{t}$
$D=4D',{\rm \; }D'\equiv3 \mod{4}$	$\chi_{1},\ldots,\chi_{t},\varsigma$
$D=4D',{\rm \; }D'\equiv2 \mod{8}$	$\chi_{1},\ldots,\chi_{t},\varepsilon$
$D=4D',{\rm \; }D'\equiv6 \mod{8}$	$\chi_{1},\ldots,\chi_{t},\varsigma\varepsilon$
$D=4D',{\rm \; }D'\equiv4 \mod{8}$	$\chi_{1},\ldots,\chi_{t},\varsigma$
$D=4D',{\rm \; }D'\equiv0 \mod{8}$	$\chi_{1},\ldots,\chi_{t},\varsigma,\varepsilon$

Ist nun die Menge aller zugehörigen Charaktere gegeben durch Θ 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 $\pm1$, die diesen r Charakteren Θ 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 Θ 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 gegeben primitiven Form $\left\langle a,b,c\right\rangle$ sich immer aus einen 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² = D + ac und damit auch in b aufgehen. Damit wäre die Form aber nicht primitiv.

Beispiel

Für die Diskriminate D = − 20 erhält man die beiden primitiven nicht äquivalenten reduzierten Formen $f_{1}:=\left\langle1,0,5\right\rangle$ und $f_{2}:=\left\langle2,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\equiv4 \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₁ 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₂ den Totalcharakter $(-1)^{\frac{p-1}{2}}=\frac{p}{5}=-1$ hat, ist $\left\{f_{2}\right\}$ das Nichthauptgeschlecht. Ist nun $p\ne5$ eine ungerade Primzahl, dann wird p genau dann durch f₁ dargestellt, wenn

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

Dies ist genau dann der Fall, wenn $p\equiv1,9 \mod{20}$ ist. Analog dazu erhält man, dass p genau dann durch f₂ dargestellt wird, wenn

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

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

Damit ist die Darstellung der Primzahlen durch die Formen f₁ und f₂ eindeutig charakterisiert.

Die Grenzen der Geschlechtertheorie

Leonhard Euler behandelt in seiner 1744 publizierten Arbeit unter anderem die Form x² + 14y². Betrachtet man diese Form und versucht die Einteilung von Primzahlen in Geschlechter vorzunehmen, so stellt man zunächst fest, dass die quadratische Kongruenz $x^{2}+14y^{2}\equiv0 \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\equiv1,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\langle1,0,14\right\rangle,{\rm \; \; }f_{2}=\left\langle3,2,5\right\rangle,{\rm \; \; }f_{3}=\left\langle2,0,7\right\rangle,{\rm \; \; }f_{4}=\left\langle3,-2,5\right\rangle$.

Die Diskriminante $D=-56=-2^{3}\cdot7$ 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\equiv0 \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\ne2,7$ durch f₁ oder f₂ 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\equiv1,9,15,23,25,39 \mod{56}$. Es kann jedoch keine Aussage darüber getroffen werden, ob p durch f₁ bzw. f₃ dargestellt wird. Analog stellt man leicht fest, dass eine Primzahl $p\ne2,7$ genau dann durch f₂ oder f₄ dargestellt wird, wenn $p\equiv3,5,13,19,27,45 \mod{56}$ ist. Wieder lässt sich keine Bedingung ableitet, ob p durch f₂ bzw. f₄ 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

• 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, Kessel, Norbert; Auflage:1 deut. Aufl. 1889 (30. April 2009), 978-3941300095
• Paulo Ribenboim: Die Welt der Primzahlen: Geheimnisse und Rekorde, Springer, Berlin; Auflage:1, 2006, 978-3540342830
• Paulo Ribenboim: Meine Zahlen, meine Freunde: Glanzlichter der Zahlentheorie, Springer-Lehrbuch, 2009, 978-3540879558
• Don B. Zagier: Zetafunktionen und quadratische Körper: Eine Einführung in die höhere Zahlentheorie, Springer, Berlin; Auflage: 1 (September 1981), 978-3540106036
• David A. Cox: Primes of the form x² + ny²: Fermat, Class Field Theory, and Complex Multiplication, Wiley-Interscience