数学上（特别是代数拓扑和抽象代数），同调 （homology，在希腊语中"homos" = 同）是一类将一个可换群或者模的序列和特定数学对象（例如拓扑空间或者群）联系起来的过程。背景知识请参看同调论。对于一个特定的拓扑空间，同调群通常比同伦群要容易计算得多，因此通常来讲用同调来辅助空间分类要容易处理一些。
同调群的构造.其过程如下：给定对象formula_1，首先定义"链复形"，它包含了formula_1的信息。一个链复形是一个由群同态联系起来的可换群或者模formula_3的