Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-151/2/b/ii/solution

Suppose . This completion is an abelian group, so every finite quotient of is abelian. Consequently the quotient map to the abelianization induces
The group is a finitely generated abelian group. If its free rank is zero, is finite. If its free rank is positive, and hence have a nontrivial quotient for every sufficiently chosen prime . But has no nontrivial finite quotient of order coprime to . Both cases are impossible, so .

New to topics? Read the docs here!