Suppose where both and has order 2. Prove that is isomorphic to for some integer .

Note that since . Since is finite, has a finite order, say , so that . We also have .

We claim that there are no other relations, other than .

Suppose to the contrary . Then , i.e. , a contradiction. Similarly if , implies , a contradiction. Inductively, and for any .

Thus