1701047247
设当p＜q时，ηp∶Cp（K）→Cp（K（1））已构造，并满足
1701047248
1701047249
1701047250
1701047251
∂pηp＝ηp－1∂p， ∀p＜q．
1701047252
1701047253
1701047254
∀s∈Tq（K），规定则
1701047255
1701047256
1701047257
1701047258
1701047259
于是，可扩张得到ηq∶Cq（K）→Cq（K（1））．
1701047260
1701047261
∀s∈Tq（K），
1701047262
1701047263
1701047264
1701047265
1701047266
1701047267
1701047268
因此有∂qηq＝ηq－1∂q．归纳定义完成．
1701047269
1701047270
定理7.3 η诱导的同调群同态η*q∶Hq（K）→Hq（K（1））是同构，并且以π*q为逆（π是标准链映射），∀q∈Z．
1701047271
1701047272
1701047273
1701047274
1701047275
证明 定理C.3说明η*qπ*q＝id∶Hq（K（1））→Hq（K（1）），∀q∈Z．只须再证明π*qη*q＝id∶Hq（K）→Hq（K），∀q∈Z．事实上有πqηq＝id∶Cq（K）→Cq（K），∀q∈Z．我们用归纳法论证这断言．
1701047276
1701047277
q＝0时，结论显然成立．
1701047278
1701047279
1701047280
设p＜q时，πpηp＝id∶Cp（K）→Cp（K）．
1701047281
1701047282
1701047283
∀s∈Tq（K），记s＝a0a1…aq，不妨设则根据π和η的定义，有
1701047284
1701047285
1701047286
1701047287
1701047288
1701047289
从而πqηq＝id∶Cq（K）→Cq（K）． ▎
1701047290
1701047291
对所有复形K，都用η表示重分链映射．
1701047292
1701047293
对于任意自然数r，记ηr是r个重分链映射
1701047294
1701047295
1701047296