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 and the skew graded bigebra . The inner products by elements of degree 1 in (resp. ) are derivations which commute with one another, since (resp. ) is commutative.
Similarly, the inner products by elements of degree 1 in (resp. ) are antiderivations, which are of zero square, for the square of an element of degree 1 in the algebra (resp. ) 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.