Garbe/Gruppen/Homomorphismus/Kerngarbe/Definition

Kerngarbe

Es sei $X$ ein topologischer Raum und es sei $\phi :ℱ\to 𝒢$ ein Homomorphismus von Garben von kommutativen Gruppen. Dann nennt man die durch

$(\mathrm{kern}\phi )(U):=\mathrm{kern}{\phi }_U$

definierte Untergarbe von $ℱ$ die Kerngarbe zu $\phi$.