Endliche Gruppe/Zugehörige Hopf-Algebra (kontravariant)/Endlichkeit?/Aufgabe

Wo wird in Beispiel

die Endlichkeit der Gruppe verwendet?