Intereting Posts

$\limsup $ and $\liminf$ of a sequence of subsets relative to a topology
Determining the cardinality of $SL_2 (F_3) $
Swatting flies with a sledgehammer
Relationship between very ample divisors and hyperplane sections
Why is the determinant $M_n(\mathbb R) \to \mathbb R$ continuous?
Primitive Permutation Group with Subdegree 3
UK 1998, Show that $hxyz$ is a perfect square.
Intuitive explation for oriented matroids?
2 color theorem
About the Legendre differential equation
Ravi substitution in inequalities
Show that $\lim_{\epsilon\to0^{+}}\frac{1}{2\pi i}\int_{\gamma_\epsilon}\frac{f(z)}{z-a} \, dz=f(a)$
Showing that $\lim_{(x,y) \to (0, 0)}\frac{xy^2}{x^2+y^2} = 0$
how many ways to make change, asymptotics
Computational complexity of least square regression operation

I used this “fact” when I hand in my take home exam. To my surprise this was returned with a remark “$M$ is not noetherian!”. But I remember the criterion for noetherian is $M$’s submodules are all finitely generated. Then assume $M$ has submodule $M_{1}$, the map $$R^{n}\rightarrow M\rightarrow M_{1}$$ must be surjective since $M$ is finitely generated. So I do not know where I got wrong.

- A ring without the Invariant Basis Number property
- Is fibre product of varieties irreducible (integral)?
- Proof of $M$ Noetherian if and only if all submodules are finitely generated
- Completion as a functor between topological rings
- Separability and tensor product of fields
- Is quotient of a ring by a power of a maximal ideal local?
- Tensor product of reduced $k$-algebras must be reduced?
- Ring of polynomials as a module over symmetric polynomials
- Generators for the radical of an ideal
- Gauss sums and module endomorphisms

If $M_1$ is a submodule of $M$, then there is a canonical injective module homomorphism $M_1\to M$, given by the inclusion map. However, there is **not** necessarily a surjective module homomorphism $M\to M_1$. This is where your argument went wrong.

As an example, consider the case when $M = R$, so that submodules of $M$ are exactly ideals of $R$. Let $I$ be an ideal of $R$, and suppose that there is a surjective $R$-module homomorphism $f\colon R\to I$. Let $a = f(1)$. Then, since $f$ is surjective, $I = f(R) = Rf(1) = Ra$, that is, $I$ is necessarily a principal ideal, generated by $a$. We can conclude from this that if $I$ is an ideal of $R$ that is *not* principal, then there cannot be a surjective $R$-module homomorphism $R\to I$.

In general it *is* true that if $R$ is a Noetherian ring and $M$ is a finitely generated module over $R$, then $M$ is Noetherian. Your argument is close to right. Since $M$ is finitely generated, there is a surjective homomorphism $R^n\to M$, so $M$ is a quotient of $R^n$. Because $R$ is Noetherian, $R^n$ is Noetherian. Since quotients of Noetherian modules are Noetherian, $M$ is Noetherian. This argument fails when $R$ is not a Noetherian ring.

What you claim is false; a finitely generated module need not be Noetherian. As a counterexample, consider the polynomial ring $\mathbb{Q}[x_0,x_1,\dots]$ in infinitely many variables as a module over itself. It is finitely generated (by 1), but its submodule $\langle x_0,x_1,\dots\rangle$ isn’t, so the module itself isn’ Noetherian.

What is true is that a module over a *Noetherian* ring is Noetherian iff it is finitely generated (this might require the ring to be commutative with unity).

- Funny translations of mathematical words
- A group is generated by two elements of order $2$ is infinite and non-abelian
- Prob. 26, Chap. 5 in Baby Rudin: If $\left| f^\prime(x) \right| \leq A \left| f(x) \right|$ on $$, then $f = 0$
- Every group of order 203 with a normal subgroup of order 7 is abelian
- Which books to study category theory?
- Convergence in distribution (weak convergence)
- What is the most efficient algorithm to find the closest prime less than a given number $n$
- For what $(n,k)$ there exists a polynomial $p(x) \in F_2$ s.t. $\deg(p)=k$ and $p$ divides $x^n-1$?
- Examples of “transfer via bijection”
- Equilateral Triangle Problem With Trig
- Calculus 2 integral $\int {\frac{2}{x\sqrt{x+1}}}\, dx$
- Can you prove that $\frac{1}{n}+\frac{1}{n^2}+\frac{1}{n^3}… = \frac{1}{n-1}$?
- Is there an analogue of Lebesgue’s Dominated Convergence Theorem for a net $ (f_{\alpha})_{\alpha \in A} $ of measurable functions?
- Express roots in polynomials of equation $x^3+x^2-2x-1=0$
- Are the Taylor polynomials of a function the results of a minimization problem?