Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-133/1/b/solution

Use the injective group homomorphism from part (a). If , its image is an integral matrix . Choose a prime number that does not divide one nonzero entry of . The reduction modulo a prime in an integral matrix group homomorphism
then sends to a nonidentity element. Its target is a finite group, so the composite map separates from the identity. Hence is a residually finite group.

New to topics? Read the docs here!