實驗資料的誤差處理

[拼音]：tongdiao daishu

[英文]：homological algebra

代數學的一個非常重要的分支，是由美國的數學家與歐洲的數學家在20世紀40年代彼此獨立而幾乎同時開始發展起來的。同調代數源出於代數拓撲學，因而它仍保留著一些代數拓撲學中所用的術語，如迴圈（閒鏈）、邊緣（邊緣鏈）等等，而代數拓撲學本來就是把幾何概念轉換成代數概念的一種理論。

代數拓撲學中的同調群概念與同調代數有密切聯絡。在n維歐氏空間En中適當取q+1個點α0，α1，…，αq，q≤n，它們將張成一個q維超平面。取

，則所有這些x之整合為一個q維單形Sq，常記為(α0，α1，…，αq)。它以αi為其頂點，αi全為正數的點稱為內點，其餘的點，稱為邊緣點。

稱為其一個邊緣面，

是一個r維面，這裡i0，i1，…，ir是0，1，…，q中的任何r+1個數，取C為En中有限個單形之集，其中任兩個單形之交或為空集，或為它們的一個r維面，而且若Sq屬於C，則其任一個r維面也必屬於C。以Cq表示由C中所用的q維單形Sq所生成的加法自由交換群，並於Sq=(α0，α1，…，αq)時，定義

這裡的±號是按照某種定向規則而確定的，於是得到一個鏈復形

，(1)

且嬠q-1嬠q=0，所以Im嬠q吇Ker嬠q-1（Im嬠是嬠的像，Ker嬠是嬠的核），這時，商群Hq=Ker嬠q/Im嬠q+1稱為C的第q個同調群，同調群的理論集中地反映出復形的有關其邊緣的幾何性質。“同調”一詞源出希臘文，意指“和諧”或“一致”。

代數學家不考慮上述同調理論中的幾何意義，直接討論式(1)，研究其同調群，式中的Ci已不僅是一些交換群，而是環上的模。同調代數的理論已經變成研究環、一般代數、李代數與群的一種不可缺少的有力工具。

以下述及的環U與B都有單位元，模都是酉模，且一般是左U模。左U模範疇記作

。

復形與同調模

範疇

中的一個復形是一列(A，嬠)

，(2)

式中An都是U模，嬠n是模同態，而且嬠n-1嬠n=0， Ker嬠n稱為n迴圈，lm嬠n+1稱為n邊緣。於是Im嬠n+1吇Ker嬠n，定義

是復形(A，嬠)的第n個同調模。若式(2)中對所有的n都有Im嬠n+1=Ker嬠n，即所有Hn(A，嬠)都等於0，則(A，嬠)是一個正合列。特別，若在n≥3與n<0時，所有的 An都等於 0，而(2)又正合，則為短正合列

，這時嬠2必為單同態，嬠1必為滿同態，而A0=A1/嬠2A2。

假定(

B

，d)也是一個復形， 設有模同態ƒn:An→

B

n，使下圖可交換

則ƒ={ƒn}稱為由(A，嬠)到(

B

，d)的一個復形對映。於是，以所有的U模的復形為物件，以復形對映為態射，則得一個阿貝爾範疇，稱為復形範疇，記為Ucm。由於

，所以，ƒn將引出Hn(A，嬠)到Hn(

B

，d)的一個模同態ƒ

n，稱為同調對映。若ƒ與g都是(A，嬠)到(

B

，d)的復形對映，且有

，使對所有的n，恆有

，則ƒ與g為同倫的，記為h:ƒ埍g，這時必有ƒ

n=g

n。

固定任一整數n，每一個復形(A，嬠)將對應其第n個同調模Hn(A，嬠)，而復形對映ƒ:(A，嬠→(

B

，d)將引出同調對映ƒ

n， 因此Hn是一個由Ucm到

的函子，它把(A， 嬠)變成Hn(A，嬠)，把ƒ:(A，嬠)→(

B

，d)變成ƒ

n，這個Hn稱為第n個同調函子。

復形的短正合列

是指如下的交換圖：

(3)

其中各行均為復形， 各列均為短正合列，

表單同態，

表滿同態。對於(3)， 有在同調代數中各個方面都起著重要作用的同調正合列定理：

有連線對映(模同態)

使有正合列（δ，嬠，d 等記號都省掉）

與上述同調相對偶的是上同調。設An為U模，則

(4)

稱為上覆形，式中嬠n嬠n-1=0，而商模

稱為上覆形(4)的第n個上同調模。

投射分解與內射分解

正合列

，(5)

當p0，p1，p2，…，pn，…都是投射模時，稱為A的投射分解。由於每一個U模都是一個投射模的同態像，所以，每一個U模A都有投射分解。如果(5)中存在一個最小的n，使Im嬠n為投射模，那麼，儘管A的投射分解並不惟一(可能有其他的投射分解)，這個n卻是不變的，稱為A的投射維數， 記為PdA=n。如果每一個lm嬠n都不投射，那麼PdA=∞。於是，PdA=0的意思就是A為投射模；若PdA=1，則A可分解成兩個投射模之商，A=p0/p1；若PdA=2，則A是三個投射模之商，A=p0/p1/p2，…。 範疇

中各模的最大投射維數是這個範疇的一個總體性質，因而也是環U本身的一個總體性質，所以稱為U的左總體維數

。已知:若ldU=0，則U為滿足極小條件的半單環;若ldU=1，則U為左遺傳環。同樣可定義U的右總體維數rdU。一般說來，U的左、右總體維數並不相等。

與上述投射分解相對偶，正合列

，

當I0，I1，…都是內射模時，稱為A的內射分解。由於每一個A都可嵌入到一個內射模內，所以A的內射分解一定存在。同樣可定義A 的內射維數IdA。在

中各模的最大內射維數

正好等於U的左總體維數ldU。

導函子

設T是一個自

到BM 的共變加法函子，由下列的辦法來定義的一系列新的函子LnT與RnT，稱為由T 所匯出的導函子。

取A與

B

均為U模，ƒ:A→

B

為模同態，(p，嬠)與(Q，d)分別為A與

B

的投射分解，則有復形對映{ƒn}使有交換圖

於是有交換圖

(6)

這裡兩行都是B模的復形，它們的第 n個同調模，將表以

與

，

而由Tƒn所引出的同調對映則表以LnT(ƒ)，其實這些LnTA與LnT

B

並不隨所取的投射分解而變，換成A與

B

的其他的投射分解，仍得到同樣的LnTA與LnT

B

。同時，LnT(ƒ)也不隨所取的復形對映{ƒn}而變，換ƒn為gn，只要圖(6)仍然是可交換的，那麼就有相同的同調對映

。 因此，由A變成LnTA，由ƒ:A→

B

得到LnT(ƒ)，則得一個共變函子LnT，稱為T的左導函子。

若改用A的內射分解，則用同樣的方法可得到T的右匯出函子RnT，它是一個共變函子。

如果 F是一個逆變加法函子，那麼取 A的投射分解(p，嬠)，就得上覆形(Fp，F嬠)，其第n個上同調模將記為RnF(A)，因而可由F匯出的右匯出函子RnF，它是一個逆變函子。

若對所有的n>0恆有LnTA＝0，則A稱為一個左T-零調模。零調模在譜序列的理論中非常重要。

函子圱與Tor

取M為右U模，對任一個左U模，定義

，並對模同態σ:A→

B

，令T(σ)=1圱σ:M圱A→M圱

B

， 則得一個由

到交換群範疇AG的共變加法函子T，此T也常表成M圱-。由T所匯出的第n個左匯出函子將表以Tor將(M，-)，換言之，若取A的一個投射分解為(p，嬠)，則得一個復形(M圱p，1圱嬠)，此復形的第n個同調模就是Torn(M，A)(U有時可省去)。特別，Tor0(M，A)=M圱A。

同樣，讓A固定，則得函子－圱A，由其匯出的第n個匯出函子為Torn(-，A)，所以Torn(-，-)實際上是一種雙函子，它對兩個變數（讓其一固定，另一個變動）都是共變加法函子。

符號Tor是英文Torsion一字的前三個字母，它的意思是“撓性質”。假定U是一個整環（無零因子的交換環），而A是一個U模，讓tA={α∈A│有某一非零α∈U，使αα=0}，於是tA是A的一個子模，稱為A的撓子模。讓A對應tA即得

到其自身的一個共變函子t；另一方面，讓Q為U的商域（也看成U模），令M=Q/U為商模，則可證明，函子t（可稱為撓函子）與函子Tor

(M，－)是自然等價的，故用符號Tor。

函子Hom與Ext

固定一個左U模x，對於任一個左U模A，定義 FA=HomU(A，x)，並對ƒ:A→

B

，定義F(ƒ)：Hom(

B

，x)→Hom(A，x)，使在σ∈Hom(

B

，x)時有交換圖(7)。

(7)

F(ƒ)(σ)=σF，於是，F是一個由

到AG的逆變函子，其第n個右匯出函子RnF將表以Ext

(-，x)。因此，先取A的任一個投射分解(ρ，嬠)，再作上覆形

， 則其第n個上同調模就是 Extn(A，x)，特別，Ext0(A，x)=Hom(A，x)。

如果讓A固定，令TX=Hom(A，x)，並對g:x→Y，定義T(g):Hom(A，x)→Hom(A，Y)，使T(g)(τ)=gτ如交換圖(8)，則T為

到AG的共變函子， 其第n個右匯出函子將表以Extn(A，-)，換言之，Extn(-，-)是一個雙函子，它對第一個變數A是逆變的（讓x 固定時）；而對第二個變數x是共變的（讓A固定）。

(8)

與Tor的情況類似，Ext是英文 Extension一字的前三個字母組成的符號，其意為“擴張”。設x與A都是U模，E稱為x由A的一個模擴張，是指有短正合列0→x→E→A→0。兩個擴張E與E┡稱為等價的，意指有φ:E→E┡使下圖可交換

這裡的φ必是一個模同構，因而上述等價性是一種等價關係，以e(x，A)表所有等價類之集合，可以證明，e(x，A)與Ext1(A，x)是一一對應的。所以可認定e(x，A)就是Ext1(A，x)。

群的同調與上同調

設G為乘法群，Z表整數環，以G的所有的元素為生成元素可得一個加法自由群ZG，因此ZG 中每一個元素都惟一地表成

的形狀，這裡m(x)∈Z，且只能有有限個m(x)不為0，再定義

，則 ZG是一個環，稱為Z上的群環。任一個ZG模也稱為G模。如果在z∈Z時，定義

，則Z作成一個左G模。

當A為G模時，

稱為G的其係數在A內的上同調群。對偶地，若

B

為右G模，

稱為G 的其係數都在

B

內的同調群。不難證明

這裡的

稱為ZG的增廣理想，它在群的同調理論中十分重要。

各種群的 Hn與Hn的計算與理論是同調代數與群論中的重要研究課題。

譜序列

它是同調代數中的一個重要的理論，也是一種研究同調模的重要方法。

設A是一個U模，若有模自同態d:A→A使

B

=Imd吇Z=Ker d，即dd=0，則(A，d)稱為一個微分模，d是其微分，而商模Z/

B

是(A，d)的同調模H(A，d)。與復形的情況類似，

B

為d的邊緣，而Z為d的迴圈。微分模的序列{Ar，dr}(r≥1 是整數)稱為一個譜序列，是指對每一個r都有

。讓Z2Ker d1，

B

2=Im d1，則A2=Z2/

B

2，又定義Z3與

B

3，使A3=Kerd2/Imd2=(Z3/

B

2)/(

B

3/

B

2)=Z3/

B

3，…，依此類推，可讓Ar=Zr/

B

r，於是得一鏈

，令

，

，則A∞=Z∞/

B

∞稱為譜序列{Ar，dr}的極限模。在r很大時，Ar可作為極限模的“近似”。

在同調代數中常用到的譜序列實際上是由雙分次模所組成的，所謂雙分次模，就是一些模Epq的集合，p與q都是整數。設E與D都是雙分次模，且有整數對(α，b))，使對任何p、q都有一個模同態

，則d:E→D稱為具有雙分次(α，b))的對映。若d:E→E有次數(α，b))，且dd=0，即

，凬p，q，則d是微分，而

為其同調雙分次模。假定(Er，dr)都是微分雙分次模，且

，那麼，這對於(Er，dr)也是一個譜序列。

用過濾的辦法，可以從一個復形(A，嬠)得到一個很有用處的譜序列。假定對每一個p∈Z，FpA都是A的一個子復形，並且有

，

則F稱為復形(A，嬠)的一個過濾。於是，對任何p就有一個復形的短正合列

，由同調正合列定理，得

， (9)

讓

，

式(9)就可改寫為

，

這裡α，β，γ是有次數(1，-1)，(0，0)與(-1，0)的對映。以E1表示雙分次模{Epq}，並取

，易知，d1:E→E有次數(-1，0)，且d1d1=0，故d1是E1的微分。以E2表其同調雙分次模，再適當定義d2:E2→E2為E2的微分。依此類推，即得一個譜序列(Er，dr)，只要F取得恰當，這個譜序列可以提供(A，嬠)的同調模的一些資訊。

參考書目

H.Cartan and S.Eilenberg，Homological Algebra， Princeton Univ. Press， Princeton， 1956.

S.MacLane，Homology， Springer-Verlag， Berlin， 1963.

J.J.Rotmann，An Introduction to Homological Algebra，Academic Press， New York， 1979.