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} において単調増加
するものを動く。ε(σ) は σ の符号。