フィルターつき複体 に対し，コホモロジーの gr を近似する加群の列を構成する． コバウンダリー，コサイクルを近似する加群 に対し， とおく． に注意． コバウンダリー を近似する加群 を導入すると， コサイクル を近似する加群 を導入すると， コホモロ…