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.

I've come to think about this problem when reading a proof in Commutative Algebra by N. Bourbaki. Say, let $R$ be a commutative ring, given 3 $R-$modules $A$, $B$, $C$, and the $R$-homomorphism $f:B \to C$. Is the following equivalent?

  1. $f: B \to C$ is an isomorphism.

  2. $1_A \otimes f: A \otimes B \to A \otimes C$ is an isomorphism.

I think they are equivalent, as I see the author using this fact in the proof. $1 \Rightarrow 2$ is straight-forward. But I fail to see how to prove: $2 \Rightarrow 1$. Is it correct? Any hints would be appreciated.

Thank you guys very much,

And have a good day,

share|improve this question
doesn't this follow from functoriality of tensor product? note that a functor preserves isomorphisms. –  adrido Jan 25 at 7:53
Hi, I know that the functor $1_A \otimes -$ preserves isomorphism. However, I'm asking the other way round. –  user49685 Jan 25 at 7:57
On the other hand, $2 \implies 1$ will hold if $A$ is a faithfully flat $R$-module (e.g. a free $R$-module) –  zcn Jan 25 at 8:06
What is wrong with this question that would motivate you to delete it? Just because a question has an easy answer does not mean it won't be useful to others in the future. –  PVAL Jan 25 at 8:19
Even easier: Take $A=0$ to see that $2$ does not imply $1$. –  Julian Kuelshammer Jan 25 at 9:17

Your Answer


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

Browse other questions tagged or ask your own question.