Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/iii/paper-3/3/b/i/solution
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 3 3 b i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
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 . ThereforeIn particular, is a finitely generated group, generated by two elements.
New to topics? Read the docs here!