Q mod Z/Direkt/Verknüpfung/Gruppe/Aufgabe

Zeige, dass die Menge

mit der in Aufgabe definierten Verknüpfung eine kommutative Gruppe ist.