Grundlegende Begriffe und der Satz von Lagrange - Universität ...

Untergruppen
Definition
Sei (G, ◦) eine Gruppe und U ⊆ G eine nicht-leere Teilmenge.
Dann heißt U Untergruppe von G, falls U bezüglich der (in ganz
G wohl-definierten) Verknüpfung ◦ selbst eine Gruppe ist.
Wir schreiben U ≤ G (bzw. U < G, falls sicher gilt U = G).
6 / 25