Sheafification of an injective module is flasque
ID: sheafification-of-an-injective-module-is-flasque
For a Noetherian ring , an injective module gives a flasque sheaf on . If , clearing denominators on finitely many principal opens identifies with . Each map extends to by injectivity. Thus every section on extends globally, and all restriction maps are surjective. This concerns sheafification of an injective module, rather than the different assertion that an injective sheaf of modules is flasque.
New to topics? Read the docs here!