Finite dimensional cosemisimple Hopf algebras in characteristic 0 are semisimple (1988)

by R G Larson, D E Radford
Venue:J. algebra