When tensor reflects exact sequences? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T21:34:15Z http://mathoverflow.net/feeds/question/103054 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/103054/when-tensor-reflects-exact-sequences When tensor reflects exact sequences? jsfdlkdj 2012-07-24T22:13:26Z 2012-08-01T02:35:22Z <p>Is there a characterization of modules $N$ for which the functor $N\otimes-$ reflects exact sequences?</p> http://mathoverflow.net/questions/103054/when-tensor-reflects-exact-sequences/103059#103059 Answer by David White for When tensor reflects exact sequences? David White 2012-07-25T00:54:29Z 2012-07-31T17:46:01Z <p>As Alex Becker pointed out, $N$ is faithfully flat iff $N\otimes_R -$ preserves and reflects exact sequences. Since $N$ is flat iff $N\otimes_R -$ preserves exact sequences, you might think $N$ is faithful iff $N\otimes_R -$ reflects exact sequences. This is wrong, as we'll show below. These faithfully flat modules are extremely important, and probably the better place to do work if you can manage it. I think the concept of a module $N$ such that $N\otimes_R -$ reflects exact sequences (but $N$ is not faithfully flat) is an interesting one. However, this concept doesn't seem to appear in T.Y. Lam's <em>Lectures on Modules and Rings</em>, and that's my bible for these types of questions. So it seems the community hasn't found this concept interesting yet. Since no one seems to have coined a phrase for these yet, let's call them <em>reflecting</em> modules (not to be confused with reflexive modules).</p> <p>When seeking to prove a module is flat you can use that $N\otimes_R -$ is always right exact, so all you need to show is that $N\otimes_R -$ preserves monomorphisms. To show $N$ is reflecting is harder. For example, you must show that if $N\otimes_R g$ is an epimorphism, then $g$ is an epimorphism. You must also show that if $N\otimes_R f$ is a monomorphism then $f$ is a monomorphism. These two follow if $N\otimes_R -$ is a faithful functor (this explains the terminology). According to <a href="http://books.google.com/books?id=hgJ3pTQSAd0C&amp;pg=PA56&amp;lpg=PA56&amp;dq=%2522reflects+monomorphisms%2522+%2522epimorphisms%2522+%2522reflects+exact%2522&amp;source=bl&amp;ots=esgS7kjIgW&amp;sig=7JSdKmJ9rHMw_KNSfy_Ujw19RY0&amp;hl=en&amp;sa=X&amp;ei=evkXUN66CZS40gGv04DQDQ&amp;ved=0CDsQ6AEwAQ#v=onepage&amp;q=%2522reflects%2520monomorphisms%2522%2520%2522epimorphisms%2522%2520%2522reflects%2520exact%2522&amp;f=false" rel="nofollow">Theorem 7.1</a> in <em>Theory of Categories</em> by Barry Mitchell, if $T:C\rightarrow D$ is faithful functor between exact categories which have zero objects, and if $T$ preserves the zero objects, then $T$ reflects exact sequences. Since $R$-mod is an exact category with a zero object, this tells us that $N$ is reflecting if $N\otimes_R -$ is faithful. We'll show the converse below. Consider the following two properties:</p> <p>(1) For any left $R$-module $M$, $N\otimes_RM=0 \Rightarrow M=0$</p> <p>(2) A homomorphism of left $R$-modules $\phi:M'\rightarrow M''$ is zero if the induced homomorphism $N\otimes_R M' \rightarrow N\otimes_R M''$ is zero. Note that this property is exactly saying $N\otimes_R -$ is faithful.</p> <p>When $N$ is flat, these are equivalent, and also equivalent to the fact that $N$ is faithfully flat. Even without the flatness hypothesis, the theorem above shows (2) implies $N$ is reflecting. We can also see that (2) implies (1) because if $N\otimes_R M = 0$ then the map $N\otimes_R 0 \rightarrow N\otimes_R M$ is zero, so the map $0\rightarrow M$ is zero, proving $M=0$. Next, (1) implies (2) because if $N\otimes_R \phi = 0$ then $0=im(N\otimes_R \phi)=N\otimes_R im(\phi)$ so by (1), $im(\phi)=0$. Finally, $N$ reflecting implies (1) because knowing $N\otimes_R 0 \rightarrow N\otimes_R M\rightarrow N\otimes 0$ is exact implies $0\rightarrow M\rightarrow 0$ is exact, so we see $N\otimes_R M=0\Rightarrow M=0$. This completes the characterization:</p> <blockquote> <p>$N$ is reflecting iff $N\otimes_R -$ is faithful iff $N\otimes_R M=0 \Rightarrow M=0$</p> </blockquote> <p>(EDIT: Thanks to Martin for pointing out a flaw in the previous version. Here is an argument, now superfluous and a bit fishy, that $N$ reflecting implies (2): suppose $N\otimes_R \phi$ is zero. Then, because $N\otimes_R ker(\phi) = ker(N\otimes_R \phi)$, we see $0\rightarrow N\otimes_R M' \rightarrow N\otimes_R ker(\phi)\rightarrow 0$ is exact, so $0\rightarrow M'\rightarrow ker(\phi)\rightarrow 0$ is exact, i.e. $\phi=0$. This is fishy because it's not clear to me that $N\otimes ker(-) = ker(N\otimes -)$, though it does seem to work for $im(-)$.)</p> <p>It may also be equivalent to say that for all maximal ideals $I\subset R$, if $N\otimes_R R/I=0$ then $R/I=0$, but I haven't checked this.</p> <p>EDIT (in response to requests from Will Sawin and Zhen Lin for examples): I'll end by remarking on a confusing bit of terminology and giving some examples. There is a notion of what it means for a module $N$ to be <a href="http://mathworld.wolfram.com/FaithfulModule.html" rel="nofollow">faithful</a>, but it is not equivalent to the above. One says $N$ is faithful if $Ann_R(N)=0$ (this appears in Lam). Note that <a href="http://www.mathreference.com/mod-pit,faith.html" rel="nofollow">this website</a> erroneously calls a module faithful if it satisfies (1) above, but the link is still useful as it gives some properties of such modules and examples of modules which satisfy (1) but are not flat. An additional example is $N=\mathbb{Z}\oplus \mathbb{Z}/2$ over $R=\mathbb{Z}$. This seems to show that if $M$ is faithfully flat and $L$ is any module, then $N = M\oplus L$ will be reflecting but not necessarily flat. It's easy to see that $N$ is faithful iff for all nonzero $a\in R$, $aN \neq 0$. So (1) implies $N$ is faithful, because we can take $M=(a)$ for each $a$ and use the fact that $N\otimes_R (a) = aN$.</p> <p>Note that $N$ faithful does not imply that $N\otimes -$ is a faithful functor. For example, $\mathbb{Q}$ is faithful as a $\mathbb{Z}$-module (since it's torsion free), but <code>$\mathbb{Q}$</code> clearly fails (1) because $\mathbb{Q}\otimes \mathbb{Z}/2=0$. Faithfully flat implies faithful and flat, but not conversely (again because of $\mathbb{Q}$). Indeed, a module can even be projective and faithful, but fail to be faithfully flat. Consider $P=\mathbb{Z}\oplus \mathbb{Z}\oplus \dots$ as a module over $R = \mathbb{Z}\times \mathbb{Z}\times \dots$. It's faithful because it's a subring, it's projective (e.g. by the dual basis lemma), but it's not faithfully flat because for any maximal ideal $m$ of $R$ containing $P$, $Pm=P$.</p>