Schema/Morphismus/Modul/Rückzug/Eigenschaften/Fakt

Es sei ${\displaystyle {}\varphi \colon X\rightarrow Y}$ ein Schemamorphismus.

Zu einem quasikohärenten ${\displaystyle {}{\mathcal {O}}_{Y}}$-Modul ${\displaystyle {}{\mathcal {G}}}$ ist ${\displaystyle {}\varphi ^{*}{\mathcal {G}}}$ eine quasikohärenter ${\displaystyle {}{\mathcal {O}}_{X}}$-Modul.