Remarque 2

Étiquette 0DHD, permanente. À citer comme [Bourbaki, Tag 0DHD].

Algebra, chapter III, § 11. Cogèbres, produits de formes multilinéaires, produits intérieurs et dualité

Le même raisonnement que dans la démonstration précédente prouve, plus généralement, que pour tout x ∈ E, si c(x) = $\sum_j x'_j \otimes x''_j$ , on a, quels que soient u, v dans E*gr, la « formule de Leibniz »

(i(x))(uv) = \sum_j (i(x'_j))(u).(i(x''_j))(v).

En particulier, pour tout élément primitif d’une bigèbre graduée E, c’est-à-dire tel que c(x) = x ⊗ 1 + 1 ⊗ x, i(x) est une dérivation de E*gr.

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.