鎖複体の定義とホモロジー群