Dimension formulas for modules finite over local homomorphisms

Abstract

We extend some major theorems in commutative algebra to the class of modules that are not necessarily finitely generated. The novelty of our 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 and there is a local homomorphism φ{symbol}: R -→ S. Among the results that we extend are: Intersection Theorem and Intersection dimension formula.