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

Let $n_1,\dots ,n_t$ generate the submodule $N$, and let $m_1+N,\dots ,m_s+N$ generate the quotient module $M/N$. Choose each $m_i\in M$ as a representative of its class. For any $m\in M$, there are $r_1,\dots ,r_s\in R$ such thatTherefore $m-{\sum }_i{r}_i{m}_i\in N$. Expressing that difference using the generating set of a module $n_1,\dots ,n_t$ givesHenceis a finitely generated module. This proves that finite generation is preserved by module extensions.