Proposition 1

Tag 0A1R, permanent. Cite it as [Bourbaki, Tag 0A1R].

Lie Groups and Lie Algebras, chapter II, § 1. Enveloping bigebra of a Lie algebra

Every u-primitive element of $E$ belongs to $E^+$ . (2) implies $x = \varepsilon(x).u + \varepsilon(u).x = \varepsilon(x).u + x,$ whence $\varepsilon(x) = 0$ .

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

Cited by

Lemma 1, § 1
Proposition 8, § 1

Cites

Nothing.