Structure theorems for rings under certain coactions of a Hopf algebra

Let \{D1,..., Dn\} be a system of derivations of a k-algebra A, k a field of characteristic p > 0, defined by a coaction d of the Hopf algebra Hc = k[X1,..., Xn]/(X1p,..., Xnp), c \in \{0,1\}, the Lie Hopf algebra of the additive group and the multiplicative group on A, respectively. If there exist x1, \dots, xn \in A, with the Jacobian matrix (Di(xj)) invertible, [Di,Dj] = 0, Dip = cDi, c \in \{0, 1\}, 1 \leq i, j \leq n, we obtain elements y1,..., yn \in A, such that Di(yj) = dij(1 + cyi), using properties of Hc-Galois extensions. A concrete structure theorem for a commutative k-algebra A, as a free module on the subring Ad of A consisting of the coinvariant elements with respect to d, is proved in the additive case.

Structure theorems for rings under certain coactions of a Hopf algebra

Let \{D1,..., Dn\} be a system of derivations of a k-algebra A, k a field of characteristic p > 0, defined by a coaction d of the Hopf algebra Hc = k[X1,..., Xn]/(X1p,..., Xnp), c \in \{0,1\}, the Lie Hopf algebra of the additive group and the multiplicative group on A, respectively. If there exist x1, \dots, xn \in A, with the Jacobian matrix (Di(xj)) invertible, [Di,Dj] = 0, Dip = cDi, c \in \{0, 1\}, 1 \leq i, j \leq n, we obtain elements y1,..., yn \in A, such that Di(yj) = dij(1 + cyi), using properties of Hc-Galois extensions. A concrete structure theorem for a commutative k-algebra A, as a free module on the subring Ad of A consisting of the coinvariant elements with respect to d, is proved in the additive case.

___

  • Crupi, M., Restuccia, G.: Coactions of Hopf algebras on algebras in positive characteristic, Boll. Unione Mat. Ital. 9 (III), 349–361 (2010).
  • Kreimer, H.F., Takeuchi, M.: Hopf algebras and Galois extensions of an algebra, Indiana Univ. Math. J., 30, 675–692 (1981).
  • Matsumura, H.: Commutative algebra, Ben. Inc. New York, (1980).
  • Montgomery, S.: Hopf algebras and their actions on rings, CBMS Lecture Notes, Amer. Math. Soc., 82 (1993). Restuccia, G., Matsumura, H.: Integrable derivations II, Atti Accademia Peloritana dei Pericolanti, Classe Sc. Fis., Mat. e Nat., LXX(2), 153-172 (1992).
  • Restuccia, G., Schneider, H.J.: On actions of infinitesimal group schemes, J. Algebra, 261, 229-244 (2003).
  • Restuccia, G., Tyc, A.: Regularity of the ring of invariants under certain actions of finite abelian Hopf algebras in characteristic p,J. Algebra , 159 (2), 347–357 (1993).
  • Restuccia, G., Utano, R.: n -dimensional actions of finite abelian Hopf algebras in characteristic p > 0 , Revue Roumaine, Tome XLIII, 9-10, 881–895 (1998).
  • Schauenburg, P., Schneider, H.J.: Galois Type Extensions and Hopf Algebras, Munchen, (2004).
  • Sweedler, M.E.: Hopf Algebras, Benjamin Inc, New York, (1969).
  • Waterhouse, W.C.: Introduction to Affine Group Schemes, Springer-Verlag New York Inc., (1979).