1701046430
下章我们将说明Hq（K）是由｜K｜的拓扑所决定的，因此是｜K｜的拓扑不变量．αq由K决定，因此从表面上看，x（K）似乎由K的组合结构决定．定理说明了x（K）与剖分K的选择无关，它反映了｜K｜的拓扑性质．
1701046431
1701046432
3.5 以交换群G为系数群的同调群
1701046433
1701046434
在建立同调群的过程中，Z可以用任何交换群G代替，得到系数群为G的同调群．下面简要地回顾一下过程．
1701046435
1701046436
复形K的以G为系数群的q维链群为
1701046437
1701046438
Cq（K；G）∶＝｛对应c∶Tq（K）→G｜c（－s）＝－c（s），
1701046439
1701046440
∀s∈Tq（K）｝，
1701046441
1701046442
加法由（c＋c′）（s）＝c（s）＋c′（s）规定．一般地，q维定向单形s∈Tq（K）不再能看成一个q维链，但∀g∈G，gs是一个q维链，∀t∈Tq（K），
1701046443
1701046444
1701046445
1701046446
1701046447
这种形式的q维链生成了Cq（K；G）．规定gs的边缘链∂q（gs）∈Cq－1（K；G）为
1701046448
1701046449
∂q（gs）（t）＝［s；t］g， ∀t∈Tq－1（K）．
1701046450
1701046451
1701046452
用线性扩张得到边缘同态∂q∶Cq（K；G）→Cq－1（K；G），它也满足∂q－1∂q＝0，从而得到K的以G为系数群的链复形C（K；G），并由它产生K的以G为系数群的同调群Hq（K；G）．
1701046453
1701046454
特别当G是域时，Cq（K；G），Zq（K；G）和Bq（K；G）都是G上的线性空间，Hq（K；G）作为Zq（K；G）对子空间Bq（K；G）的商也是线性空间．记dq＝dimHq（K；G），则利用线性空间维数的加法公式也可得到相应的Euler-Poincaré公式：
1701046455
1701046456
1701046457
1701046458
1701046459
这里n＝dimK.
1701046460
1701046461
以后会看到，一般地dq与βq不一定相同．
1701046462
1701046463
习 题
1701046464
1701046465
1．若K＝K1∪K2，K0＝K1∩K2是r维的，则
1701046466
1701046467
1701046468
∀q＞r＋1．
1701046469
1701046470
2．若K＝K1∪K2，K0＝K1∩K2是一个顶点，则
1701046471
1701046472
1701046473
∀q＞0．
1701046474
1701046475
3．设K＝K1∪K2，K0＝K1∩K2非空，试证明
1701046476
1701046477
（1）若K0连通，则∀z∈Z1（K），存在zi∈Z1（Ki），i＝1，2，使得z＝z1＋z2；
1701046478
1701046479
（2）若Hq－1（K0）＝0，则∀z∈Zq（K），存在zi∈Zq（Ki），i＝1，2，使得z＝z1＋z2；