Cousin complex
とおく.
より
したがって,自然な写像
は同型.
をいれかえて得られる同型と合成すると,
も に同型になることがわかる.
この同型は からの射影と可換ではないことに注意.
これにより,完全列
が得られる.
とおく.
より
したがって,自然な写像
は同型.
をいれかえて得られる同型と合成すると,
も に同型になることがわかる.
この同型は からの射影と可換ではないことに注意.
これにより,完全列
が得られる.