Derivation rings of Lie rings (Q2278999): Difference between revisions

The author of this article studies generalized derivations of a Lie ring \(\left(A,+,[,]\right)\). That is to say, an additive mapping \(f\) of \(A\) and a derivation \(g\) of \(A\) such that \(f\left[X,Y\right]=\left[fX,Y\right]+\left[X,gY\right]\) for all \(X,Y\in A\). In this sense, a generalized derivation of \(A\) can be identified by \(\left(f,g\right)\). It's true that \(\left(g,g\right)\) is a derivation of \(A\) and if we denote resp. by \(\mathrm{Der}\left(A\right)=D\) and \(\mathrm{GDer}\left(A\right)=G\) the Lie ring of resp. derivations and generalized derivations of \(A\), \(D\subset G\). A similar definition as that of inner derivation was made for generalized derivation if \(g\) is an inner derivation. The paper defines \(D\)-primality resp. \(D\)-semi-primality of \(A\) (as a generalization of resp. primality and semi-primality of an ideal of Lie ring) and this notion implies resp. the primality and the semi-primality of \(D\). Moreover, it is defined in the same way the \(G\)-simplicity and the \(G\)-primarity of an ideal (as a generalization of resp. simplicity and primarity of an ideal of Lie ring). Let us define \(M\left(A\right)\) the set of additive mapping \(h\) of \(A\) such that \(\left[X,h\right]=0\) for all \(X\in A\). The author shows that resp. the primality, semi-primality, simplicity, primarility of \(G/M\left(A\right)\) implies resp. the \(G\)-primality, \(G\)-semi-primality, \(G\)-simplicity, \(G\)-primarility of the center of \(A\). Several interesting results around these topics are written in this paper.