Proposition 1
Tag 0E2I, permanent. Cite it as [Bourbaki, Tag 0E2I].
Algebra, chapter X, § 9. Complexes de Koszul
Let x∈L; denote by Rx:y↦x∧y the left multiplication by x in the algebra Λ(L). Then du∘Rx+Rx∘du=u(x)⋅1Λ(L)=u(x)Λ(L).
Indeed (du∘Rx+Rx∘du)(y)=du(x∧y)+x∧du(y); since du is an antidifferentiation, du(x∧y)+x∧du(y)=du(x)∧y=u(x)⋅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.