鏈群

鏈群(chain group )是建立同調群的重要概念。設K是一個n維復形，它的全體q維單形的集合記為。設s是q維單形任意選定了一個定向後形成的有向單形，當時，記，則這樣的有向單形組：

稱為復形K的有向單形的一個基本組。對於整數加群Z中的整數g，約定，則以整數為係數的任意一個線性組合：

稱為K的一個q維鏈；當其係數全為零時，這個鏈用0表示。若另有q維鏈：

定義它們的和為：

則對這樣的加法，K的全體q維鏈形成一個自由交換群，稱為K的q維鏈群，記為C，或簡記為。基本組為這鏈群的一組基。為了方便也可將q推廣到所有整數，當或時，規定C。

設G是一個非空集合，G上有一個叫做乘法的代數運算，即有一個到G的映射，對a，，在這個映射之下的象記作ab，如果以下條件被滿足，則稱G是一個群： (1) 對於任意的a，b，，。(2)對任意的a，，方程，在G中有解。設G是一個群，存在唯一的元素使得對任意的，，e稱為G的單位元。對任何，存在唯一的元素，使得，a稱為a的逆元。一個群的元素個數如果是有限的，則稱這個群是有限群，否則，這個群稱為無限群。有限群的元素個數稱為這個群的階。對於群G的元素a，使得的最小正整數m稱為a的階，這裡a表示m個a相乘的積，如果不存在這樣的正整數m，則稱a是無限階的。

設G，G是兩個群，是G到G的一個映射，如果對任意的a，，，則稱是群G到G的同態。群G到G的同態如果是單射(滿射)，則稱φ是單同態(滿同態)，如果還是個一一映射，則稱是一個同構，而且稱群G與G是同構的，記作。如果一個非空集合A到自身的一些一一映射在映射的複合運算下作成一個群，這種群稱為變換群。凱萊定理指出，每個群都與一個變換群同構。有限集合到自身的一一映射稱為置換，n個元素的集合的全體置換做成的群稱為n次對稱群，記作S。設G是一個群，，規定對於正整數m，，，則對任何整數n，a有意義。設G是一個群，如果存在，使得，則稱G為循環群，記作，a稱為G的一個生成元。設，如果a的階無限，則G與全體整數在加法運算之下做成的群同構。如果a的階為正整數n，則G與模n的剩餘類在加法運算之下做成的群同構。設G是一個群，H是G的子集，如果H對於G的運算也做成一個群，則稱H是G的一個子群。設H是群G的一個子群，對任意的，定義，，aH和Ha分別稱為子群H的一個左陪集和右陪集。若G是有限群，則H的左、右陪集的個數都等於。從而有限群G中每個元素的階都是G的階的因子。設H是群G的子群，如果對任意的，，則稱H是G的正規子群，或不變子群。設H是G的一個正規子群，H的左陪集全體記作，對任意的aH，，定義 H，則也做成一個群，這個群稱為G的一個商群，映射π： ，，是一個滿同態。設是群G到群G的同態，稱為的核。 稱為的象，Ker是G的正規子群，(G)是G的子群，並且。

一種重要的拓撲不變性質。可仿照線性空間的對偶空間的定義方式引入上同調群。若K是一個n維單純復形，是q維整係數鏈群，則同態(整數加群)稱為K的一個q維上鏈。對於任意兩個q維上鏈c和d，它們的和是這樣的上鏈，它在任意上取值：

所有q維上鏈在上述加法下成為一個交換群，它就是同態群，稱為K的q維上鏈群，記為為區別起見可把原來的鏈群稱為下鏈群。對於原來的邊緣同態可用對偶同態來定義上邊緣同態運算元，設：

定義：，對於K的q維上鏈c，是一個維上鏈，它在任意上取值為：

從而(或寫成)。由此可定義的子群：

分別稱為q維上閉鏈群與上邊緣鏈群。商群：

稱為復形K的q維上同調群，這些群中元素分別稱為上閉鏈、上邊緣鏈與上同調類。相應原來的同調群可稱為下同調群。

設f：是單純映射，是這單純映射誘導的鏈映射，f的對偶同態定義為，對於任意，是K的q維上鏈，在K的q維鏈x上取值.它滿足，稱f為上鏈映射，因此f誘導出上同調群之間的同態(注意與f：方向相反).同樣地，可研究鏈同倫、連續映射用單純逼近定理得到的誘導同態和類似於下同調群之間誘導同態的性質，所以上同調群也具有拓撲不變性、同倫型不變性。設K是n維單純復形，其上、下同調群與的秩分別記為R與R，它們的撓子群分別記為與 ，則上、下同調群之間有關係：

其中理解為零群。這表明上同調群由下同調群完全決定。