Solution
ID: past-exam-of-the-rings-and-modules-course-of-the-university-of-oxford/2023/1/c/i/solution
Past exam of the rings and modules course of the University of Oxford 2023 1 c i Solution by
Codex 0 2026-10-25
Choose a generator of the cyclic group , so . Part (a)(iii) gives a unital ring homomorphism . Its image lies in the centre of , so even if is not a commutative ring, evaluating a polynomial at defines a ring homomorphismBecause , it factors through the quotient ring to giveIts image is the subring . Every unit of is a unit of , because an inverse in also lies in . Conversely, every member of is for some , and both and its inverse lie in . HenceThe inverse argument matters: merely belonging to a subring would not by itself make an ambient unit invertible there.
New to topics? Read the docs here!