Z modulo n/Representatives/Associativity and group/Exercise

Let , and consider on

the operation

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