Let c be a fixed positive integer, and let * denote the binary operation on the set Z of integers defined be the formula
for all integers x, y, and z.
Is (Z, *) a group?
I already proved that it's a monoid. Do I have to do this step by induction? Could someone guide me towards a solution?