Tensor product of modules: Difference between revisions

Revision as of 18:55, 20 May 2020

Revision as of 04:08, 24 June 2020

Line 20:

#Properties (Dl) and (Dr) express [[Additive map|biadditivity]] of ''φ'', which may be regarded as [[Distributive property|distributivity]] of ''φ'' over addition.

#Property (A) resembles some [[associative property]] of ''φ''.

#Every ring ''R'' is an ''R''-''R''-[[bimodule]]. So the ring multiplication {{nowrap|(''r'', ''r''′) ↦ ''r'' ⋅ ''r''′}} in ''R'' is an ''R''-balanced product {{nowrap|''R'' × ''R'' → ''R''}}.

==Definition==