2
$\begingroup$

If $S$ is any ring, and $P$ is a projective $S$ module, and $Q$ is any $S$ module, then will $Q \otimes_{S} P$ be a projective $S$-module?

3 Answers 3

9

No. Let $S$ be a ring with nonprojective module $Q$. Then $Q\otimes_S S\cong Q$ is not projective.

  • 0
    Thank you, do you think it would be true if $Q$ was also $S$-projective?, since ive seen this result when $S$ is commutative but not for an arbitrary ring.2012-12-20
  • 0
    It is true if $Q$ is projective. The point is that if $P$ is just a *flat* module, then $-\otimes_S P$ is an exact functor. Because of that, it will send projectives to projectives. Thus if $Q$ were projective, then $Q\otimes P$ would be also. $P$ just needs to be flat: of course, if it is projective it is *a fortiori* flat.2012-12-20
  • 0
    Oh ok yeah I see, thanks. The question came up because I wanted to see if for Q a finitely generated free $\mathbb{Z}$-module that is also a $S$ module, the above was true.2012-12-20
  • 0
    At least I *thought* that exact functors do that :) I'm worried that I'm recalling it incorrectly. Still, it definitely works for two projective modules: you can use the characterization of a projective module as a submodule of a free module to assemble an argument using the same trick in my solution.2012-12-20
  • 0
    I think it's correct to say that since $-\otimes_S F$ is an adjoint, and is exact, then it preserves projectives.2012-12-20
5

No, let $S = P = \mathbf Z$ and $Q = \mathbf{Z}/ 2 \mathbf{Z}$. $P$ is free, hence projective, but $P \otimes Q \simeq \mathbf{Z}/2\mathbf{Z}$ is not.

2

No. Take $S =P = \Bbb{Z}$ and $Q = \Bbb{Z}$. Then $\Bbb{Z}$ as a $\Bbb{Z}$ - module is free and hence projective. But the tensor product $\Bbb{Z} \otimes_{\Bbb{Z}} \Bbb{Q} \cong \Bbb{Q}$ is isomorphic to $\Bbb{Q}$ which is not projective as a $\Bbb{Z}$ - module.