Verzweigungs- und Galoistheorie von Zahlkörpern

Wenn eine Primzahl eines Zahlkörpers in einem größeren Körper untersucht wird, kann sie sich in mehrere Primzahlen aufspalten, prim bleiben oder verzweigen; die Galoistheorie organisiert all dieses Verhalten durch Zerlegungsgruppen und das Frobenius-Element.

Definition

Verzweigung beschreibt, wie sich ein Primideal eines Basiskörpers in einer Erweiterung faktorisiert und ob wiederholte Primfaktoren auftreten; die Galoistheorie der Zahlkörper kodiert dies durch Untergruppen der Galoisgruppe, die jedem darüber liegenden Primideal zugeordnet sind.

Scope

Dieses Thema behandelt die Faktorisierung einer rationalen Primzahl in einer Erweiterung in Primideale mit ihren Verzweigungsindizes und Restklassengraden, die fundamentale Identität, die diese mit dem Grad in Beziehung setzt, verzweigte und unverzweigte Primzahlen, die Zerlegungs- und Trägheitsgruppen in einer Galois-Erweiterung, den Frobenius-Automorphismus, die Differente und die Beziehung zwischen Diskriminante und Verzweigung sowie das Artin-Symbol, das die Reziprozität vorwegnimmt.

Core questions

• Wie faktorisiert eine rationale Primzahl im Ganzheitsring einer Erweiterung, und was sind der Verzweigungsindex und der Restklassengrad?
• Warum erfüllen diese Invarianten die fundamentale Identität, die sich zum Grad summiert, und wie vereinfacht sie sich für Galois-Erweiterungen?
• Was sind die Zerlegungs- und Trägheitsgruppen, und wie wirkt das Frobenius-Element auf Restklassenkörper?
• Welche Primzahlen verzweigen, und wie detektieren die Differente und die Diskriminante diese?

Key theories

Fundamentale Identität und Spaltungstypen

Eine Primzahl faktorisiert in einer Erweiterung mit Verzweigungsindizes und Restklassengraden, deren gewichtete Summe dem Körpergrad entspricht; in einer Galois-Erweiterung teilen sich alle Faktoren denselben Index und Grad, wodurch gespaltenes, träges und verzweigtes Verhalten klassifiziert wird.

Zerlegungsgruppe, Trägheitsgruppe und Frobenius

Für ein Primideal über einem gegebenen Primideal in einer Galois-Erweiterung ist die Zerlegungsgruppe ihr Stabilisator, die Trägheitsgruppe ihr Verzweigungsteil, und der Quotient wird durch das Frobenius-Element erzeugt, das als Potenzabbildung auf dem Restklassenkörper wirkt.

Differente, Diskriminante und Verzweigung

Das Differente-Ideal und die Diskriminante identifizieren die verzweigten Primzahlen, wobei die Führer-Diskriminanten-Formel die Diskriminante einer abelschen Erweiterung durch die Führer ihrer Charaktere ausdrückt.

Clinical relevance

Das Spaltungsverhalten von Primzahlen über das Frobenius-Element steuert Reziprozitätsgesetze und ist das rechnerische Herzstück von Algorithmen, die Polynome und Ideale über Zahlkörpern faktorisieren, einschließlich Schritten innerhalb des Zahlkörpersiebs.

History

Dedekind brachte die Faktorisierung von Primzahlen mit der Faktorisierung des Minimalpolynoms modulo dieser Primzahl in Verbindung. Hilbert systematisierte die Verzweigungstheorie in seinem Zahlbericht von 1897 und führte die Zerlegungs- und Trägheitsgruppen sowie die höhere Verzweigungsfiltration ein, die das moderne Thema organisieren.

Key figures

• Richard Dedekind
• David Hilbert
• Ferdinand Georg Frobenius

Seminal works

• marcus2018

Frequently asked questions

Was bedeutet es, wenn eine Primzahl verzweigt?

Eine Primzahl verzweigt in einer Erweiterung, wenn ihre Faktorisierung in Primideale dort einen wiederholten Faktor enthält; nur endlich viele Primzahlen verzweigen, und dies sind genau diejenigen, die die Diskriminante teilen.

Was ist das Frobenius-Element?

Für eine unverzweigte Primzahl in einer Galois-Erweiterung ist es der kanonische Automorphismus, der die p-te Potenzabbildung auf dem Restklassenkörper induziert; seine Konjugationsklasse zeichnet auf, wie sich die Primzahl aufspaltet, und ist der Schlüssel zu Reziprozitätsgesetzen.