Bourbaki

Corollary

Tag 064N, permanent. Cite it as [Bourbaki, Tag 064N].

Algebra, chapter III, § 8. Determinants

Under the same hypotheses as in Proposition 11, for the endomorphism ⋀(u)\bigwedge(u) of the A-module ⋀(M)\bigwedge(M)

(19)(19)
Tr⁡(⋀(u))=det⁡(1M+u). \operatorname{Tr}(\bigwedge(u)) = \det(1_M + u).

It suffices to replace ξ\xi and η\eta by 1 in (18) and observe that the matrix of ⋀(u)\bigwedge(u) with respect to the basis of the eHe_H (H∈F(I)H \in \mathfrak{F}(I)) is the diagonal matrix of the matrices of the ⋀k(u)\bigwedge^k(u) for ≥k\geq k 0 (II, §10§ 10, no. 7, Example IV).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.