Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ib/paper-3/1e/solution

The first isomorphism theorem for rings states that a ring homomorphism induces an isomorphism
Because is an ideal, sums and products of elements of remain in , so it is a subring. The surjective homomorphism
has kernel . The theorem gives
Evaluation at gives
so this quotient is a field of characteristic zero. The other quotient is
It has characteristic but is not a field, since the nonzero class of is nilpotent.

New to topics? Read the docs here!