this paper, we will prove the following theorem, Let R be a ring with 1 having
a reverse derivation d ≠ 0 such that, for each x R, either d(x) = 0 or d(x) is
invertible in R, then R must be one of the following: (i) a division ring D, (ii) D 2 ,
the ring of 2×2 matrices over D, (iii) D[x]/(x ) 2
where char D = 2, d (D) = 0 and
d(x) = 1 + ax for some a in the center Z of D. Furthermore, if 2R ≠ 0 then R = D 2 is
possible if and only if D does not contain all quadratic extensions of Z, the center of
D.

In this paper, the concept of Jordan triple higher -homomorphisms on prime

rings is introduced.  A result of Herstein is extended on this concept from the ring  into the prime ring .  We prove that every Jordan triple higher -homomorphism of ring  into prime ring  is either triple higher -homomorphism  or triple higher -anti-homomorphism of  into .

      In this paper, we introduce the notion of a 2-prime module as a generalization of prime module E over a ring R, where E is said to be prime module if (0) is a prime submodule. We introduced the concept of the 2-prime R-module. Module E is said to be 2-prime if (0) is 2-prime submodule of E. where a proper submodule K of module E is 2-prime submodule if, whenever rR, xE, E, Thus xK or [K: E].

A non-zero module M is called hollow, if every proper submodule of M is small. In this work we introduce a generalization of this type of modules; we call it prime hollow modules. Some main properties of this kind of modules are investigated and the relation between these modules with hollow modules and some other modules are studied, such as semihollow, amply supplemented and lifting modules.

The definition of orthogonal generalized higher k-derivation is examined in this paper and we introduced some of its related results.

The main purpose of this paper is to show that zero symmetric prime near-rings, satisfying certain identities on n-derivations, are commutative rings.

Our active aim in this paper is to prove the following Let Ŕ be a ring having an
idempotent element e(e  0,e 1) . Suppose that R is a subring of Ŕ which
satisfies:
(i) eR  R and Re  R .
(ii) xR  0 implies x  0 .
(iii ) eRx  0 implies x  0( and hence Rx  0 implies x  0) .
(iv) exeR(1 e)  0 implies exe  0 .
If D is a derivable map of R satisfying D(R )  R ;i, j 1,2. ij ij Then D is
additive. This extend Daif's result to the case R need not contain any non-zero
idempotent element.