0
$\begingroup$

I'm revising Commutative Algebra and have a quick (possibly stupid) question - I can't get my head around the fact that a submodule of a finitely generated module is not necessarily finitely generated - so M is finitely generated if there is a finite set Y such that very element of M is a linear combination of elements of Y, but if A is a submodule of M any element in A is also an element of M and thus can be written as a linear combination of elements of Y as well?

Any help greatly appreciated, thanks!!

$\endgroup$
  • $\begingroup$ See math.stackexchange.com/questions/125015/… for an example of what can go wrong. The problem is that the generators you pick for your module might not be in the submodule. $\endgroup$ – jmracek Jan 1 '14 at 22:21
  • 1
    $\begingroup$ Well certainly any ring is a finitely generated module over itself. But what are the submodules of rings called? When are they finitely generated? $\endgroup$ – PVAL-inactive Jan 1 '14 at 22:22
  • $\begingroup$ @JennyFirman $10$ questions, $0$ accepted answers! Why? (Btw, your question is broad enough to be tagged as "abstract-algebra".) $\endgroup$ – user26857 Jan 1 '14 at 22:46
2
$\begingroup$

The problem is that the generators for $M$ may not lie in the submodule $A$. As an example, every ideal $I$ in a commutative ring $R$ is an $R$-submodule of the $R$-module $R$, but there are rings with ideals that are not finitely generated (i.e., non-Noetherian rings), although $R$ is always finitely generated as an $R$-module (by the element $1$). Explicitly, the ideal $(x_1, x_2, ...)$ in the polynomial ring $k[x_1, x_2, ...]$ in infinitely many variables requires infinitely many generators (note: the generator $1$ for $R$ is not contained in $(x_1, x_2, ...)$).

$\endgroup$
  • $\begingroup$ +1 for the highly suggestive notation $(x_1,\dotsc)$ :-) $\endgroup$ – Martin Brandenburg Jan 1 '14 at 22:27
1
$\begingroup$

You "proof" doesn't work since $Y$ is not a subset of $A$ (which is the minimal requirement for a generating system).

Rings over which (left) submodules of f.g. (left) modules are f.g. are precisely the (left) noetherian rings.

$\endgroup$

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.