Es geht hier um eine sogenannte Diagrammjagd,
wie sie im "General Nonsense" üblich ist:
Als Beispiel der Vorgehensweise hier ein Teil
der Behauptung:
Sei \(v'\in \ker(\psi)\). Da \(\Phi\) surjektiv ist, gibt es ein
\(v\in V\) mit \(\Phi(v)=v'\). Ich zeige nun, dass
\(v\in \ker(\varphi)\) ist:
\(\varphi(v)=0\iff \Psi(\varphi(v))=0\), da \(\Psi\)
injektiv ist. Nun ist aber wegen der Kommutativität
des Diagramms \(\Psi(\varphi(v))=\psi(\Phi(v))=\psi(v')=0\).
Da \(\Psi\) injektiv ist, folgt daraus \(\varphi(v)=0\).
Damit ist gezeigt: \(\ker(\psi)\subseteq \Phi(\ker(\varphi))\).