Bourbaki

Proposition 1

Tag 0E2I, permanent. Cite it as [Bourbaki, Tag 0E2I].

Algebra, chapter X, § 9. Complexes de Koszul

Let x∈Lx \in L; denote by Rx:y↦x∧yR_x : y \mapsto x \wedge y the left multiplication by xx in the algebra Λ(L)\Lambda(L). Then du∘Rx+Rx∘du=u(x)⋅1Λ(L)=u(x)Λ(L)d_u \circ R_x + R_x \circ d_u = u(x) \cdot 1_{\Lambda(L)} = u(x)_{\Lambda(L)}.

Indeed (du∘Rx+Rx∘du)(y)=du(x∧y)+x∧du(y)(d_u \circ R_x + R_x \circ d_u)(y) = d_u(x \wedge y) + x \wedge d_u(y); since dud_u is an antidifferentiation, du(x∧y)+x∧du(y)=du(x)∧y=u(x)⋅yd_u(x \wedge y) + x \wedge d_u(y) = d_u(x) \wedge y = u(x) \cdot y.

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

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.