A decomposition theorem for complete comodule algebras over complete Hopf algebras
2000 Mathematics Subject Classification: 13N15, 13A50, 16W25.We reduce the Nowicki conjecture on Weitzenböck derivations of polynomial algebras to a well known problem of classical invariant theory.
Let be a prime ring of characteristic different from , the Utumi quotient ring of , the extended centroid of , a non-central Lie ideal of , a non-zero generalized derivation of . Suppose that for all , then one of the following holds: (1) there exists such that for all ; (2) satisfies the standard identity and there exist and such that for all . We also extend the result to the one-sided case. Finally, as an application we obtain some range inclusion results of...
Let be a prime ring of characteristic different from 2 and 3, its right Martindale quotient ring, its extended centroid, a non-central Lie ideal of and a fixed positive integer. Let be an automorphism of the ring . An additive map is called an -derivation (or a skew derivation) on if for all . An additive mapping is called a generalized -derivation (or a generalized skew derivation) on if there exists a skew derivation on such that for all . We prove that, if ...
Let be a noncommutative prime ring of characteristic different from 2, with its two-sided Martindale quotient ring , the extended centroid of and . Suppose that is a nonzero -derivation of such that for all , where is an automorphism of , and are fixed positive integers. Then .
The problem of when derivations (and their powers) have the range in the Jacobson radical is considered. The proofs are based on the density theorem for derivations.
Let be a prime ring of characteristic different from 2, its right Martindale quotient ring and its extended centroid. Suppose that , are generalized skew derivations of with the same associated automorphism , and is a non-central polynomial over such that for all . Then there exists such that for all .