Skew Derivations Whose Invariants Satisfy a Polynomial Identity
β Scribed by Jeffrey Bergen; Piotr Grzeszczuk
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 202 KB
- Volume
- 228
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
β¦ Synopsis
If Ο is an automorphism and Ξ΄ is a q-skew Ο-derivation of a ring R, then the subring of invariants is the set R Ξ΄ = r β R Ξ΄ r = 0 . The main result of this paper is Theorem. Let R be a prime algebra with a q-skew Ο-derivation Ξ΄, where Ξ΄ and Ο are algebraic. If R Ξ΄ satisfies a P. I., then R satisfies a P. I.
If Ξ΄ is separable, then we also obtain the following result:
Theorem. Let Ξ΄ be a separable q-skew Ο-derivation of an algebra R, where Ξ΄ and Ο are algebraic.
(i) If R Ξ΄ satisfies a P. I., then R satisfies a P. I.
(ii) If R Ο β© R Ξ΄ satisfies a P. I. and Ο is separable, then R satisfies a P. I.
When R is a domain, it is necessary to assume neither that Ο is algebraic nor that Ξ΄ is q-skew as we prove
π SIMILAR VOLUMES
Using the trivial observation that one can get polynomial identities on \(R\) from the ones of \(M_{k}(R)\) we derive from the Amitsur-Levitzki theorem a subset of the identities on \(n \times n\) matrices, obtained recently by Szigeti, Tuza, and RΓ©vΓ©sz starting from directed Eulerian graphs, which
Let R = denote the group of units of an associative algebra R over an infinite field F. We prove that if R is unitarily generated by its nilpotent elements, then R = satisfies a group identity precisely when R satisfies a nonmatrix polynomial identity. As an application, we examine the group algebra