正合同调序列

exact homology sequence