Past exam of the rings and modules course of the University of Oxford / 2021 / 2 / a / i

Choose a finite generating set of a module $n_1,\dots ,n_t$ for the finitely generated module $N$. For any $m\in M$, the surjectivity of the module homomorphism $\varphi$ gives $n\in N$ with $\varphi (n)=m$. Write $n={\sum }_{j=1}^t{r}_j{n}_j$. Since $\varphi$ is a module homomorphism,Thusis a finitely generated module. The argument includes $N=0$, in which case surjectivity forces $M=0$ and the empty generating set of a module suffices.