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.