数学、とくに代数的位相幾何学や抽象代数学において、ホモロジー(英語: homology)は与えられた数学的対象、例えば位相空間や群に、アーベル群や加群の列を対応させる一つの一般的な手続きをいう。ホモロジーの名は「同一である」ことを意味するギリシャ語のホモス(ὁμός)に由来する。より詳しい背景については ホモロジー論 を見られたい。また、ホモロジーの手法の位相空間に対する具体的な適用については特異ホモロジーを、群についてのそれは群コホモロジーを、それぞれ参照されたい。 位相空間に対しては、ホモロジー群は一般にホモトピー群よりもずっと計算しやすく、したがって、空間を分類する道具としてはより手軽に扱える。 ホモロジー群は以下のような手続きを経て作られる。 数学的対象、たとえば位相空間 X が与えられたとき、まず X の情報を抽出したチェイン複体 C(X) を構成する。チェイン複体はアーベル群や