2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/112877A generalization of Grothendieck's non-vanishing theorem is proved for a module which is finite over a local homomorphism. It is also proved that the Gorenstein injective dimension of such a module, if finite, is bounded below by its Krull dimension and is equal to the supremum of the depths of the localizations of the ring over primes in the support of the module.Commutative AlgebraAlgebraic Geometry13D05, 13D45, 14B15text