Dimension formulas for modules finite over local homomorphisms (Q532981)

The authors extend several results in commutative algebra to the class of modules that are not necessarily finitely generated. The novelty of their extension is that the hypothesis of finite generation over \(R\) is replaced by one over \(S\), where \(R\) and \(S\) are commutative Noetherian local rings with a local homomorphism from \(R\) to \(S\). They extend a classical known result on the behavior of Cohen-Macaulay modules under flat extension of rings, Intersection Theorem and Intersection dimension formula. To be more precise, authors introduce the notion of projective dimension over local homomorphisms defined by a Cohen factorization. But it is different from the notion provided by \textit{S.\ Iyengar} and \textit{S.\ Sather-Wagstaff} [Ill.\ J.\ Math.\ 48, No.\ 1, 241--272 (2004; Zbl 1103.13009)]. Using this, they provide an extension of the Intersection Theorem as follows: Let \(\varphi\) be a local homomorphism of rings from \(R\) to \(S\) and \(M\), \(N\) be two finite \(S\)-module. Assume that \(\mathrm{dim}_{R}\, (M \otimes_{R} N) = 0\). Then \(\mathrm{dim}_{R}\, N \leqq \mathrm{pd}_{\varphi}\, M\) where \(\mathrm{pd}_{\varphi}\, M\) is the projective dimension of \(M\) over \(\varphi\). On the other hand, they generalize Simon's result related to the Intersection dimension formula with the notion of injective dimension over local homomorphisms.