How can I see that the functor

$\displaystyle

A \mapsto A \otimes_{\mathbb Z} A

$

from the category of abelian groups to itself is not additive.

Printable View

- Feb 14th 2009, 11:51 AMpeteryellowCategory
How can I see that the functor

$\displaystyle

A \mapsto A \otimes_{\mathbb Z} A

$

from the category of abelian groups to itself is not additive. - Feb 14th 2009, 12:50 PMNonCommAlg
if it was additive, then we'd have: $\displaystyle f(x) \otimes g(y) + g(x) \otimes f(y) = 0,$ for all $\displaystyle x,y \in G_1,$ all abelian groups $\displaystyle G_1, G_2,$ and all $\displaystyle f, g \in \text{Hom}_{\mathbb{Z}}(G_1,G_2).$ but this is nonsense! (consider trivial examples!)