1 Hit in 0.27 sec

Actions of Hopf algebras on pro-semisimple noetherian algebras and their invariants

Andrzej Tyc
2001 Colloquium Mathematicum  
Let H be a Hopf algebra over a field k such that every finite-dimensional (left) H-module is semisimple. We give a counterpart of the first fundamental theorem of the classical invariant theory for locally finite, finitely generated (commutative) H-module algebras, and for local, complete H-module algebras. Also, we prove that if H acts on the k-algebra A = k[[X 1 , . . . , X n ]] in such a way that the unique maximal ideal in A is invariant, then the algebra of invariants A H is a noetherian
more » ... H is a noetherian Cohen-Macaulay ring.
doi:10.4064/cm88-1-5 fatcat:w3lvbzqjkzc2vepggvxkn7pjve