Prefer a chat interface with context about you and your work?
Injective modules under flat base change
It is proved that an injective module after a flat change of base is of pointwise finite injective dimension if and only if all the fibers at points associated to the injective module are Gorenstein rings (or trivial).