Bounds on injective dimension and exceptional complete intersection maps

Abstract

We prove that if f:R→S is a local homomorphism of noetherian local rings, and M is a non-zero finitely generated or artinian S-module whose injective dimension over R is bounded by the difference ...