Kurzer roter Faden zu Lineare Algebra I& II
Kurzer roter Faden zu Lineare Algebra I& II
Kurzer roter Faden zu Lineare Algebra I& II
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
3 WICHTIGE ALGEBRAISCHE STRUKTUREN 36<br />
Beobachtung 41 (Schnitt einer Menge von Untergruppen) Sei (G, ·) eine Grup-<br />
pe und sei C eine Menge von Unterguppen von (G, ·) mit C = ∅. Dann ist<br />
eine Untergruppe von (G, ·) .<br />
C := {g ∈ G | g ∈ U für alle U ∈ C}<br />
Korollar 42 Sei (G, ·) eine Gruppe und X ⊆ G. Wir setzen<br />
C := {U | U Untergruppe von G mit X ⊆ U} .<br />
Dann ist C eine Untergruppe von (G, ·) mit X ⊆ C.<br />
Für alle Untergruppen U ′ von G mit X ⊆ U ′ folgt C ⊆ U ′ . Das bedeutet: C ist<br />
bezüglich ⊆ die kleinste Untergruppe von (G, ·) die X umfaßt).<br />
Bezeichnung Die Untergruppe C im vorigen Korollar heißt die von X erzeugte Unter-<br />
gruppe (in G). Sie wird mit 〈X〉 bezeichnet.<br />
3.0.5 Beispiele<br />
1. G := (Z, +)<br />
Für jedes m ∈ Z ist mZ := {mx | x ∈ Z} eine Untergruppe von (Z, +)<br />
2. ρ := Spiegelung an x-Geraden der euklidischen Ebene<br />
σ := Spiegelung an y-Geraden der euklidischen Ebene<br />
G := Gruppe der Permutationen auf der Menge R 2 .<br />
X := {ρ, σ}.<br />
Dann ist 〈X〉 = {id, ρ, σ, ρσ} die von X in G erzeugte Untergruppe (ρσ ist die<br />
Spiegelung am 0-Punkt).<br />
Lemma 43 (Regeln für das Erzeugnis) Seien G eine Gruppe und X, Y ⊆ G. Dann<br />
gilt:<br />
(a) 〈〈X〉〉 = 〈X〉<br />
(b) Für jede Untergruppe U von G gilt: X ⊆ U ⇔ 〈X〉 ⊆ U<br />
(c) X ⊆ Y ⇒ 〈X〉 ⊆ 〈Y 〉<br />
Die Definition des Gruppenerzeugnis ist recht abstrakt; man muß den Durchschnitt bil-<br />
den über eine im allgemeinen unendliche Menge von Untergruppen. Eine konstruktive<br />
Beschreibung liefert der folgende Satz.