Let $R$ be a commutative ring and $M,N$ $R$-modules finitely generated with $M$ of finite length. How can I prove that $M\otimes_R N$ is of finite length?
Tensor product of a finitely generated modul and a finite length module is finite length
2
$\begingroup$
commutative-algebra
modules
tensor-products
1 Answers
2
Let $F$ be a finite free $R$-module and let $F \to N$ be a surjective map of $R$-modules. Tensoring with $M$, you get a surjective $R$-linear map $M \otimes_R F \to M \otimes_R N $. Notice that $M \otimes_R F \simeq M \oplus \cdots \oplus M$ has finite length.