Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ib/paper-4/9e/a/i/solution

If is irreducible and , the image is a nonzero submodule, hence and the map is onto. Conversely, if every nonzero is cyclic and is nonzero, choose . Then , so and is irreducible.

New to topics? Read the docs here!