Strong commutativity preserving generalized derivations on right ideals. (Q431186): Difference between revisions

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.