Im Allgemeinen ist das Produkt zweier Untergruppen S und T genau dann eine Untergruppe, wenn ST=TS, und man sagt, dass die beiden Untergruppen permutieren.
Was macht eine Untergruppe zu einer Untergruppe?
Eine Teilmenge H der Gruppe G ist eine Untergruppe von G genau dann, wenn sie nicht leer und unter Produkten und Inversen abgeschlossen ist . … Die Identität einer Untergruppe ist die Identität der Gruppe: wenn G eine Gruppe mit der Identität eG und H eine Untergruppe von G mit der Identität eH ist, dann eH=eG.
Warum ist die Schnittmenge zweier Untergruppen eine Untergruppe?
Da zumindest das Identitätselement 'e' sowohl H1 als auch H2 gemeinsam ist. Da H1 und H2 Untergruppen sind. Also ist H1 ∩ H2 eine Untergruppe von G und das ist unser Theorem, d.h. die Schnittmenge zweier Untergruppen einer Gruppe ist wieder eine Untergruppe.
Ist das Produkt zweier normaler Untergruppen normal?
Teilmengenprodukt der normalen Untergruppen ist normal.
Ist die Vereinigung zweier Untergruppen eine Untergruppe, wenn kein Beispiel?
Wenn eine Gruppe G eine Vereinigung zweier echter Untergruppen H1 und H2 ist, dann müssen wir H1⊄H2 und H2⊄H1 haben, sonst ist G=H1 oder G=H2 und das ist unmöglich, da H1, H2 echt sind Untergruppen. Dann ist G=H1∪H2 eine Untergruppe von G, was nach Teil (a) verboten ist. Daher kann keine Gruppe eine Vereinigung echter Untergruppen sein.