In der
Gruppentheorie der
Mathematik ist eine
Untergruppe einer
Gruppe eine
Teilmenge von
, die bezüglich der Verknüpfung
selbst wieder eine Gruppe ist. Es gibt die Kurzschreibweise , zu lesen als
- ist Untergruppe von .
Die Gruppe
heißt
Obergruppe der Untergruppe
, in Zeichen .