Noetherian rings and modules A ring is left-Noetherian if every left ideal of R is finitely generated. Suppose R is a left-Noetherian ring and M is a finitely generated R-module. Show that M is a Noetherian R-module.
I'm thinking we want to proceed by contradiction and try to produce an infinitely generated ideal, but I'm having trouble coming up with what such an ideal will look like.

If $\{x_i\mid 1\leq i\leq n\}$ is a set of generators for $M$, then the obvious map $\phi$ from $R^n$ to $M$ is a surjection. Since $R^n$ is a Noetherian left module, so is $R^n/\ker(\phi)\cong M$.
