- 52 名前：208 [2005/11/24(木) 10:06:15 ]
- ΛM は、Homgr(ΛM, A)-右加群となる(>>914)。
よって θ: Λ(Hom(M, A)) → Homgr(ΛM, A)^op により、
Λ(Hom(M, A))-左加群となる
>>915 と >>892 より
f_1, ..., f_p ∈ Hom(M, A)
x_1, ..., x_(p+q) ∈ M のとき、
(f_1Λ...Λf_p)→(x_1Λ...Λx_(p+q)) =
(-1)^(p(p-1))/2 Σε(σ)det(f_i(x_σ(j)))(x_σ(p+1)Λ...Λx_σ(p+q))
となる。
なお、Bourbakiの代数３章の英語版では、この式がミスプリとなって
いる。因みに英語版はミスプリが多い。
