Z modulo n/Repräsentanten/Assoziativität und Gruppe/Aufgabe

Es sei  ${}d\in \mathbb {N} _{+}$.  Wir betrachten auf

${}\mathbb {Z} /(d)=\{0,1,\ldots ,d-1\}\,$

die Verknüpfung

${}a+b:=(a+b)\mod d={\begin{cases}a+b,{\text{ falls }}a+b<d\,,\\a+b-d,{\text{ falls }}a+b\geq d\,.\end{cases}}\,$

Zeige, dass dadurch eine assoziative Verknüpfung auf dieser Menge definiert ist, und dass damit sogar eine Gruppe vorliegt.

Eine Lösung erstellen