Posner's Theorem and *-Centralizing Derivations on Prime Ideals with Applications

A well-known result of Posner's second theorem states that if the commutator of each element in a prime ring and its image under a nonzero derivation are central, then the ring is commutative. In the present paper, we extended this bluestocking theorem to an arbitrary ring with involution involving prime ideals. Further, apart from proving several other interesting and exciting results, we established the *-version of Vukman's theorem. Precisely, we describe the structure of quotient ring U/L, where A is an arbitrary ring and L is a prime ideal of U. Further, by taking advantage of the *-version of Vukman's theorem, we show that if a 2-torsion free semiprime A with involution admits a nonzero *-centralizing derivation, then A contains a nonzero central ideal. This result is in the spirit of the classical result due to Bell and Martindale (Theorem 3). As the applications, we extended and unified several classical theorems. Finally, we conclude our paper with a direction for further research.