Mnożenie modulo N

może to ja czegoś nie rozumiem, ale
nie masz chyba zadania wyplucia zboru liczb od 1 do N-1

bo to byłby zwykła pętla np. while (i<N)

grupa z działanie musi spełniać pewne warunki
takie jak łączność, przemienność, istnienie elementu odwrotnego, istnienia elementu neutralnego (dla mnożenia 1)   - tyle pamiętam w tej chwili

i to moim zdanie należałoby zaimplementować

czyli
* generacja zbioru
* sprawdzenie łączności
* sprawdzenie przemienności,
* sprawdzenie istnienia elementu odwrotnego,
* sprawdzenie istnienia elementu neutralnego
.. może coś jeszcze

wszędzie jest OK
czyli możemy zwrócić zbiór twierdząc, że to grupa z działaniem

ale mogę się mylić :)