とおく. より したがって,自然な写像 は同型. をいれかえて得られる同型と合成すると, も に同型になることがわかる. この同型は からの射影と可換ではないことに注意.これにより,完全列 が得られる.
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。