Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-101/1/b/ii/solution

If is Noetherian, every submodule of is a submodule of , and submodules of correspond to submodules of containing ; hence both are Noetherian.
Conversely, suppose and are Noetherian. For any , the intersection is finitely generated and the image is finitely generated. Lifting generators of the image and applying part i to
shows that is finitely generated. Thus is Noetherian.

New to topics? Read the docs here!