习题 8, § 11 标签 068S,永久不变。引用为 [Bourbaki, Tag 068S]。 代数, III, 648 Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。 令 E 为维数 nnn 中的自由A-模。对于Λ(M)\Lambda(M)Λ(M)的每个A-线性映射vvv到A-模G,我们可以写成v=∑p=0nvpv = \sum_{p=0}^n v_pv=∑p=0nvp,其中vpv_pvp是vvv到Λp(M)\Lambda^p(M)Λp(M)的限制;然后我们集合ηv=∑p=0n(−1)pvp\eta v = \sum_{p=0}^n (-1)^p v_pηv=∑p=0n(−1)pvp,这样η2v=v\eta^2 v = vη2v=v。令uuu为M的同构到其对偶M∗M^*M∗,并令Δ\DeltaΔ为uuu的矩阵关于M的基(ei)(e_i)(ei)和M∗M^*M∗的对偶基的行列式(行列式这不取决于所选 M 的基)。如果 ϕ\phiϕ 是 Λ(M)\Lambda(M)Λ(M) 的同构到从 e=e1∧e2∧⋯∧ene = e_1 \wedge e_2 \wedge \cdots \wedge e_ne=e1∧e2∧⋯∧en 开始定义的 Λ(M∗)\Lambda(M^*)Λ(M∗),则显示公式 ηn+1Δϕ=⋀(tu)∘ϕ−1∘⋀(u). \eta^{n+1} \Delta \phi = \bigwedge^{(t_u)} \circ \phi^{-1} \circ \bigwedge(u). ηn+1Δϕ=⋀(tu)∘ϕ−1∘⋀(u). 解答 尚未写出解答。 被以下引用 Exercise 15, § 11 引用了 无。