29.10.2013 Aufrufe

Kurzer roter Faden zu Lineare Algebra I& II

Kurzer roter Faden zu Lineare Algebra I& II

Kurzer roter Faden zu Lineare Algebra I& II

MEHR ANZEIGEN
WENIGER ANZEIGEN

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.

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!