G M
Hn(G, M) := Extn
Z[G](Z, M).
M7→ MG
0−→ M−→ M0−→ M1−→ · · ·
M G
Extn(−, M) Hom(−, M)
Extn(Z, M)
0←− Z←− P0←− P1←− · · ·
Z Z[G]
Hom(−, M)
M7→ Hn(G, M)G
H0M7→ MG
0→L→M→N G
0−→ LG−→ MG−→ NG−→ H1(G, L)−→ H1(G, M )−→ H1(G, N)−→ H2(G, M )−→ · · ·
G
G
Hn(G, M)
GZ
C∗(G, M)H∗(G, M)d
Zn(G, M)Bn(G, M)
n Cn(G, M)
f:Gn+1 →M
∀g∈G, f(g.x0, . . . , g.xn) = g.f(x0, . . . , xn)
d:Cn(G, M)→Cn+1(G, M)
df (x0, . . . , xn) =
n+1
X
i=0
(−1)if(x0,..., bxi, . . . , xn+1).
(y1|. . . |yn) := (1, y1, y1y2, . . . , y1y2· · · yn)
C∗(G, M) (x0, . . . , xn)
(y1|. . . |yn)
n f :Gn→M
df (y1|. . . |yn+1) = y1.f(y2|. . . |yn+1)
+
n
X
i=1
(−1)if(y1|. . . |yi−1|yiyi+1|yi+2|. . . |yn+1)
+ (−1)n+1f(y1|. . . |yn).