Es sei I j {\displaystyle {}{\mathcal {I}}_{j}} , j ∈ J {\displaystyle {}j\in J} , eine Familie von injektiven Garben von kommutativen Gruppen auf einem topologischen Raum X {\displaystyle {}X} . Zeige, dass auch das direkte Produkt ∏ j ∈ J I j {\displaystyle {}\prod _{j\in J}{\mathcal {I}}_{j}} injektiv ist.
