Remark
Tag 068D, permanent. Cite it as [Bourbaki, Tag 068D].
Algebra, chapter III, § 11. Cogebras, products of multilinear forms, inner products and duality
Being given the basis allows us to identify the algebra with the polynomial algebra (§ 6, no. 6); formula (75) shows that the inner product by is just the differential operator , where for (§ 10, no. 11, Example).
Consider finally the exterior algebra , which has as basis the set of elements , where runs through the set of subsets of the interval of (§ 7, no. 8, Theorem 1); similarly has as basis the elements . It follows from formula (68) of no. 9 that
(76)
where is the number defined by formula (19) of § 7, no. 8. There are analogous formulae with the roles of and interchanged.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.