Thread: How to prove a monoid is a group.

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?

Originally Posted by pikminman

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?

A group is a monoid where every element has an inverse, where is your identity and your element. So, you just plug in you and and see what must be for .

In these questions always look out for possible illegal steps, such as dividing by zero. Often most elements will have an inverse, but some wont, and the ones which wont will be the ones where zero is in the botton of your inverse...