Generalized derivations of Lie algebras (Q1570873)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generalized derivations of Lie algebras |
scientific article |
Statements
Generalized derivations of Lie algebras (English)
0 references
30 May 2001
0 references
Let \(L\) be a finite dimensional Lie algebra with multiplication given by \(\mu\). The authors study the generalized derivations of \(L\), \(\text{GenDer}(L)\), consisting of the elements \(f\in\Hom(L,L)\) such that there exist \(f',f''\in\Hom(L,L)\) satisfying \(\mu(f(x),y)+\mu(x,f'(y))=f''(\mu(x,y))\) for all \(x,y\in L\). This set is a Lie algebra and contains the algebra of derivations, \(\text{Der}(L)\), and the centroid, \(C(L)\). The authors also study the quasiderivations of \(L\), \(Q\operatorname {Der}(L)\), consisting of the elements \(f\in \Hom(L,L)\) such that there exists \(f'\in \Hom(L,L)\) satisfying \(\mu(f(x),y)+\mu(x,f(y))=f'(\mu(x,y))\) for all \(x,y\in L\) and the quasicentroid of \(L\), \(QC(L)\), consisting of the elements \(f\in \Hom(L,L)\) satisfying \(\mu(f(x),y)=\mu(x,f(y))\) for all \(x,y\in L\). The authors prove a number of theorems regarding relations among these objects. For instance, in characteristic not equal to \(2\), GenDer\((L)=Q\text{Der}(L)+QC(L)\). If it is also assumed that the center of \(L\) is trivial, then \(C(L)=QC(L)\cap Q\operatorname {Der}(L)\) and, under reasonable conditions on Lie algebras with toral Cartan subalgebras, they also show \(Q\operatorname {Der}(L)=\operatorname {Der}(L)+C(L)\). In the special case of characteristic \(0\) and \(L\) a parabolic subalgebra of a simple Lie algebra of rank bigger than \(1\), the authors prove \(\operatorname {GenDer}(L)=ad(L)+(I_L)\). Again assuming that the center of \(L\) is trivial, it is shown that \(QC(L)\) is a commutative, associative algebra and conditions are given forcing \(QC(L)=C(L)\) and \(\operatorname {GenDer}(L)=Q\operatorname {Der}(L)\). Additionally, in characteristic \(0\), they show \(\operatorname {GenDer}(L)\) preserves the radical of \(L\). Finally they apply some of these results to study functions \(f\in \Hom(L,L)\) satisfying \(f\circ\mu\) or \(\mu\circ(f\wedge I_L)\) defines a Lie multiplication.
0 references
finite-dimensional Lie algebra
0 references
generalized derivation
0 references
algebra of derivations
0 references
centroid
0 references
quasiderivations
0 references
quasicentroid
0 references
toral Cartan subalgebras
0 references
Lie multiplication
0 references
0 references