Tschebotarjowscher Dichtigkeitssatz

Der tschebotarjowsche Dichtigkeitssatz (je nach Transkription auch Dichtigkeitssatz von Chebotarëv oder Tschebotareff) ist eine Verallgemeinerung des Satzes von Dirichlet über Primzahlen in arithmetischen Progressionen auf Galoiserweiterungen von Zahlkörpern. Im Falle einer abelschen Erweiterung von $\mathbb {Q}$ erhält man daraus den Satz zurück, dass die Menge der Primzahlen der Form $ak+n$, $(a,n)=1$ natürliche Dichtigkeit $1/\varphi (n)$ hat, wobei $\varphi (n)$ für die Eulersche Phi-Funktion steht. In seiner allgemeinen Form folgt daraus insbesondere der 1880 von Kronecker bewiesene Satz, dass genau $1/n$ der Primzahlen vollständig zerlegt in einer gegebenen Galoiserweiterung von $\mathbb {Q}$ vom Grad $n$ sind.

Der Satz wurde von Nikolai Grigorjewitsch Tschebotarjow im Jahr 1922 gefunden und 1923 erstmals auf russisch, 1925 auf deutsch veröffentlicht.

Formulierung

Sei $L|K$ eine galoissche Erweiterung von Zahlkörpern mit $G=G(L|K)$, und $C\subset G$ eine Konjugationsklasse. Dann hat die Menge der unverzweigten Primideale ${\mathfrak {p}}$ von $K$, deren Frobenius-Element (im Falle einer nicht-abelschen Erweiterung ist dies im Allgemeinen eine Konjugationsklasse) gleich $C$ ist, natürliche Dichtigkeit

${\frac {|C|}{|G|}}$.

Anwendungen

Für eine abelsche Erweiterung, beispielsweise bei quadratischen Zahlkörpern besteht jede Konjugationsklasse aus genau einem Element, weshalb man eine Gleichverteilung erhält. Ist $G=S_{3}$ die nicht-abelsche Gruppe der Ordnung $6$, so bestehen die Konjugationsklassen $\{\mathrm {id} \},\{(1,2),(1,3),(2,3)\},\{(1,2,3),(1,3,2)\}$ aus 1, 3 bzw. 2 Elementen, sodass $1/6$ der Primideale von $K$ in drei Primideale voll zerlegt, $3/6=1/2$ in genau zwei zerlegt (mit Trägheitsgrad $2$ und $1$) und $2/6=1/3$ träge sind.

Man kann daraus auch folgern, dass es genau für zusammengesetzte Zahlen $n$ ein irreduzibles Polynom $f$ über einem globalen Körper Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} gibt, sodass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} über allen lokalen Vervollständigungen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K_\mathfrak{p}} reduzibel ist. Beispielsweise gilt dies für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \in \mathbb{Z}[X]} mit Galoisgruppe isomorph zur kleinschen Vierergruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C_2 \times C_2} .

Über die Zerlegung eines Polynoms in Restklassenkörpern kann man auch Informationen über die Struktur der zugehörigen Galoisgruppen erhalten und diese mit dem tschebotarjowschen Dichtigkeitssatz probabilistisch eingrenzen.

Zerfällt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \in \mathbb{Z}[X] \setminus \{0\}} modulo fast allen Primzahlen vollständig in Linearfaktoren, so zerfällt es auch über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Q}} vollständig; dies ist eine Art Lokal-Global-Prinzip. Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ein irreduzibles Polynom mit ganzzahligen Koeffizienten, das modulo fast allen Primzahlen eine Nullstelle hat, so hat es Grad Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1} .

Sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L, M} Galoiserweiterungen eines Zahlkörpers Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} und ist die Menge der Primideale von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} , die in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L} bzw. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} voll zerlegt sind, bis auf endlich viele Ausnahmen gleich, so folgt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L = M} . (Dabei kann die Voraussetzung, dass die Erweiterungen galoissch sind, nicht fallengelassen werden.) Eine Galoiserweiterung ist also eindeutig bestimmt durch die Menge der vollzerlegten Primideale. Um also die Galoiserweiterungen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} zu klassifizieren, genügt es, die Mengen von Primidealen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} zu bestimmen, die als Mengen von vollzerlegten Primidealen auftreten können. Dies geschieht für abelsche Erweiterungen gerade durch die Klassenkörpertheorie; für nicht-abelsche Erweiterungen ist dies noch immer ein ungelöstes Problem, siehe Langlands-Programm.

Literatur

• P. Stevenhagen, H. W. Lenstra: Chebotarëv and his Density Theorem. In: The Mathematical Intelligencer. Bd. 18, Nr. 2, 1996, S. 26–37 (PDF; 2,7 MB).
• N. Tschebotareff: Die Bestimmung der Dichtigkeit einer Menge von Primzahlen, welche zu einer gegebenen Substitutionsklasse gehören. In: Mathematische Annalen. Bd. 95, Nr. 1, 1925, S. 191–228 (Digitalisat).