Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/ib/paper-3/14f/ii/solution
Past exam of the mathematics course of the University of Cambridge 2004 ib Paper 3 14F ii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
A proper finite-index subgroup of a torsion-free group cannot be a direct summand when the complement is a subgroup of that same free abelian group. Indeed, if , every has because the quotient has order eighteen. But also , so by the trivial intersection. The ambient group is torsion-free, forcing and hence . This would give , contrary to index eighteen. Thus is not a direct summand.
New to topics? Read the docs here!