Jordan-hölder theorem for finite dimensional Hopf algebras

Abstract

We show that a Jordan-Hölder theorem holds for appropriately defined composition series of finite dimensional Hopf algebras. This answers an open question of N. Andruskiewitsch. In the course of our proof we establish analogues of the Noether isomorphism theorems of group theory for arbitrary Hopf algebras under certain faithful (co)flatness assumptions. As an application, we prove an analogue of Zassenhaus’ butterfly lemma for finite dimensional Hopf algebras. We then use these results to show that a Jordan- Hölder theorem holds as well for lower and upper composition series, even though the factors of such series may not be simple as Hopf algebras.