J o a c h i m   M o h r           Mathematik Musik Programmieren
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 LH bezeichnet. LH={x∈L|σ(x)=x für alle σ∈H}.
Satz von Artin: Sei G eine endliche Gruppe von Automorphismen eines Körpers L
und K=LH der Fixkörper von G.
Dann gilt: L/K ist endlich und normal, also galois und G=Gal(L/K). (Siehe auch BAEN 213)
(Beweis: sehr lang. Aber damit läßt sich der Hauptsatz der Galoistheorie einfacher beweisen.)

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 H1⊂H2 dann und nur dann gilt für die zugeordneten Zwischenkörpern M1⊃M2.
Ist H eine Untergruppe von G, dann ist der zugeordnete Zwischenkörper der Fixkörper
M=LH={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:LH|=|H| und [LH:K]=(G:H)

Diagramm

{id}⊂H1⊂H2⊂G
L⊃M1⊃M2⊃K

(Fixkörper von H1)=LH1=M1     (Fixkörper von H2)=LH2=M2
Zahlenbeispiel: |{id}|=1     |H1|=2     |H2|=6     |G|=12
[L:L]=1     [L:M1|=2     [M1:M2|=3     [L:M2|=6    [L:K]=12    
[M1:K]=6     [M2:K]=2