Ascent properties for pairs of modules (Q466775)

Suppose \(\phi: (R, m)\to (S,n)\) is a flat homomorphism of commutative Noetherian local rings with the property that the induced map \(R/m \to S/mS\) is an isomorphism. Let \(M\) and \(N\) be two finitely generated \(R-\)modules. This paper deals with ascent module structures between \(R\) and \(S\). The author gives in Theorem 3, equivalent conditions for which \(\text{Tor}^R_i(M,N)\) and \(\text{Ext}_R^i(M,N)\) have \(S\)-module structures that are compatible with their \(R\)-module structures via \(\phi\).