Zurück

Definitionen und Sätze

Im folgendem sei char(K)=0. Dann entfällt überall der Zusatz "separabel", denn dann hat ein irreduzibles Polynom nur einfache Nullstellen im Zerfällungskörper. (Quelle: Tutorium S.165ff)

---

Definition: Eine endliche Körpererweiterung L/K heißt galois, wenn |Aut(L/K)|=[L:K].
d.h. Die Anzahl der Automorphismen von L/K ist gleich der Dimension des Vektorraumes L über K.
Satz: Zerfällungskörper sind galois.
Übrigens: Zerfällungskörper L sind bis auf Isomorphie eindeutig bestimmt.
Wir dürfen also annehmen, dass ℚ⊂L⊂ℂ.

---

Definition: Eine algebraische Körpererweiterung heißt normal, wenn jedes irreduzible f∈K[x] mit mindestens einer Nullstelle in L alle Nullstellen in L hat.
Satz: L/K ist normal ⇔ L ist Zerfällungskörper eines Polynoms f∈K[x] und damit ist L/K galois.

---

Bezeichnung: Sei H⊆Aut(L) eine endliche Gruppe von Automorphismen von L. Dann wird
der Fixpkörper von H als L^H bezeichnet. L^H={x∈L|σ(x)=x für alle σ∈H}.

Der Hauptsatz der Galoistheorie (nach Artin)

Satz: Sei L/K eine endliche Galoiserweiterung und G=Gal(L/K) ihre Galoisgruppe.
Dann gibt es eine bijektive Zuordnung von den Untergruppen H von G zu den Zwischenkörpern M von L/K.
Die Zuordnung ist inklusionsumkehrend, d.h. gilt für die Untergruppen H₁⊂H₂ dann und nur dann gilt für die zugeordneten Zwischenkörpern M₁⊃M₂.
Ist H eine Untergruppe von G, dann ist der zugeordnete Zwischenkörper der Fixkörper
M=L^H={x∈L|φ(x)=x für alle φ∈H}.
Ist M ein Zwischenkörper, dann ist die zugeordnete Untergruppe H=Aut(L/M)={φ|φ Automorphismus von L mit φ(x)=x für alle x∈M}.
Wichiger Zusatz über die Größe der Untergruppen und den Grad der Erweiterung:
|L:L^H|=|H| und [L^H:K]=(G:H)