Exercice 10, § 1

On suppose que K est une $\mathbf{Q}$-algèbre. Soit $E$ une K-bigèbre cocommutative et possédant une filtration compatible avec sa structure de bigèbre. Montrer que le morphisme

défini au n° 4, prop. 8 est un isomorphisme, si l’on suppose que $P(E)$ est un K-module libre (même démonstration que pour le th. 1).