Cech-Kohomologie/Abgeleitete Kohomologie/Endliche azyklische Überdeckung/Verbindender Homomorphismus/Übereinstimmung/Fakt/Beweis

Beweis

Wir führen Induktion über (für alle gleichzeitig), der Fall wurde in Fakt behandelt, die Argumentation orientiert sich an diesem Satz. Wir betrachten die kurze exakte Sequenz

und die Isomorphismen

wobei der linke Isomorphismus durch den verbindenden Homomorphismus und die Azyklizität von und der rechte Isomorphismus auf der Induktionsvoraussetzung, angewendet auf , beruht. Wir müssen also noch zeigen, dass es einen Isomorphismus

gibt. Eine Klasse links wird durch ein Tupel

mit der Bedingung

für alle -elementigen Teilmengen repräsentiert. Wegen der Azyklizität der Überdeckung für gibt es ein Tupel

das auf abbildet. Dieses definiert wiederum ein Differenzentupel , wobei die -elementigen Teilmengen von durchläuft, durch

Da auf abgebildet wird, werden die wegen der obigen Bedingung auf abgebildet und daher ist

Weitere Überlegungen zeigen, dass es sich um Kozykel handelt, dass die Abbildung wohldefiniert und ein bijektiver Gruppenhomomorphismus ist.