6. Gruppen und Geometrie

A Gruppenhomomorphismus

Eigenschaften Normalteiler (5x)

Man kann zeigen, dass für eine Untergruppe N ⊆ G folgende fünf Aussagen paarweise äquivalent sind:
 
  • Für jedes g ∈ G gilt gNg−1 = N (Man sagt auch: N ist invariant unter der Konjugation mit g)
  • Für jedes g ∈ G und jedes n ∈ N gilt gng−1 ∈ N, das heißt ∀ g ∈ G: gNg−1 ⊆ N.
  • Für jedes g ∈ G stimmt die linke mit der rechten Nebenklasse von N überein: ∀ g ∈ G : gN = Ng.
  • Die Menge N ist eine Vereinigung von Konjugationsklassen der Gruppe G.
  • Es existiert ein Gruppenhomomorphismus aus G dessen Kern N ist.

 

Diskussion