Classical Radicals of Invariants of Algebraic Skew Derivations

Abstract

Let [Formula: see text] be an automorphism and[Formula: see text] be a [Formula: see text]-skew [Formula: see text]-derivation of an [Formula: see text]-algebra [Formula: see text]. We prove that if [Formula: see text] is semiprimitive and [Formula: see text] is algebraic, then the subalgebra [Formula: see text] has nilpotent Jacobson radical. Using this result, we obtain similar relations for the Baer prime radical, the Levitzki locally nilpotent radical, and the Köthe nil radical when the field [Formula: see text] is uncountable. Then we apply it to actions of the [Formula: see text]-dimensional Taft Hopf algebra [Formula: see text] and the [Formula: see text]-analogue [Formula: see text] of the enveloping algebra of the Lie algebra [Formula: see text].