On generalized semiderivations in 3-prime near-rings. (Q2805946)

Let \(N\) be a zero-symmetric left near-ring with multiplicative center \(Z(N)\). A semiderivation \(d\) on \(N\) is an additive map \(d\colon N\to N\) for which there exists a map \(g\colon N\to N\) such that \(d(xy)=xd(y)+d(x)g(y)=g(x)d(y)+d(x)y\) and \(d(g(x))=g(d(x))\) for all \(x,y\in N\); we say that \(g\) is the associated map of \(d\). A generalized semiderivation on \(N\) is an additive map \(F\colon N\to N\) with associated semiderivation \(d\) such that \(F(xy)=F(x)y+g(x)d(y)=d(x)g(y)+xF(y)\) for all \(x,y\in N\), where \(g\) is the associated map of \(d\).NEWLINENEWLINE The authors assume whenever they mention a generalized semiderivation that \(g\) is an epimorphism of \(N\). Motivated by known results on derivations or semiderivations they prove that a 3-prime near-ring, usually assumed to be 2-torsion free, must be a commutative ring if it admits a suitably-constrained generalized semiderivation. One theorem asserts that a 2-torsion free 3-prime near-ring must be a commutative ring if it admits a generalized semiderivation \(F\) for which \(F(N)\subseteq Z(N)\).