16
$\begingroup$

Let $L$ and $N$ be two Noetherian $R$-modules ($R$ is a commutative ring with 1). Is it right that $L \otimes_R N$ is Noetherian?

If not, what additional conditions on $L$ and $N$ are required in order that the statement will be true?

If every submodule of $L \otimes_R N$ is of the form $L_0 \otimes_R N_0$ where $L_0 \subset L$ and $N_0 \subset N$ are $R$-submodules, then each of them is finitely-generated and thus also their product and we are done. The question is if any submodule of the tensor product can be written as $L_0 \otimes_R N_0$?

  • 1
    The claim about submodules is not true: consider the ideal (x-y) inside k[x,y].2012-11-27
  • 0
    Also I have doubts about the whole thing being true because it is false for rings: the tensor product of noetherian rings need not be noetherian. Trying to come up with a module counterexample...2012-11-27
  • 0
    I thought so. I know that if $M_1 \subset M$ and $M$ is finitely-generated then $M_1$ is not necessarily finitely-generated. However, let $M_1$ be a submodule of $L \otimes_R N$. Suppose it is contained in a submodule of the form $L_1 \otimes_R N_1$ and contains a submodule of the form $L_2 \otimes_R N_2$, that is $$ L_2 \otimes_R N_2 \subset M_1 \subset L_1 \otimes_R N_1 \ . $$ Is $M_1$ is finitely-generated in that case?2012-11-27
  • 0
    Here there is a claim about rings: http://math.stackexchange.com/questions/19426/when-is-a-tensor-product-of-two-commutative-rings-noetherian , it states that if, in addition, one of them is finitely-generated $R$-algebra then the tensor product is Noetherian. This qualifies for the application that one of the modules is $R[t]$.2012-11-27
  • 0
    "Is $M_1$ finitely generated in that case." What if $L_2 \otimes_R N_2$ is zero? Then you're asking if a submodule of a finitely generated module is finitely generated, and the answer is no (as you said).2012-11-29

1 Answers 1