Bourbaki

Example

Tag 068B, permanent. Cite it as [Bourbaki, Tag 068B].

Algebra, chapter III, § 11. Cogebras, products of multilinear forms, inner products and duality

Propositions 9 and 10 apply in particular to the graded bigebra S(M)S(M) and the skew graded bigebra Λ(M)\Lambda(M). The inner products by elements of degree 1 in S(M)S(M) (resp. S(M)∗grS(M)^{*gr}) are derivations which commute with one another, since S(M)S(M) (resp. S(M)∗grS(M)^{*gr}) is commutative.

Similarly, the inner products by elements of degree 1 in Λ(M)\Lambda(M) (resp. Λ(M)∗gr\Lambda(M)^{*gr}) are antiderivations, which are of zero square, for the square of an element of degree 1 in the algebra Λ(M)\Lambda(M) (resp. Λ(M)∗gr\Lambda(M)^{*gr}) is zero.

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

Cited by

Nothing.

Cites

Nothing.

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