Finite Generation of the Invariants of Finite Dimensional Hopf Algebras Original Research Article

In this paper we prove, following closely the original E. Noether′s proof for finite groups, that if H is a commutative finite dimensional Hopf Algebra and A is a commutative H-comodule algebra that is finitely generated over the base field, then the algebra AH of H-invariants of A is finitely generated.