6
votes
0answers
72 views

When does the tensor product consist of elementary tensors only?

The question is: Assume that $R$ is a (commutative) ring. Under what conditions on $R$-modules $M,N$ does the tensor product $M\otimes_RN$ consist of elementary tensors only? That is, every ...
2
votes
1answer
29 views

Adjoints to cofree modules tensor?

If $M$ is a cofree $R$-module and $A,B$ are arbitrary $R$-modules then, is there a left adjoint to the functor $M\otimes_R -$, i.e. is there an endofunctor $F$ on $_R \mathrm{Mod}$ such that ...
1
vote
0answers
44 views

Faithfully flat checkable on finitely generated modules

A left $R$-module $_RM$ is said to be faithfully flat if it is flat and, for any $N_R$, $N \otimes_R M = 0$ implies $N = 0$. I would like to show that $M$ is faithfully flat if it is flat and, for any ...
0
votes
1answer
68 views

Tensor product of modules preserve injectiveness and surjectiveness or not?

Let $R$ be a commutative ring with identity and $M$ an $R$-module. If $N_1\longrightarrow N_2$ is injective (resp. surjective), is the induced map $M\otimes_R N_1\longrightarrow M\otimes N_2$ ...
6
votes
3answers
174 views

Exactness of the Tensor Functor

This might turn out to be a very stupid question, so I apologize in advance, but it is confusing me a little bit. I know in general that if $$M'\rightarrow M\rightarrow M''\rightarrow 0$$ is an exact ...
0
votes
0answers
51 views

What kind of object are the tensor products?

Now I'm reading Sze-Tsen Hu's Introduction to Homological Algebra, and it says the restricted direct sum of the natural projections $$\{p_\mu\otimes q_\nu|\mu \in M,\nu\in N\}$$ defines the ...
2
votes
2answers
124 views

Eisenbud's proof of right-exactness of the exterior algebra

I'm trying to understand the proof in Eisenbud's Commutative Algebra that, given a right exact sequence $$K \to N \to M \to 0$$ of $R$-modules, we have an exact sequence $$K \otimes \wedge N \to ...
5
votes
2answers
191 views

Help me understand the tensor product

I have several books and other literature that define the tensor product, but I understand none of them. Since this really concerns one topic, namely understanding the construction of and arithmetic ...
0
votes
2answers
54 views

Do $\operatorname{Hom}( - , R)$ and $ - \otimes_R B$ commute when applied to $A\cong R^d?$

Let $R$ be a commutative ring with identity. Let $A$ and $B$ are $R$-modules, and further suppose that $A$ is free with finite rank. Is it true that $$ \operatorname{Hom} (A \otimes_R B , R) \cong ...
5
votes
2answers
100 views

Does $A\!\leq\!M$ and $B\!\leq\!N$ imply $A\!\otimes_R\!B\hookrightarrow M\!\otimes_R\!N$? (tensor product of modules)

Let $R$ be a commutative unital ring. What would be an example of a $R$-modules $M,N$ with submodules $A,B$, such that there does not exist an embedding of $R$-modules $$A\!\otimes_R\!B\hookrightarrow ...
3
votes
1answer
398 views

Is the tensor product of two torsion-free modules always non-zero?

Let $R$ be a commutative domain and let $M$ and $N$ be torsion-free $R$ modules. I would like to know whether or not $M\otimes_{R}{N}$ is always non-zero. Now, I know this is true in the finitely ...
3
votes
0answers
140 views

tensor product of two chain homotopic maps are again chain homotopic?

Let $C$,$C'$, $D$, $D'$ be chain complexes, $f$, $f'\colon C\to C'$ and $g$, $g'\colon D \to D'$ two pairs of homotopic chain maps.How to show $f \otimes g$ and $f' \otimes g' \colon C\otimes D\to ...
7
votes
1answer
306 views

Is the image of a tensor product equal to the tensor product of the images?

Let $S$ be a commutative ring with unity, and let $A,B,A',B'$ be $S$-modules. If $\phi:A\rightarrow A'$ and $\psi:B\rightarrow B'$ are $S$-module homomorphisms, is it true that ...
3
votes
1answer
185 views

$\mathrm{Tor}$ functor not left exact

Is there an example which shows that the functor $B\otimes_R(-)$ is not left-exact, given a ring $R$ and a right $R$-module $B$?
17
votes
2answers
2k views

Proving that the tensor product is right exact

Let $A\stackrel{\alpha}{\rightarrow}B\stackrel{\beta}{\rightarrow}C\rightarrow 0$ a exact sequence of left $R$-modules and $M$ a left $R$-module ($R$ any ring). I am trying to prove that ...
6
votes
1answer
546 views

Signs in the tensor product and internal hom of chain complexes

Let $R$ be a commutative ring and $\text{Ch}(R)$ the category of chain complexes of $R$-modules. $\text{Ch}(R)$ is first of all an abelian category, but it can also be equipped with the structure of a ...