Content deleted Content added
TakuyaMurata (talk | contribs) →Modules over commutative rings: the reasoning refers to the previous property |
TakuyaMurata (talk | contribs) →Modules over commutative rings: here "=" means |
||
Line 131:
=== Modules over commutative rings ===
Let ''R'' be a commutative ring, and ''M'', ''N'' and ''P'' be ''R''-modules. Then (in the below, "=" denotes [[canonical isomorphism]]s; this attitude is permissible since a tensor product is defined only up to unique isomorphisms)
; Identity : <math display=block>R \otimes_R M = M.</math>
; Associativity : <math display=block>(M \otimes_R N) \otimes_R P = M \otimes_R (N \otimes_R P).</math>
| |||