distributivity of an elementary tensor
1. Proposition
Let 
be a ring and 
-modules and 
the tensor product.
For elementary tensors 
we get
and analogically for 
2. Proof
follows from the construction with 
as bilinear map.
Let be a ring and -modules and the tensor product.
For elementary tensors we get
and analogically for
follows from the construction with as bilinear map.
Date: nil
Created: 2024-10-13 So 15:48