Relative tensor product
From Wikipedia, the free encyclopedia
Let A be a right R-module and B be a left R-module (see the definition of left and right module in module (mathematics)). The relative tensor product is defined to be the quotient
where I is the ideal generated by all elemtns
If A is a left S-module and the left action of S commutes with the right action of R on A, then is naturally a left S-module.