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.
Articles by others on the same topic
There are currently no matching articles.