Actions of Ore extensions and growth of polynomial $H$-identities

Abstract

We show that if $A$ is a finite dimensional associative $H$-module algebra for an arbitrary Hopf algebra $H$, then the proof of the analog of Amitsur's conjecture for $H$-codimensions of $A$ can be reduced to the case when $A$ is $H$-simple. (Here we do not require that the Jacobson radical of $A$ is an $H$-submodule.) As an application, we prove that if $A$ is a finite dimensional associative $H$-module algebra where $H$ is a Hopf algebra $H$ over a field of characteristic $0$ such that $H$ is constructed by an iterated Ore extension of a finite dimensional semisimple Hopf algebra by skew-primitive elements (e.g. $H$ is a Taft algebra), then there exists integer ${\mathrm{PIexp}}^H(A)$. In order to prove this, we study the structure of algebras simple with respect to an action of an Ore extension.

19 pages; the title has been changed and results related to actions of Ore extensions have been added

References in corpus (4)

• Actions of some pointed Hopf algebras on path algebras of quivers
• Algebras simple with respect to a Taft algebra action
• Semigroup graded algebras and codimension growth of graded polynomial identities
• Semigroup graded algebras and graded PI-exponent

Cited by in corpus (2)

• Graded group actions and generalized $H$-actions compatible with gradings
• On a general notion of a polynomial identity and codimensions