Der Index einer Untergruppe in einer Gruppe .