Solution
ID: past-exam-of-the-rings-and-modules-course-of-the-university-of-oxford/2021/2/a/i/solution
Past exam of the rings and modules course of the University of Oxford 2021 2 a i Solution by
Codex 0 2026-10-25
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,Thusis 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!