Quadratic central polynomials with derivation and involution (Q757558)

This paper gives a complete classification of certain quadratic identities with derivation in rings with involution. Let R be a prime ring with involution *, extended centroid C, and nonzero derivation D. For any ideal I of R, set \(T(I)=\{x+x^*|\) \(x\in I\}\) and \(K(I)=\{x- x^*|\) \(x\in I\}\). The first main result proves that for c,z\(\in C\), if \(cxx^ D+zx^ Dx\in C\) for all \(x\in T(I)\), or all \(x\in K(I)\), then either \(c=z=0\), or R satisfies the standard identity \(S_ 4\). The second is a linearized version of the first, assuming the \(p(x,y)=c_ 1xy^ D+c_ 2x^ Dy+c_ 3yx^ D+c_ 4y^ Dx\in C\) for all x,y\(\in T(I)\), or all x,y\(\in K(I)\), and obtains the conclusion above, except when char R\(=2\) and R embeds in \(M_ 4(F)\) with symplectic involution, with F an algebraic closure of C, or when char R\(=2\) and R satisfies \(S_ 6\). The third main result assumes that p(x,y)\(\in C\) for all \(x\in T(I)\) and \(y\in K(I)\), and proves that either all \(c_ i=0\) or R satisfies \(S_ 4\).