Tensor Product II

Intro to Tensor Products review.

Let $R$ be a comutative ring with 1 and $A$ an $R$-module with a bilinear operation $m:A×A?A$ given by $m(a,b)=ab$ for $a,b?A$.
We know that $m$ is associated to a $R$-module homomorphism
Let the abuse of notation $(A?_RA)?_RA=A?_R(A?_RA)$ be true and let $Id_A:A?A$ be the identity function in $A$.

  • Show that $m$ is an associative operation if and only if                       $? ? (??Id_A)=? ? (Id_A??)$


Answers can be viewed only if
  1. The questioner was satisfied and accepted the answer, or
  2. The answer was disputed, but the judge evaluated it as 100% correct.
View the answer
The answer is accepted.