Let be a ring with unity, and be its prime spectrum. Given an -module , one can define a presheaf on by defining its sections on an open set to be . We call the sheafification of this , and a sheaf of this form on is called quasi-coherent. If is a finitely generated module, then is called coherent. A sheaf on an arbitrary scheme is called (quasi-)coherent if it is (quasi-)coherent on each open affine subset of .
|Date of creation||2013-03-22 13:51:27|
|Last modified on||2013-03-22 13:51:27|
|Last modified by||PrimeFan (13766)|