# Could someone explain this to me please?

1. Mar 27, 2012

Well, first of all I'm not quite sure If I'm posting my question in the right section so forgive me if it's in the wrong section. I'm studying module-theory on my own and in the chapter I'm in the book is discussing tensor product of modules (actually I decided to read this book only because of this chapter xD), there's a theorem in the book that is about taking the tensor product of a given exact sequence (the book doesn't say it this way, but this is how I memorize the whole theorem because It's kinda like that). I've attached the theorem and its proof, the book that I'm reading is not in English so I was forced to translate everything into English, if there are points that are ambiguous tell me to clarify them.

I understand the whole proof, except two parts that I've highlighted them in red in the pdf.

#### Attached Files:

• ###### Theorem 5.3 - tensor product of modules.pdf
File size:
830.9 KB
Views:
85
2. Mar 27, 2012

### micromass

Staff Emeritus
OK. For the first part in read, you need to prove that $\varphi_2$ is well-defined.

So take $\pi(\sum x_n\otimes y_n)=\pi(\sum x_n^\prime\otimes y_n^\prime)$. You must show that $\phi_2$ of this is equal. Notice that

$$\pi(\sum x_n\otimes y_n-\sum x_n^\prime\otimes y_n^\prime)=0$$

Now, use the definition of $\pi$ to show find an element of $Im(1_T\otimes \varphi)$.

For the other one. You must show $Ker(1_T\otimes \psi)\subseteq Im(1_T\otimes \varphi)$. So take $\sum x_i\otimes y_i\in Ker(1_T \otimes \psi)$. What does this mean by definition?? Try to relate this to $\varphi_2$.

3. Mar 27, 2012

This is the best that I could come up with. Please read it and see if it's OK.

#### Attached Files:

• ###### Theorem 5.3 - solution.pdf
File size:
831.4 KB
Views:
85
4. Mar 27, 2012

### micromass

Staff Emeritus
That looks ok to me!! Good work!

5. Mar 30, 2012

Hey, today I read about the concept of an exact functor. Can we say that, according to this theorem, the tensor product is an exact functor? Is this what this theorem wants to tell us?

6. Mar 30, 2012

### micromass

Staff Emeritus
No, the theorem wants to tell us that the tensor product is a right-exact functor.

An exact functor sends an exact sequence

$$0\rightarrow A\rightarrow B\rightarrow C\rightarrow 0$$

to an exact sequence

$$0\rightarrow FA\rightarrow FB\rightarrow FC\rightarrow 0$$

But the tensor product doesn't satisfy this. That is, the left arrow $0\rightarrow FA$ isn't there. Or: tensoring doesn't send an injective map to an injective map.

We do have right-exactness. That is the sequence

$$A\rightarrow B\rightarrow C\rightarrow 0$$

is send to

$$0\rightarrow FA\rightarrow FB\rightarrow FC\rightarrow 0$$

That tensoring is not exact is a serious problem. To solve the problem, the notion of homology is invented.

7. Mar 30, 2012