Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am new to modules and I want to show that "If the Quotient $M/M'$ of a finitely generated module $M$ is a free module then $M'$ is finitely generated". Please help me.

share|cite|improve this question

Since $M/M^\prime$ is free, the quotient map $M \to M/M^\prime$ admits a section (by sending the generators of $M/M^\prime$ to one of the elements in their preimages). This implies that $M \cong M^\prime \oplus M/M^\prime$. Since $M$ is finitely generated, $M^\prime$ must also be.

(for a proof of the fact used, see for example here:

share|cite|improve this answer

You have an ses $0 \to M'\to M \to M/M' \to 0$ that splits because $M/M'$ is free and hence projective. Thus by the splitting lemma $M \cong M/M' \oplus M'$. Thus upon taking the projection of $M$ onto $M'$ we see that $M' $ is finitely generated.

share|cite|improve this answer

Find a section of the Short exact sequence $0\rightarrow M'\rightarrow M\rightarrow M/M'$ and deduce that $M$ is isomorphic to the direct sum of $M/M'$ and $M'$. Now use the fact that $M/M'$ is free and $M$ is finitely generated. Hope that helps !

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.