2
$\begingroup$

The tensor product of modules $M_0, M_1$ is a quotient of a free module $F$, …, by a submodule F'. I found 2 definitions of this F', and the difference is in this generating rules:

  • Wikipedia: $(r\cdot m_0)\otimes m_1 - m_0\otimes (r\cdot m_1)$;
  • Lang's “Algebra”: $r\cdot(m_0\otimes m_1) - (r\cdot m_0)\otimes m_1, r\cdot(m_0\otimes m_1) - m_0\otimes (r\cdot m_1)$.

IMO Lang's “Algebra” $\to$ Wikipedia, because

$(r\cdot(m_0\otimes m_1) - m_0\otimes (r\cdot m_1)) - (r\cdot(m_0\otimes m_1) - (r\cdot m_0)\otimes m_1)$ $= (r\cdot m_0)\otimes m_1 - m_0\otimes (r\cdot m_1)$.

Does the backward implication hold? If not, then it is an error in Wikipedia?

1 Answers 1

4

I believe the problem is that a) these are dealing with two different situations and b) the Wikipedia article is inconsistent because it speaks of a free module over the symbols $m_0 \otimes m_1$ whereas I think it means a free abelian group.

Lang is dealing with modules over commutative rings, and constructs the tensor product as you say as the quotient of a free module over the module generated by the given rules.

The Wikipedia article is dealing with left and right modules, and in other parts of the article says that the tensor product is just an abelian group, not a module. (You misquoted the rule; in the article it's correctly written with $r$ to the right of $m_0$.) The rules given there are the appropriate ones for an abelian group (it makes no sense to multiply by $r$ in that case), but the article incorrectly states that the quotient of a free module is being taken.

  • 0
    I would li$k$e to see the case of commutative rings in a separate chapter.2011-04-16