23
$\begingroup$

I'm looking for an example of a finitely generated module with submodules that are not finitely generated.

I've found a similar question dealing with group (i.e. an example of a finitely generated group with subgroups that are not finitely generated). But I can't figure out whether that question do help to this one.

And I actually want to find a more "module-like" example rather than an example derived from a 'strange' group.

Can you please help? Thank you!

  • 9
    A submodule of a finitely generated module over a noetherian ring is finitely generated. Find a non-noetherian ring. The regular module is finitely generated, but by definition it has submodules that are not.2011-11-17
  • 1
    @JackSchmidt: I'm sorry that I do not know enough examples for such a ring. Could you please give a specific example? Thank you!2011-11-17
  • 0
    Plus one because over a month ago I proved that every quotient of a fin gen module is fin gen and then made the mistake of assuming sub mods were too.2017-03-19

2 Answers 2

26

Here's a fairly simple example (of a non-Noetherian ring): the ring $R$ of polynomials in one indeterminate $X$ having rational coefficients but with an integer constant term. Its ideal of elements with zero constant term is not finitely generated as an $R$-module.

34

The ideal $I=\langle X_1,X_2,...,X_n,... \rangle \subset \mathbb R[X_1,X_2,...,X_n,...]=A$ can be seen as a submodule of the free $A$-module of dimension one $A=A^1$, and that module is not finitely generated. Do you see why?
(Hint: even in a polynomial ring with infinitely many indeterminates, each polynomial involves only finitely many variables. In other words $\mathbb R[X_1,X_2,...,X_n,...]=\bigcup_{k\geq 1}\mathbb R[X_1,X_2,...,X_k] \;$ )

  • 0
    Dear Georges. Can one argue as follows? Assume $I$ was finitely generated. Then $I = \langle X_{n_1}, \dots , X_{n_N} \rangle$. Without loss of generality, we may assume $n_1 < \dots < n_N$. Then the polynomial $p(X_1, X_2, \dots) = X_{n_N + 1}$ is not in $I$. Hence $I$ cannot be finitely generated.2012-07-23
  • 6
    Dear Matt, beware that if $I$ were finitely generated there is no reason that it would be generated by monomials $X_{n_i}$ !2012-07-23