On multiplicative derivations in 3-prime near-rings (Q6572411)

A nearring \(N\) is called 3-prime if \(xNy=0\) implies \(x=0\) or \(y=0\). A multiplicative derivation is a map \(d:N\to N\) with \(d(xy)=xd(y)+ d(x)y\). Note that additivity is not required.\N\NLet \(N\) be a 3-prime nearring. The author shows that under various conditions, the existence of non-zero multiplicative derivations enforce \(N\) to be a commutative ring.\N\NExamples for such conditions are: \(d([N,N])=0\), or ``all expressions of the form \(d(x)y+yd(x)\) are in the multiplicative center of \(N\)'', and the like.\N\NIt is clear that a nearring with non commutative addition and zero multiplication admits many multiplicative derivations and is not a ring. Of course, it is not 3-prime, either. The example in the paper -- as far as I understand it -- shows exactly this.