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?
Thanks.
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?
Thanks.