Z modulo n/Representatives/Associativity and group/Exercise

< Z modulo n < Representatives < Associativity and group

Let , and consider on

the operation

Show that this defines an associative operation on this set. Moreover, show that this is even a group.