On strongly exact sequences of cocommutative Hopf algebras (Q1109109)

Let H be a cocommutative Hopf algebra over a field k, and let \(H^ 1\) and \(H_ 0\) be the irreducible component containing 1 and the coradical of H, respectively. Then the author proves that a cocommutative Hopf algebra H such that \(H_ 0\) is a Hopf subalgebra is isomorphic to the smash product \(H^ 1\#H_ 0\) equipped with the tensor product coalgebra structure. Using this result he generalizes a result given by the reviewer which states some conditions for a short exact sequence of cocommutative Hopf algebras over a field to be strongly exact.