Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-151/5/c/i/solution

Choose with , and let
be its extension. By the given fact, is a profinite group, hence is residually finite. The extension over is the pullback of along the injective map . Part 5(a)(iii) embeds into . Since every subgroup of a residually finite group is residually finite, so is .

New to topics? Read the docs here!