Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose that i have a commutative ring $R$ and $R$-modules $M$ and $N$ such that $M$ and $M\otimes_R N$ are finitely generated projective modules. Suppose also that $ {\rm rk}_R(M)={\rm rk}_R(M\otimes_R N).$

Is it true that $N$ is a projective finitely generated module?

share|improve this question
add comment

1 Answer

up vote 3 down vote accepted

Let $R=A\times B$ be a product of two rings, $M=A\times \{ 0 \}$ and $N$ any $B$-module viewed as $R$-module via the projection $R\to B$. Then $M$ is projective over $R$, $M\otimes_R N=0$. But you can't conclude that $N$ is projective.

You should suppose that $M_p\ne 0$ for any prime ideal $p$ of $R$.

Edit Positive answer under the above condition. Note that the condition on the ranks is not sufficient as shows any example with $M=0$.

What is important is that $M$ is faithfully flat. This is true because it is flat by projectivity and faithfully flat by the condition $M_p\ne 0$ for all prime ideal $p$ of $R$.

Now suppose $M\otimes N$ is projective. Let us prove first that $N$ is flat: let $N_1\to N_2$ be an injective $R$-linear map. Let $L$ be the kernel of $N_1\otimes N\to N_2\otimes N$. Then $L\otimes M=0$ because $M$ and $M\otimes N$ are flat. By faithfull flatness of $M$, this implies that $L=0$. Hence $N$ is flat.

Fact. Let $K$ be any $R$-module such that $M\otimes_R K$ is finitely generated. Then $K$ is finitely generated.

Proof: $M\otimes K$ has a finite generating family of the form $m_i\otimes k_i$ with $k_i\in K$ and $m_i\in M$. If $K'$ is the submodule of $K$ generated by the $k_i$'s, then $M\otimes K'=M\otimes K$, hence $M\otimes (K/K')=0$. Again by faithfull flatness of $M$, this implies that $K/K'=0$ and $K=K'$ is finitely generated.

Applying this fact to $N$, we see that $N$ is finitely generated. Let $R^n\to N$ be a surjective $R$-linear map with kernel $P$. We have an exact sequence $$ 0\to M\otimes P\to M^n \to M\otimes N\to 0.$$ As $M\otimes N$ is projective, this exact sequence splits and $M\otimes P$ is a direct summand of $M^n$, hence finitely generated. By the above fact, $P$ is finitely generated.

So $N$ is flat and finitely presented. It is known that this condition is equivalent to be projective (and finitely generated).

share|improve this answer
    
In my case i also have the condition ${\rm rk}_R(M)={\rm rk}_R(M\otimes_R N)\ne 0,$ in particular $M_p\ne 0$ for any prime ideal $p$ of $R.$ –  Hector Pinedo Oct 31 '12 at 23:18
    
@navigetor23: thanks, I will correct. –  user18119 Nov 1 '12 at 23:32
    
thanks a lot for your help. The only step that is not clear to me is why the condition $M_p\ne 0$ for all $p\in {\rm Spec}(R)$ implies that $M$ is faithfully flat. –  Hector Pinedo Nov 2 '12 at 16:42
    
@HectorPinedo: because $M_p\ne 0$ implies, by Nakayama, that $M_p\otimes_{R_p} (R_p/pR_p)\ne 0$, hence $M\ne pM$. This condition for all maximal ideals $p$ plus flatness is equivalent to the faithfull flatness. –  user18119 Nov 2 '12 at 21:39
    
@HectorPinedo: as $M$ is locally free, it is even easier to see the faithfull flatness just by applying the definition. –  user18119 Nov 2 '12 at 23:04
show 1 more comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.