Tensor product of abelian groups
As tensor product of modules
Suppose and are abelian groups (possibly equal, possibly distinct). Their tensor product as abelian groups, denoted or simply as , is defined as their tensor product as modules over the ring of integers .
Note that in case are abelian groups but are also being thought of as modules over some other ring (for instance, as vector spaces over a field) then the notation is ambiguous as it is not clear what ring the tensor product is being carried out over. Generally, if the vector space structure is salient in the context, the tensor product is as vector spaces. Thus, in such circumstances, it is important to write when talking about the tensor product of abelian groups.
Suppose and are abelian groups (possibly equal, possibly distinct). Their tensor product as abelian groups, denoted or simply as , is defined as the quotient of the free abelian group on the set of all symbols by the following relations:
- for all
- for all
In other words, the mapping is a bihomomorphism.
Note: For the general definition of tensor product of modules, we need to additionally put conditions saying that ring scalars can be pulled out of tensor products. This, however, is not necessary for the definition with abelian groups as it follows from the additive conditions listed above. That is because every element of can be written as sums and differences of 1s.
Definition in terms of tensor product of groups
The tensor product of abelian groups agrees with the tensor product of groups if we assume both groups to act trivially on each other. Note that trivial mutual actions form a compatible pair of actions, so the definition applies.