05/11/21 15:10:38
A を可換環、M を A-加群とする。
ΛM は明らかに A-次数余代数 だから、>>914 より
Homgr(ΛM, A)-右加群となる。
x ∈ (Λ^(p+q))M_n で f ∈ Homgr(ΛM, A)_p のとき、
x←f ∈ (Λ^(n-p))M を具体的に求めよう。
>>876 より、
((x_1Λ...Λx_(p+q))←f) =
Σε(σ) f(x_σ(1)Λ...Λx_σ(p))(x_σ(p+1)Λ...Λx_σ(p+q))
ここで、σは集合 {1, ... , p+q} の置換で、それぞれ
区間 {1, ... , p} と 区間 {p, ... , p+q} において単調増加
するものを動く。ε(σ) は σ の符号。