Posner’s second theorem for Jordan ideals in rings with involution

Posner’s second theorem states that the existence of a nonzero centralizing derivation on a prime ring forces the ring to be commutative. In this paper we extend this result to Jordan ideals of rings with involution. Moreover, some related results are also discussed.