Dimension formulas for modules finite over local homomorphisms (Q532981)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dimension formulas for modules finite over local homomorphisms
scientific article

    Statements

    Dimension formulas for modules finite over local homomorphisms (English)
    0 references
    0 references
    0 references
    6 May 2011
    0 references
    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.
    0 references
    local homomorphisms
    0 references
    Cohen-Macaulayness
    0 references
    intersection theorem
    0 references

    Identifiers