We study almost inner derivations of $2$-step nilpotent Lie algebras of genus $2$, i.e., having a $2$-dimensional commutator ideal, using matrix pencils. In particular we determine all almost inner derivations of such algebras in terms of minimal indices and elementary divisors over an arbitrary algebraically closed field of characteristic not $2$ and over the real numbers.
Jacobson proved that if a Lie algebra admits an invertible derivation, it must be nilpotent. He also suspected, though incorrectly, that the converse might be true: that every nilpotent Lie algebra has an invertible derivation. We prove that a Lie algebra is nilpotent if and only if it admits an invertible Leibniz-derivation. The proofs are elementary in nature and are based on well-known techniques.
In this paper, we first study derivations in non nilpotent Lie triple algebras. We determine the structure of derivation algebra according to whether the algebra admits an idempotent or a pseudo-idempotent. We study the multiplicative structure of non nilpotent dimensionally nilpotent Lie triple algebras. We show that when $n=2p+1$ the adapted basis coincides with the canonical basis of the gametic algebra $G(2p+2,2)$ or this one obviously associated to a pseudo-idempotent and if $n=2p$ then the algebra is either one of the precedent case or a conservative Bernstein algebra.
We investigate almost inner derivations of some finite-dimensional nilpotent Leibniz algebras. We show the existence of almost inner derivations of Leibniz filiform non-Lie algebras differing from inner derivations, we also show that the almost inner derivations of some filiform Leibniz algebras containing filiform Lie algebras do not coincide with inner derivations.
In this paper we investigate pre-derivations of filiform Leibniz algebras. Recall that the set of filiform Leibniz algebras of fixed dimension can be decomposed into three non-intersected families. We describe the pre-derivation of filiform Leibniz algebras for the first and second families. We found sufficient conditions under which filiform Leibniz algebras are strongly nilpotent. Moreover, for the first and second families, we give the description of characteristically nilpotent algebras which are non-strongly nilpotent.
Let $K$ be an algebraically closed field of characteristic zero and $A$ an integral $K$-domain. The Lie algebra $Der_{K}(A)$ of all $K$-derivations of $A$ contains the set $LND(A)$ of all locally nilpotent derivations. The structure of $LND(A)$ is of great interest, and the question about properties of Lie algebras contained in $LND(A)$ is still open. An answer to it in the finite dimensional case is given. It is proved that any finite dimensional (over $K$) subalgebra of $Der_{K}(A)$ consisting of locally nilpotent derivations is nilpotent. In the case $A=K[x, y],$ it is also proved that any …
In this paper is devoted to nilpotent finite-dimensional evolution algebras E with $dimE^2 = dimE-1$. We described Lie algebras associated with evolution algebras whose nilindex is maximal. Moreover, in terms of this Lie algebra we fully construct nilpotent evolution algebra with maximal index of nilpotency. Furthermore, this result allowed us fully characterize all local and 2-local derivations of the considered evolution algebras. All automorphisms and local automorphisms of the nilpotent evolution algebras with maximal nilindex are found.
Moens proved that a finite-dimensional Lie algebra over field of characteristic zero is nilpotent if and only if it has an invertible Leibniz-derivation. In this article we prove the analogous results for finite-dimensional Malcev, Jordan, (-1,1)-, quasiassociative, quasialternative, right alternative and Malcev-admissible noncommutative Jordan algebras over the field of characteristic zero. Also, we describe all Leibniz-derivations of semisimple Jordan, right alternative and Malcev algebras.
In this paper we prove that every finite-dimensional nilpotent restricted Lie algebra over a field of prime characteristic has an outer restricted derivation whose square is zero unless the restricted Lie algebra is a torus or it is one-dimensional or it is isomorphic to the three-dimensional Heisenberg algebra in characteristic two as an ordinary Lie algebra. This result is the restricted analogue of a result of Tôgô on the existence of nilpotent outer derivations of ordinary nilpotent Lie algebras in arbitrary characteristic and the Lie-theoretic analogue of a classical group-theoretic resul…
W. A. Moens proved that a Lie algebra is nilpotent if and only if it admits an invertible Leibniz-derivation. In this paper we show that with the definition of Leibniz-derivation from W. A. Moens the similar result for non Lie Leibniz algebras is not true. Namely, we give an example of non nilpotent Leibniz algebra which admits an invertible Leibniz-derivation. In order to extend the results of paper W. A. Moens for Leibniz algebras we introduce a definition of Leibniz-derivation of Leibniz algebras which agrees with Leibniz-derivation of Lie algebras case. Further we prove that a Leibniz alge…
We study almost inner derivations of Lie algebras, which were introduced by Gordon and Wilson in their work on isospectral deformations of compact solvmanifolds. We compute all almost inner derivations for low-dimensional Lie algebras, and introduce the concept of fixed basis vectors for proving that all almost inner derivations are inner for $2$-step nilpotent Lie algebras determined by graphs, free $2$ and $3$-step nilpotent Lie algebras, free metabelian nilpotent Lie algebras on two generators, almost abelian Lie algebras and triangular Lie algebras. On the other hand we also exhibit famili…
Many theorems and formulas of Lie algebras run quite parallel to Lie superalgebra case, sometimes giving interesting results. So it is quite natural to extend the new concepts of Lie algebra immediately to Lie superalgebra case, as these type of algebras have wide applications in physics and related theories. Using the concept of isoclinism, F. Saeedi and S. Sheikh-Mohseni recently studied the central derivation of nilpotent Lie algebra with nilindex 2. The purpose of the present paper is to continue and extend the investigation to obtain some similar results for Lie superalgebras, as isoclini…
We continue the algebraic study of almost inner derivations of Lie algebras over a field of characteristic zero and determine these derivations for free nilpotent Lie algebras, for almost abelian Lie algebras, for Lie algebras whose solvable radical is abelian and for several classes of filiform nilpotent Lie algebras. We find a family of $n$-dimensional characteristically nilpotent filiform Lie algebras $\mathfrak{f}_n$, for all $n\ge 13$, all of whose derivations are almost inner. Finally we compare the almost inner derivations of Lie algebras considered over two different fields $K\supseteq…
Let $\mathbb K$ be a field of characteristic zero, $A$ an integral domain over $\mathbb K$ with the field of fractions $R = \text{Frac}(A),$ and $\text{Der}_{\mathbb{K}}A$ the Lie algebra of all $\mathbb K$-derivations on $A$. Let $W(A):=R\text{Der}_{\mathbb{K}} A$ and $L$ a nilpotent subalgebra of rank $n$ over $R$ of the Lie algebra $W(A).$ We prove that if the center $Z=Z(L)$ is of rank $\geq n-2$ over $R$ and $F=F(L)$ is the field of constants for $L$ in $R,$ then the Lie algebra $FL$ is contained in a locally nilpotent subalgebra of $ W(A)$ of rank $n$ over $R$ with a natural basis over t…
We extend existing results on locally nilpotent differential polynomial rings to skew extensions of rings. We prove that if $\mathscr{G}=\{σ_t\}_{t\in T}$ is a locally finite family of automorphisms of an algebra $R$, $\mathscr{D}=\{δ_t\}_{t\in T}$ is a family of skew derivations of $R$ such that the prime radical $P$ of $R$ is strongly invariant under $\mathscr{D}$, then the ideal $P\langle T,\mathscr{G},\mathscr{D}\rangle^*$ of $R\langle T,\mathscr{G},\mathscr{D}\rangle$, generated by $P$, is locally nilpotent. We then apply this result to algebras with locally nilpotent derivations. We prov…
Let B be an algebra over a field k and let Der(B) be the set of k-derivations from B to B. We define what it means for a subset of Der(B) to be a locally nilpotent set. We prove some basic results about that notion and explore the following questions. Let L be a Lie subalgebra of Der(B); if every element of L is a locally nilpotent derivation then does it follow that L is a locally nilpotent set? Does it follow that L is a nilpotent Lie algebra?
We answer a question by Shestakov on the Jacobson radical in differential polynomial rings. We show that if R is a locally nilpotent ring with a derivation D then R[X;D] need not be Jacobson radical. We also show that J(R[X;D])\cap R is a nil ideal of R in the case where D is a locally nilpotent derivation and R is an algebra over an uncountable field.
It has been conjectured by Gene Freudenburg that for a polynomial ring, the triangular Lie algebra is the maximal Lie algebra which lies in the set of locally nilpotent derivations of the ring. Also it was conjectured that each other maximal Lie algebra which lies in the set of locally nilpotent derivations of the polynomial ring is conjugated to the triangular Lie algebra. In the present work we prove the first part of this conjecture and provide the counterexample to the second part. Also we show that the second part of the conjecture holds for the maximal Lie algebras among locally nilpoten…
In commutative algebra, if $δ$ is a locally nilpotent derivation of the polynomial algebra $K[x_1,\ldots,x_d]$ over a field $K$ of characteristic 0 and $w$ is a nonzero element of the kernel of $δ$, then $Δ=wδ$ is also a locally nilpotent derivation with the same kernel as $δ$. In this paper we prove that the locally nilpotent derivation $Δ$ of the free associative algebra $K\langle X,Y\rangle$ is determined up to a multiplicative constant by its kernel. We show also that the kernel of $Δ$ is a free associative algebra and give an explicit set of its free generators.
A structure of a left-symmetric algebra on the set of all derivations of a free algebra is introduced such that its commutator algebra becomes the usual Lie algebra of derivations. Left and right nilpotent elements of left-symmetric algebras of derivations are studied. Simple left-symmetric algebras of derivations and Novikov algebras of derivations are described. It is also proved that the positive part of the left-symmetric algebra of derivations of a free nonassociative symmetric $m$-ary algebra in one free variable is generated by one derivation and some right nilpotent derivations are des…
Let $K$ be an arbitrary field of characteristic zero and $A$ a commutative associative $ K$-algebra which is an integral domain. Denote by $R$ the fraction field of $A$ and by $W(A)=RDer_{\mathbb K}A,$ the Lie algebra of $\mathbb K$-derivations of $R$ obtained from $Der_{\mathbb K}A$ via multiplication by elements of $R.$ If $L\subseteq W(A)$ is a subalgebra of $W(A)$ denote by $rk_{R}L$ the dimension of the vector space $RL$ over the field $R$ and by $F=R^{L}$ the field of constants of $L$ in $R.$ Let $L$ be a nilpotent subalgebra $L\subseteq W(A)$ with $rk_{R}L\leq 3$. It is proven that the …
Let $δ$ be a derivation of a locally nilpotent ring $R$. Then the differential polynomial ring $R[X; δ]$ cannot be mapped onto a ring with a non-zero idempotent. This answers a recent question by Greenfeld, Smoktunowicz and Ziembowski.
Let $R$ be a commutative ring and $\mathcal A$ an $R$-algebra. An $R$-$\mathcal E$-derivation of $\mathcal A$ is an $R$-linear map of the form $\operatorname{I}-ϕ$ for some $R$-algebra endomorphism $ϕ$ of $\mathcal A$, where $\operatorname{I}$ denotes the identity map of $\mathcal A$. In this paper we discuss some open problems on whether or not the image of a locally finite $R$-derivation or $R$-$\mathcal E$-derivation of $\mathcal A$ is a Mathieu subspace [Z2, Z3] of $\mathcal A$, and whether or not a locally nilpotent $R$-derivation or $R$-$\mathcal E$-derivation of $\mathcal A$ maps every …
Let K be a field and A be a commutative associative K-algebra which is an integral domain. The Lie algebra Der A of all K-derivations of A is an A-module in a natural way and if R is the quotient field of A, then RDer A is a vector space over R. It is proved that if L is a nilpotent subalgebra of RDer A of rank k over R (i.e. such that dim_{R}RL=k), then the derived length of L is at most k and L is finite dimensional over its field of constants. In case of solvable Lie algebras over a field of characteristic zero their derived length does not exceed 2k. Nilpotent and solvable Lie algebras of …
Grunewald and O'Halloran conjectured in 1993 that every complex nilpotent Lie algebra is the degeneration of another, non isomorphic, Lie algebra. We prove the conjecture for the class of nilpotent Lie algebras admitting a semisimple derivation, remaining open for the class of characteristically nilpotent Lie algebras. In dimension 7, where the first characteristically nilpotent Lie algebras appear, we prove the conjecture and we also exhibit explicit nontrivial degenerations to every 7-dimensional nilpotent Lie algebra.
We study Lie algebra prederivations. A Lie algebra admitting a non-singular prederivation is nilpotent. We classify filiform Lie algebras admitting a non-singular prederivation but no non-singular derivation. We prove that any 4-step nilpotent Lie algebra admits a non-singular prederivation. The results can be applied to construct affine structures on Lie algebras.
We prove that every local derivation on a finite-dimensional semisimple Lie algebra over an algebraically closed field of characteristic zero is a derivation. We also give examples of finite-dimensional nilpotent Lie algebras $\mathcal{L}$ with $\dim\mathcal{L}\geq 3$ which admit local derivations which are not derivations.
Let $\mathbb K$ be a field of characteristic zero and $A$ an integral domain over $\mathbb K.$ The Lie algebra $\Der_{\mathbb K} A$ of all $\mathbb K$-derivations of $A$ carries very important information about the algebra $A.$ This Lie algebra is embedded into the Lie algebra $R\Der_{\mathbb K} A\subseteq \Der_{\mathbb K}R$, where $R={\rm Frac}(A)$ is the fraction field of $A.$ The rank $rk_{R}L$ of a subalgebra $L$ of $R\Der_{\mathbb K} A$ is defined as dimension $\dim_R RL.$ We prove that every locally nilpotent subalgebra $L$ of $R\Der_{\mathbb K} A$ with $rk_{R}L=n$ has a series of ideals…
Let $K$ be an algebraically closed field of characteristic zero, $A = K[x_1,\dots,x_n]$ the polynomial ring, $R = K(x_1,\dots,x_n)$ the field of rational functions, and let $W_n(K) = \Der_{K}A$ be the Lie algebra of all $K$-derivations on $A$. If $D \in W_n(K),$ $D\not =0$ is linear (i.e. of the form $D = \sum_{i,j=1}^n a_{ij}x_j \frac{\partial}{\partial x_i}$) we give a description of the centralizer of $D$ in $W_n(K)$ and point out an algorithm for finding generators of $C_{W_n(K)}(D)$ as a module over the ring of constants in case when $D$ is the basic Weitzenboeck derivation. In more gener…
In this paper we investigate the derivations of filiform Leibniz algebras. Recall that the set of filiform Leibniz algebras of fixed dimension is decomposed into three non-intersected families. We found sufficient conditions under which filiform Leibniz algebras of the first family are characteristically nilpotent. Moreover, for the first family we classify non-characteristically nilpotent algebras by means of Catalan numbers. In addition, for the rest two families of filiform Leibniz algebras we describe non-characteristically nilpotent algebras, i.e., those filiform Leibniz algebras which li…
Let $\mathbb F$ be a field $\mathbb F $ of characteristic zero. Let $W_{n}(\mathbb F)$ be the Lie algebra of all $\mathbb F$-derivations with the Lie bracket $[D_1, D_2]:=D_1D_2-D_2D_1$ on the polynomial ring $\mathbb F [x_1, \ldots , x_n]$. The problem of classifying finite dimensional subalgebras of $W_{n}(\mathbb F)$ was solved if $ n\leq 2$ and $\mathbb F=\mathbb C$ or $\mathbb F=\mathbb R.$ We prove that this problem is wild if $n\geq 4$, which means that it contains the classical unsolved problem of classifying matrix pairs up to similarity. The structure of finite dimensional subalgebra…
Let $A$ be an algebra over a field $K$ of characteristic zero, let $\d_1, >..., \d_s\in \Der_K(A)$ be {\em commuting locally nilpotent} $K$-derivations such that $\d_i(x_j)=\d_{ij}$, the Kronecker delta, for some elements $x_1,..., x_s\in A$. A set of algebra generators for the algebra $A^\d:= \cap_{i=1}^s\ker (\d_i)$ is found {\em explicitly} and a set of {\em defining relations} for the algebra $A^\d$ is described. Similarly, given a set $\s_1, ..., \s_s\in \Aut_K(A)$ of {\em commuting} $K$-automorphisms of the algebra $A$ such that the maps $\s_i-{\rm id_A}$ are {\em locally nilpotent} and …
Let $K$ be a field of characteristic zero, $\mathcal A$ a $K$-algebra and $δ$ a $K$-derivation of $\mathcal A$ or $K$-$\mathcal E$-derivation of $\mathcal A$ (i.e., $δ=\operatorname{Id}_A-ϕ$ for some $K$-algebra endomorphism $ϕ$ of $\mathcal A$). Motivated by the Idempotent conjecture proposed in [Z4], we first show that for every idempotent $e$ lying in both the kernel ${\mathcal A}^δ$ and the image $\operatorname{Im}δ\!:=δ({\mathcal A})$ of $δ$, the principal ideal $(e)\subseteq \operatorname{Im} δ$ if $δ$ is a locally finite $K$-derivation or a locally nilpotent $K$-$\mathcal E$-derivation …
We consider finite-dimensional complex Lie algebras admitting a periodic derivation, i.e., a nonsingular derivation which has finite multiplicative order. We show that such Lie algebras are at most two-step nilpotent and give several characterizations, such as the existence of gradings by sixth roots of unity, or the existence of a nonsingular derivation whose inverse is again a derivation. We also obtain results on the existence of periodic prederivations. In this context we study a generalization of Engel-4-Lie algebras.
The present paper is devoted to local and 2-local derivations and automorphism of complex finite-dimensional simple Leibniz algebras. We prove that all local derivations and 2-local derivations on a finite-dimensional complex simple Leibniz algebra are automatically derivations. We show that nilpotent Leibniz algebras as a rule admit local derivations and 2-local derivations which are not derivations. Further we consider automorphisms of simple Leibniz algebras. We prove that every 2-local automorphism on a complex finite-dimensional simple Leibniz algebra is an automorphism and show that nilp…
We study solvable Lie algebras in prime characteristic $p$ that admit non-singular derivations. We show that Jacobson's Theorem remains true if the quotients of the derived series have dimension less than~$p$. We also study the structure of Lie algebras with non-singular derivations in which the derived subalgebra is abelian and has codimension~one. The paper presents some new examples of solvable, but not nilpotent, Lie algebras of derived length~3 with non-singular derivations.
In this paper, we focus on derivations and centroids of four dimensional associative algebras. Using an existing classification result of low dimensional associative algebras, we describe the derivations and centroids of four dimensional associative algebras. We also identify algebra(s) that belong to the characteristically nilpotent class among the algebras of four dimensional associative algebras.
We consider the structure of groups and algebras that can be represented as automorphisms or derivations of distributive products -- which includes nonassociative rings, modules, forms, and commutation of groups and nonassociative loops. In many ways this is too broad to be possible, for instance even naive structure, such as inner automorphisms and derivations, are undefined for general bilinear maps. The appeal for working in this generality is broad applicability. We introduce fundamental structures and prove several results akin to ones in ring theory, including theorems of Morita and of S…
In this paper we consider the problem of classifying the $(n-5)$-filiform Lie algebras. This is the first index for which infinite parametrized families appear, as can be seen in dimension $7.$ Moreover we obtain large families of characteristic nilpotent Lie algebras with nilpotence index 5 and show that at least for dimension 10 there is a characteristic nilpotent Lie algebra with nilpotence index 4 which is the algebra of derivations of a nilpotent Lie algebra.
In the paper we describe the derivations of two $\mathbb{N}$-graded infinity-dimensional Lie algebras $\mathbf{n}_1$ and $\mathbf{n}_1$ what are positive parts of affine Kats-Moody algebras $A^{(1)}_1$ and $A^{(2)}_2$, respectively. Then we construct all pro-solvable Lie algebras whose potential nilpotent ideals are $\mathbf{n}_1$ and $\mathbf{n}_2$. For two specific representatives of these classes low-dimensional (co)homology groups are computed.
In the present paper, every evolution algebra is endowed with Banach algebra norm. This together with the description of derivations and automorphisms of nilpotent evolution algebras, allows to investigated the set $\exp(Der(E))$. Moreover, it is proved that $\exp(Der(E))$ is a normal subgroup of $Aut(E)$, and its corresponding index is calculated.
In the present work we consider differential rings of the form $(\mathcal B,D)$ where $\mathcal B$ is a Danielewski surface and $D$ is a locally nilpotent derivation on $\mathcal B$. Influenced by several recent works, we describe the isotropy group of a locally nilpotent derivation, $D$, on Danielewski surfaces, in the cases $xy = φ(z)$, $x^ny=φ(Z)$, and $f(x)x = φ(z)$.
Let $K$ be a field of characteristic zero and $x$ a free variable. A $K$-$\mathcal E$-derivation of $K[x]$ is a $K$-linear map of the form $\operatorname{I}-ϕ$ for some $K$-algebra endomorphism $ϕ$ of $K[x]$, where $\operatorname{I}$ denotes the identity map of $K[x]$. In this paper we study the image of an ideal of $K[x]$ under some $K$-derivations and $K$-$\mathcal E$-derivations of $K[x]$. We show that the LFED conjecture proposed in [Z4] holds for all $K$-$\mathcal E$-derivations and all locally finite $K$-derivations of $K[x]$. We also show that the LNED conjecture proposed in [Z4] holds …