In [3] F.Ladish proved that a finite group G, admitting an element a with the
property G = [a, G] is solvable. Using this result M. shahryari in [4] proved
a similar theorem for Lie algebras in more general framework, he showed that
a finite dimensional Lie algebra L over a field of characteristic zero admitting
an abelian algebra of derivations D ≤ Der(L), with the following property
Ln ⊆
d∈D
d(L)
for some n > 1, is necessarily solvable.
In this work we consider some general properties of Leibniz algebra and its
derivation. We extend some results obtained for derivations of Lie algebras in
[4] to the case of Leibniz algebras.
It is worth noting that in 1955, Jacobson [2] proved essential theorem in which
every Lie algebra over a field of characteristic zero admitting a nonsingular
derivation is nilpotent.