Let $X$ be a finite-dimensional smooth manifold, $\mathcal C^\infty(X)$ its algebra of smooth functions, $V\to X$ a finite-dimensional smooth vector bundle, and $\Gamma(V)$ the space of smooth sections of $V$. In particular, $\Gamma(V)$ is a $\mathcal C^\infty(X)$-module. I am interested in $\mathcal C^\infty(X)$-submodules $D \subseteq \Gamma(V)$.



> 
> Is $D$ necessarily finitely-generated as a $\mathcal C^\infty(X)$-module?
> 
> 
> 


If $X$ is not compact (or maybe even if it is?), then $\mathcal C^\infty(X)$ is not Noetherian. So it is not true that submodules of arbitrary finitely-generated modules are finitely generated. So I expect that the answer to my question is "no", but I'm having trouble coming up with a counterexample.


Actually, what I really want is for $D$ to receive a ($\mathcal C^\infty$-linear) surjection from $\Gamma(W)$ for some finite-dimensional vector bundle $W$. If $X$ is not compact, then I think it is still the case (using partitions of unity) that $\Gamma(W)$ is globally finitely-generated (the idea is to find a cover for which each open intersects only finitely many others in the cover, and then to double up the generators). But if it isn't, the actual question I want to ask is the one with the word "locally" sprinkled in all the necessary places.



Is a submodule of the sheaf of sections of a smooth vector bundle necessarily finitely generated?
The module of all sections of $V$ that vanish to infinite order at a given point of the manifold will not be finitely generated (unless the bundle has rank zero or the manifold has dimension zero). 


