2023/07/24 by Faridian, Hossein
#Commutative Algebra (math.AC) #FOS: Mathematics
paper · doi:10.48550/arxiv.2307.13121
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 of the embedding dimensions of R and S, then M is an injective S-module and f is an exceptional complete intersection map.