Let $P$ be a projective module over a commutative ring $R$ with unity. Then for some free $R$-module $M$ , $M=P\oplus Q$, and we can think of $P,Q$ as submodules of $M$. Now let $N$ be a finitely generated free submodule of $M$ such that $P \subseteq N$; then is it true that $P$ is finitely generated ? I know that if I can show that there exists a surjective module homomorphism of $N$ onto $P$, then we are done, but I am unable to show that. Please help. Thanks in advance
Let $\pi:M\to P$ be the projection given by the splitting $M=P\oplus Q$, so in particular $\pi(p)=p$ for all $p \in P$. We can then restrict $\pi$ to $N$, and it will still be surjective, since $P\subseteq N$ and $\pi$ is the identity on $P$. Thus since $N$ is finitely generated, $P$ is finitely generated.