Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/iii/paper-3/3/b/i/solution

The assumed group is a Tarski monster group. For any , its cyclic subgroup must be proper. Otherwise would be infinite cyclic, and would be a proper nontrivial infinite subgroup, contrary to the hypothesis. Hence has order .
Choose , possible because is infinite. The subgroup contains strictly. If it were proper, it would have order and could not strictly contain the order- subgroup . Therefore
In particular, is a finitely generated group, generated by two elements.

New to topics? Read the docs here!