Bounds on Injective Dimension and Exceptional Complete Intersection Maps

Hossein Faridian

We prove that if $f:R\to S$ is a local homomorphism of noetherian local rings, and $M$ is a non-zero finitely generated or artinian $S$-module whose injective dimension ov…