Countably infinite groups such that every element has order 2 are isomorphic
I once saw the following puzzle:
Given a list of non-negative integers. Every number except one appeared twice. The memory that contain the integers are read only. Can you use additional space to find the integer that only appeared once?
The solution was the xor function.
If is the number that didn’t appear twice,
The reason was because xor have the following property. , and for all . One can see is a abelian group.
Is this the unique function to solve this problem?
In some way, yes. Here is a theorem.
The countably infinite group such that for all is up to isomorphism.
See the answer by Pete Clark for the proof.