Splittable Jordan homomorphisms and commutator ideals

Abstract

We define a Jordan homomorphism φ from a ring R to a ring $R^{\prime }$ to be splittable if the ideal (of the subring generated by the image of φ) generated by all $\phi \left(xy\right)-\phi \left(x\right)\phi \left(y\right)$, $x,y\in R$, has trivial intersection with the ideal generated by all $\phi \left(xy\right)-\phi \left(y\right)\phi \left(x\right)$, $x,y\in R$. Our main result states that a splittable Jordan homomorphism is the sum of a homomorphism and an antihomomorphism on the commutator ideal. As applications, we obtain results that give new insight into the question of the structure of Jordan homomorphisms on several classes of rings.