Strong commutativity preserving generalized derivations on right ideals. (Q431186)

The author proves that certain commutator functional identities on right ideals of noncommutative prime rings have very special forms. Let \(R\) be a prime ring with extended centroid \(C\), symmetric Martindale quotient ring \(Q\), and nonzero right ideal \(T\). Assume that \(f\colon T\to R\) and \(g\colon R\to R\) satisfy \([f(x),g(y)]=[x,y]\) for all \(x,y\in T\). The main result shows that when \(g\) is a generalized derivation then either: (1) \(R\) is commutative; (2) there are \(a\in Q\), \(0\neq z\in C\), and \(h\colon T\to C\) so that \(g(r)=ar\) for all \(r\in R\), and for all \(x\in T\), \(f(x)=zx+h(x)\) and \((a-z^{-1})T=(0)\); or (3) there are \(a,b\in Q\), \(e^2=e\in RC\), and \(\lambda\colon RC\to C\), \(C\)-linear, so that \(g(x)=ax+xb\) for all \(x\in R\) (so \(g\) is inner), \(aT=(0)\), \(TC=eRC\), \(eRCe=eC\), \(\lambda(x)e=exe\) for all \(x\in RC\), and both \((f(x)-\lambda(f(x)))e=0\) and \(b(f(x)-\lambda(f(x)))=x-\lambda(x)\) for all \(x\in T\). Two consequences of this result show that when \(f\) is a generalized derivation and \(g\) is a derivation then \(R\) must be commutative, and when \(g\) is a derivation then \(R\) is commutative or \(g\) is inner and (3) above holds. Also when both \(f\) and \(g\) are generalized derivations then each is inner, so \(f(x)=a_1x+xb_1\), \(g(x)=a_2x+xb_2\) for \(a_i,b_j\in Q\), \(a_iT=(0)\) and \(\{b_j\}\) is \(C\)-dependent, and also, either \(b_j\in C\) with \(b_1b_2=1\); \(TC=eRC\) as in (3) above, with additional relations between \(b_1\) and \(e\); or \(RC\cong M_2(C)\) and additional results like (3) above hold.