I just want this result for something that I am proving. I am proving if you have $f : M \rightarrow N$ be a surjective homomorphism then N has a finite rank. I showed that $N \cong M/ker(f)$, since $M/ker(f)$ is finitely generated then N is finitely generated. But I don't right away for general rings that finitely generate implies finite rank.

Recall here: Finitely generated module is defined as follows

M is finitely generated R-module iff there exists a generating set $\{x_i\}$ such that every $m = \Sigma r_ix_i$.

M has finite rank iff there exists a generating set $\{x_i\}$ that is a basis, i.e every m can be written uniquely as above.

  • 1
    $\begingroup$ What do you can finite rank, and what are the hypotheses? $\endgroup$ – Bernard Mar 2 '17 at 0:06
  • $\begingroup$ @Bernard I have edited my post above. $\endgroup$ – user111750 Mar 2 '17 at 0:11
  • $\begingroup$ You are probably missing an hypothesis on M... $\endgroup$ – Mariano Suárez-Álvarez Mar 2 '17 at 0:12
  • $\begingroup$ On the other hand, if your definition of finite rank includes having a basis, then the claim you are trying to prove is false. For example, if the ring is Z and $f:Z\to Z/4Z$ is the quotient map then Z if finitely generated and $Z/4Z$ does not have a basis. $\endgroup$ – Mariano Suárez-Álvarez Mar 2 '17 at 0:14
  • $\begingroup$ @MarianoSuárez-Álvarez oh thank you for your clarification. $\endgroup$ – user111750 Mar 2 '17 at 0:21

Take a finitely generated free module $M$ over a ring $R$. The existence of a surjection $M \twoheadrightarrow N$ to an $R$-module $N$ does not imply that $N$ is free. That would imply that every finitely generated module over $R$ is free.

For example $\mathbb{Z}$ is a finitely generated free module, and the quotient map $\mathbb{Z} \rightarrow \mathbb{Z} / n \mathbb{Z}$ is a surjection, but $\mathbb{Z} / n \mathbb{Z}$ is not free.

However, a finitely generated free module $M$ over $R$ has finite rank. Suppose $M$ has basis $\{b_i \}_{i \in I}$ and let $\{ x_i \}_{1 \leq i \leq n}$ be a finite set of generators. Express each $x_i$ as $\sum_{j \in F_i} b_{j}$ for a finite set $F_i \subset B$. $\left\{ b_j | j \in \cup_{i = 1}^n F_i \right\}$ is finite, and consists of linearly independent elements. But it also spans $M$ since each $x_i$ is contained in the submodule of $M$ it generates. Thus $\left\{ b_j | j \in \cup_{i = 1}^n F_i \right\}$ testifies to the fact that $M$ has finite rank.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy