Solution

ID: past-exam-of-the-rings-and-modules-course-of-the-university-of-oxford/2021/2/a/i/solution

Choose a finite generating set of a module for the finitely generated module . For any , the surjectivity of the module homomorphism gives with . Write . Since is a module homomorphism,
Thus
is a finitely generated module. The argument includes , in which case surjectivity forces and the empty generating set of a module suffices.

New to topics? Read the docs here!