Re:>>237
G,Hを群として、f:G→Hを写像とする。fが準同型であるとは、Gの任意の二元a,bに対してf(ab)=f(a)f(b)が成り立つときにいう。
C_{d} (d=0,1,…)をチェインの成分とし、∂をバウンダリー作用素とする。Ker(∂:C_{d}→C_{d-1})/Im(∂:C_{d+1}→C_{d})をd次ホモロジーという。
ちなみに[>>233]のホモロジーの説明は間違っている。