Posner's First Theorem for *-ideals in Prime Rings with Involution

Abstract

Posner’s first theorem states that if R is a prime ring of characteristic different from two, d1 and d2 are derivations on R such that the iterate d1d2 is also a derivation of R, then at least one of d1, d2 is zero. In the present paper we extend this result to ∗-prime rings of characteristic different from two.