Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/ia/paper-3/8d/b/ii/solution

Use additive notation and take , . Its quotient group is . A group homomorphism from sends its generator to an element annihilated by , so the image must be either or . Both project to the identity coset , and neither can project to the nonidentity generator of . Therefore this quotient projection has no homomorphic section. It is a nonsplit group extension, despite both and being nontrivial finite groups.

New to topics? Read the docs here!