Affine commutative-by-finite Hopf algebras (Q2659110)

The authors write that ``this paper is first of a series in which we treat the class of affine commutative- by-finite Hopf \(k\)-algebras as a laboratory for testing hypotheses about all Hopf algebras of finite Gelfand-Kirillov dimension.'' Let \(H\) be a Hopf algebra which is finitely generated algebra over an algebraically closed field and which is also an extension of a commutative Hopf algebra \(A\) by a finite dimensional Hopf algebra \(\bar{H}=H/A^+H\), where \(A^+\) is the augmentation ideal of \(A\). A structure theorem is proved when \(\bar{H}\) is semisimple and cosemisimple, showing that in this case the noncommutativity of \(RH\) arises from the action of a finite group.