Exercice 1, § 1

Soient g une algèbre de Lie, a et b des idéaux (resp. des idéaux caractéristiques) de g. Alors, l’ensemble des x ∈ g tels que [x, b] ⊂ a est un idéal (resp. un idéal caractéristique) de g appelé transporteur de b dans a. Montrer que C_{p+1}g est le transporteur de g dans C_p g.