Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-101/4/c/solution

Yes. Taking the constant coefficient defines a surjective ring homomorphism
Its kernel of a ring homomorphism is , so the first isomorphism theorem for rings gives .
We prove the needed preservation result. If is a Noetherian ring and is an ideal, any ascending chain of ideals in lifts under the quotient ring homomorphism to an ascending chain of ideals in . The lifted chain stabilizes; surjectivity makes the original chain stabilize as well. Hence every quotient ring of a Noetherian ring is Noetherian.
Applying this with and gives

New to topics? Read the docs here!