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 .