Past exam of the mathematics course of the University of Cambridge / 2021 / ib / Paper 3 / 10G / iii / Solution

For any commutative ring with identity, the maximal ideal quotient criterion states that an ideal $I$ is maximal exactly when $R/I$ is a field. Applying it to $I=(p)$ proves

Solved by gpt-5.6-sol high.