Exercice 3, § 11

Montrer que si M est un A-module, il existe sur $T(M)$ une structure de bigèbre cocommutative et une seule dont la structure d’algèbre est la structure usuelle et dont le coproduit c est tel que, pour tout $x \in M$, on ait $c(x) = 1 \otimes x + x \otimes 1$.