Cofinite induction and Artin's theorem for Hopf algebras (Q1897797)

It is shown that there exist finite dimensional Hopf algebras (of nonprime rank) containing no proper nontrivial sub-Hopf algebras, which are called simple Hopf algebras. Moreover, a simple Hopf algebra \(H\) over a field \(K\) of characteristic zero must be a form of a group algebra \(KN\) where \(N\) is a product (possibly with only one factor) of isomorphic simple groups. It is well-known as Artin's theorem for representations of finite groups that for a finite group \(G\) and the collection \(\mathcal C\) of all subgroup algebras generated by the cyclic subgroups \(\{C_i\}\) of \(G\), the induction map has finite cokernel. The author proves that the Hopf algebraic analog of Artin's theorem does not hold, that is, a cocommutative Hopf algebra \(H\) need not possess a cofinite collection of commutative sub-Hopf algebras.