Es sei X {\displaystyle {}X} ein Schema über einem kommutativen Ring R {\displaystyle {}R} und sei L {\displaystyle {}{\mathcal {L}}} eine invertierbare Garbe auf X {\displaystyle {}X} .
Dann ist L {\displaystyle {}{\mathcal {L}}} genau dann sehr ampel, wenn es basispunktfreie globale Schnitte
derart gibt, dass der zugehörige Morphismus φ s 0 , s 1 , … , s n {\displaystyle {}\varphi _{s_{0},s_{1},\ldots ,s_{n}}} eine Einbettung ist.
ein
Schema
über einem
kommutativen Ring
und sei 
eine
invertierbare Garbe
auf .
genau dann
sehr ampel,
wenn es
basispunktfreie
globale Schnitte
eine
Einbettung
ist.
