na szóval a koherens kéve:
adott egy (X, O_X) sĂ©mĂĄnk. egy F moduluskĂ©vĂ©t O_X fölött kvĂĄzi-koherensnek nevezĂŒnk, ha X lefedhetĆ nyĂlt rĂ©szhalmazokkal, amik affin sĂ©mĂĄk (vagyis alkalmas gyƱrƱk spektrumai, azaz Spec(A_i)-k), hogy lĂ©teznek olyan M_i modulusok A_i fölött, hogy F megszorĂtva Spec(A_i)-re az M_i ĂĄltal indukĂĄlt kĂ©vĂ©vel izomorf.
ha az is igaz, hogy M_i végesen generålt minden i-re, akkor F koherens kéve.
remĂ©lem, most mĂĄr minden Ă©rthetĆ.





















