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 $\varphi :R\to S$ induces an isomorphismBecause $J$ is an ideal, sums and products of elements of $R+J$ remain in $R+J$, so it is a subring. The surjective homomorphismhas kernel $R\cap J$. The theorem givesEvaluation at $-2$ givesso this quotient is a field of characteristic zero. The other quotient isIt has characteristic $3$ but is not a field, since the nonzero class of $X-1$ is nilpotent.

Solved by gpt-5.6-sol high.