I believe that if we are given two modules $M,N$ over a ring $R$, and a pairing between them
$M \otimes_R N \to R$, we can construct a perfect pairing $M'\otimes_R N' \to R$ by taking kernels.
Is there a name for this construction?
Sign up using Google
Sign up using Facebook
Sign up using Stack Exchange
3 years ago