# Free and Finitely Generated Modules

#### Sudharaka

##### Well-known member
MHB Math Helper
Hi everyone,

Want to confirm my understanding about Free and Finitely Generated modules. I want to know whether the following ideas are correct. Thank you for all your help.

1) Is every free module a finitely generated module?

No. Because a free module may have an infinite basis. So we cannot say it's finitely generated. However if the free module has a finite basis it's finitely generated.

2) Is every finitely generated module a free module?

No again. If $$M$$ is a $$R$$-module which is finitely generated by a set $$S=\{x_1,\,x_2,\,\cdots,\,x_n\}\subset M$$ then for each element $$x\in M$$ we have,

$x=r_1 x_1+\cdots+r_n x_n$

where $$r_1,\cdots,r_n\in R$$.

However we don't know whether $$S$$ is linearly independent. So generally $$M$$ is not free.

Am I correct?

#### Deveno

##### Well-known member
MHB Math Scholar
That looks correct.

An easy counter-example for (2) is given by the $\Bbb Z$-module $\Bbb Z_n$.

Clearly, we have $\{1\}$ as a generating set, but this is not a basis because:

$n.1 = 0$ but $n \neq 0$.

Something for you to think about:

Suppose $R$ is a principal ideal domain, and that $M$ is a finitely-generated $R$-module.

Let $T = \{m \in M: \exists r \in R^{\ast}\text{ with }r.m = 0\}$.

Is $M/T$ free? (This is a subtler question than might appear at first. Ask yourself: why do we insist $R$ be a PID?).