Exercice 11, § 9

Soit G le produit semi-direct de $B = \mathbf{Z}/2\mathbf{Z}$ par K correspondant à l’automorphisme $x \mapsto -x$ du groupe de Lie K. Alors L(K) est un idéal de L(G), et L(B) = {0}, mais (K, B) = K.