Endliche Gruppe/Definition