A celebrated result of Herstein [10, Theorem 6] states that a ring R must be commutative if[x,y]n(x,y)=[x,y] for all x, y ∈ R, wheren (x,y)>1 is an integer. In this paper, we investigate the structure prime satisfies identity F([x,y])n=F([x,y]) and σ([x,y])n=σ([x,y]), where F σ are generalized derivation automorphism respectively n>1a fixed

Let 9t and © be commutative rings such that © contains, and has the same identity element as, 9Î. If p and $ are prime ideals in SK and © respectively such that ^P\9t = p then we shall say that $ lies over, or contracts to, p. If over every prime ideal in dt there lies a prime ideal in ©, we shall say that the "lying-over" theorem holds for the pair of rings 9Î and ©. Suppose now that q and p a...