Definition 1

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

An element $x$ of $E$ is called u-primitive if

(2)

c(x) = x \otimes u + u \otimes x.

The $u$ -primitive elements of $E$ form a submodule of $E$ , denoted by $P_u(E)$ .

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

Cited by

Nothing.