Commutator Hopf subalgebras and irreducible representations

Abstract

Montgomery and Witherspoon proved that upper and lower semisolvable, semisimple, finite dimensional Hopf algebras are of Frobenius type when their dimensions are not divisible by the characteristic of the base field. In this note we show that a finite dimensional, semisimple, lower solvable Hopf algebra is always of Frobenius type, in arbitrary characteristic.