Theorem: Sei W ein zusammenhängendes semilokales Schema über einem Körper k, X --> W ein glatter, eigentlicher Morphismus, n eine zur Charakteritik von k prime natürliche Zahl und K ein Komplex étaler Garben von Z/nZ-Moduln auf X dessen Kohomologiegarben lokal konstant konstruierbar und nach unten beschränkt sind. Bezeichnet man den generischen Punkt von W mit w , so ist die natürliche Restriktionsabbildung von etalen Hyperkohomologiegruppen

         H^q_et(X, K) --> H^q_et (X_w, K)

für jede ganze Zahl q ein (universeller) Monomorphismus.

Dieses Resultat wendet sich auf jede "erweiterbare Prätheorie" an. Der Beweis dehnt die Techniken aus Abschnitt 4 der Arbeit "Cohomological theory of presheaves with transfers" von V. Voevodsky auf den relativen Fall aus.

Der vorliegende Artikel unterscheidet sich in zwei Punkten von der publizierten Version. Zunächst enthält er nicht den Druckfehler in Theorem 1 (full-modules). Des weiteren enthält er die fehlende Bedingung AB5 in der Definition von `universeller Monomorphismus' auf Seite 1. (Diese Inkorrektheit taucht schon in [CHK] auf.) Ich bedanke mich herzlich bei C. Scheiderer, der mich darauf aufmerksam gemacht hat.