同調代数の核となるツール(複素体と同調群)