Bourbaki

Example 2

Tag 066A, permanent. Cite it as [Bourbaki, Tag 066A].

Algebra, chapter III, § 10. Derivations

Let X be a differentiable manifold of class C∞C^\infty and let A be the graded R\mathbf{R}-algebra of differential forms on X. The mapping which associates with every differential form ω\omega on X its exterior differential dωd\omega is an anti-derivation of degree +1 (Differentiable and Analytic Manifolds, R, § 8).*

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

Cited by

Cites

Nothing.

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