Gruppe/Endlich erzeugt/Definition