Dedekindbereich/Ganzer Abschluss/Zerlegung/Galoisfall/Einführung/Textabschnitt

Es sei eine Dedekindbereich mit Quotientenkörper und sei eine endliche Galoiserweiterung vom Grad . Die Galoisgruppe, d.h. die Gruppe der -Algebraautomorphismen von , besteht also aus Automorphismen. Die Untergruppen der Galoisgruppe entsprechen nach dem Satz über die Galoiskorrespondenz den Zwischenkörpern der Erweiterung. Die Galoisgruppe operiert nach Fakt auch auf dem ganzen Abschluss von in . Hier besprechen wir Untergruppen, ihre zugehörigen Zwischenkörper und Zwischenringe, die mit dem Zerlegungsverhalten von Primidealen unter der Erweiterung zusammenhängen. Zuerst formulieren wir, wie sich die fundamentale Gleichung aus Fakt im Galoisfall vereinfacht.



Es sei ein Dedekindbereich mit Quotientenkörper , eine Galoiserweiterung vom Grad und sei der ganze Abschluss von in . Es sei ein von verschiedenes Primideal von .

Dann stimmen in der Primidealzerlegung

die Exponenten überein und ebenso stimmen die Trägheitsgrade überein. Dabei ist

Es seien und Primideale oberhalb von . Nach Fakt gibt es einen Automorphismus mit . Daher gibt es einen -Algebraisomorphismus , weshalb die Verzweigungsordnungen gleich sind, und einen -Isomorphismus der Restekörper

weshalb die Trägheitsgrade gleich sind. Die Formel aus Fakt nimmt daher die angegebene Gestalt an.


Es sei ein Primideal aus und seien die Primideale von oberhalb von . Gemäß Fakt und wie eben verwendet lassen sich diese Primideale ineinander mit isomorphen Restekörpern überführen. Dies bedeutet natürlich nicht, dass der Gruppenhomomorphismus

bijektiv ist, wobei rechts die Permutationsgruppe zur Faser über steht. Dabei ist die Bijektivität oft schon wegen der Anzahl ausgeschlossen. Wenn der Grad ist, und wenn, im total zerlegten Fall, die Faser aus Primidealen besteht, so steht links (im Galoisfall) eine Gruppe mit Elementen und rechts eine Gruppe mit Elementen, was nur bei übereinstimmt. Wenn hingegen, im unzerlegten Fall, die Faser aus nur einem Primideal besteht, so steht rechts die triviale Gruppe. Ein Automorphismus gehört genau dann zum Kern, wenn jedes Primideal der Faser unter auf sich selbst abgebildet wird. Diese Bedingung führt, auf ein einzelnes Primideal angewendet, zum Begriff der Zerlegungsgruppe.


Es sei eine Dedekindbereich mit Quotientenkörper und sei eine endliche Galoiserweiterung mit Galoisgruppe . Es sei der ganze Abschluss von in und sei ein Primideal von . Dann nennt man

die Zerlegungsgruppe zu .

Man spricht auch von der Isotropiegruppe oder dem Stabilisator zu . Man beachte, dass die Bedingung besagt, dass auf sich selbst abgebildet wird, nicht, dass die Einschränkung auf die Identität ist.



Es sei ein Dedekindbereich mit Quotientenkörper und sei eine endliche Galoiserweiterung mit Galoisgruppe . Es sei der ganze Abschluss von in und sei ein Primideal von über . Dann gelten folgende Eigenschaften.

  1. Die Zerlegungsgruppe ist genau dann trivial, wenn voll zerlegt ist.
  2. Die Zerlegungsgruppe ist genau gleich , wenn unzerlegt ist.
  3. Zu einem weiteren Primideal oberhalb von sind die Zerlegungsgruppen und isomorph.
  4. Es ist

    wobei der gemeinsame Verzweigungsindex und der gemeinsame Trägheitsgrad der Primideale oberhalb von ist.

(1) und (2) sind klar und folgen auch aus (4).

(3). Nach Fakt gibt es ein mit . Mittels kann man direkt den Isomorphismus

angeben. Es ist ja

(4). Wir zerlegen abhängig davon, auf welches Primideal abgebildet wird, also

Dabei ist die Untergruppe ein Teil davon und die anderen Teile sind die Nebenklassen zu dieser Untergruppe, da ja

wenn ein fixierter Automorphismus ist, der in überführt. Insbesondere sind diese Nebenklassen alle gleich groß. Wenn es Primideale in der Faser gibt, und die Körpererweiterung den Grad hat und die Galoisgruppe somit Elemente besitzt, so enthält die Zerlegungsgruppe Elemente, was nach Fakt mit übereinstimmt.



Es sei eine Dedekindbereich mit Quotientenkörper und sei eine endliche Galoiserweiterung mit Galoisgruppe . Es sei der ganze Abschluss von in und sei ein Primideal von . Dann nennt man den Fixkörper zur Zerlegungsgruppe den Zerlegungskörper zu . Er wird mit bezeichnet.

Den Ganzheitsring zum Zerlegungskörper nennt man Zerlegungsring.



Es sei ein Dedekindbereich mit Quotientenkörper und sei eine endliche Galoiserweiterung mit Galoisgruppe . Es sei der ganze Abschluss von in und sei ein Primideal von über . Dann gelten folgende Eigenschaften.

  1. Es gibt einen natürlichen Gruppenhomomorphismus
  2. Wenn die Erweiterung der Restekörper separabel ist, so handelt es sich bereits um eine Galoiserweiterung, und der Gruppenhomomorphismus ist surjektiv.
  3. Wenn zusätzlich unverzweigt ist, so liegt ein Isomorphismus vor.
  1. Sei , also . Dies induziert einen Ringautomorphismus (der fest lässt)

    und einen Körperautomorphismus

    der fest lässt, also ein Element der Galoisgruppe zur Körpererweiterung . Diese Zuordnung ist insgesamt ein Gruppenhomomorphismus aufgrund der Kommutativität des Diagramms

  2. Nach Aufgabe können wir davon ausgehen, indem wir durch den Zerlegungskörper und durch den Schnitt von mit dem Zerlegungsring ersetzen, dass die Zerlegungsgruppe die volle Galoisgruppe ist, dass also das einzige Primideal oberhalb von ist. Aufgrund der Voraussetzung über die Separabilität können wir nach dem Satz vom primitiven Element

    ansetzen, wobei wir unmittelbar annehmen können. Es sei das Minimalpolynom von über . Es ist also in und damit insbesondere in . Da eine Galoiserweiterung ist, zerfällt wegen Fakt in und damit wegen Fakt auch in in Linearfaktoren. Dies gilt dann auch in und überträgt sich auf das Minimalpolynom von über , was wiederum nach Fakt bedeutet, dass die Restekörpererweiterung galoissch ist.

    Es sei nun

    ein -Körperautomorphismus, der den Erzeuger auf ein Element schickt, das wir wiederum als repräsentiert durch eine Nullstelle von annehmen dürfen. Nach Fakt gehört dazu ein -Automorphismus von , der in überführt, und dessen Einschränkung stimmt mit überein, da er auf einem Erzeuger damit übereinstimmt.

  3. Nach Fakt  (4) ist im unverzweigten Fall und dies ist nach Definition der Grad der Körpererweiterung

    Da nach (2) die Restekörpererweiterung galoissch ist, besitzt deren Galoisgruppe ebenfalls Elemente und deshalb folgt aus der Surjektivität bereits die Bijektivität.



Es sei eine Dedekindbereich mit Quotientenkörper und sei eine endliche Galoiserweiterung mit Galoisgruppe . Es sei der ganze Abschluss von in und sei ein Primideal von . Dann nennt man

die Trägheitsgruppe zu .

Es liegt also eine Kette von Untergruppen

vor.


Es sei eine Dedekindbereich mit Quotientenkörper und sei eine endliche Galoiserweiterung mit Galoisgruppe . Es sei der ganze Abschluss von in und sei ein Primideal von . Dann nennt man den Fixkörper zur Trägheitsgruppe den Trägheitskörper zu . Er wird mit bezeichnet.



Es sei eine Dedekindbereich mit Quotientenkörper und sei eine endliche Galoiserweiterung mit Galoisgruppe . Es sei der ganze Abschluss von in und sei ein Primideal von . Die Erweiterung der Restekörper sei separabel.

Dann ist die Ordnung der Trägheitsgruppe gleich dem Verzweigungsindex von .

Insbesondere ist die Trägheitsgruppe genau dann trivial, wenn in keine Verzweigung vorliegt.

Nach Fakt  (2) liegt eine kurze exakte Sequenz

vor. Die Ordnung der Galoisgruppe rechts ist der Trägheitsgrad und die Ordnung der Zerlegungsgruppe ist nach Fakt gleich , wobei den Verzweigungsindex bezeichnet. Deshalb ist die Ordnung der Trägheitsgruppe gleich .