Exercise 3, § 11

Show that if M is an A-module there exists on $T(M)$ one and only one cocommutative bigebra structure whose algebra structure is the usual structure and whose coproduct $c$ is such that, for all $x \in M$, $c(x) = 1 \otimes x + x \otimes 1$.