Page "Bilinear map" Paragraph 12

For the case of a non-commutative base ring R and a right module M < sub > R </ sub > and a left module < sub > R </ sub > N, we can define a bilinear map, where T is an abelian group, such that for any n in N, is a group homomorphism, and for any m in M, is a group homomorphism too, and which also satisfies