A special class of near rings

Abstract

A near ring is a triple (R, +, · ) such that (R, + ) is a group, (R, ·) is a semigroup, and · is left distributive over +; i.e. w(x + z) = wx + wz for each w, x, z in R. A normal subgroup K of a near ring R is an ideal if (i) (m + k)n − mn is in K for all m, n in R and k in K, and (ii) RK ⊆ K. In particular, kernels of near ring homomorphisms are ideals. For various other definitions and elementary facts about near rings, see [5,8]. For each x in a near ring R, let A(x) = {y ∈ R: xy = 0}. A survey on several recent papers on near rings [2,3,6,7,8] shows that the concept of A(x) being an ideal was the main technique. The purpose of this note is to initiate a study of near rings having the property that each A(x) is an ideal.