Content deleted Content added
mNo edit summary |
|||
Line 128:
The resulting map is surjective since pure tensors {{nowrap|''x'' ⊗ ''y''}} generate the whole module. In particular, taking ''R'' to be <math>\Z</math> this shows every tensor product of modules is a quotient of a tensor product of abelian groups.
===Several modules===
|