Post-Lie algebra structures for perfect Lie algebras

Abstract We study the existence of post-Lie algebra structures on pairs of Lie algebras (g,n), where one of the algebras is perfect non-semisimple, and the other one is abelian, nilpotent non-abelian, solvable non-nilpotent, simple, semisimple non-simple, reductive non-semisimple or complete non-perfect. We prove several nonexistence results, but also provide examples in some cases for the existence of a post-Lie algebra structure. Among other results we show that there is no post-Lie algebra structure on (g,n), where g is perfect non-semisimple, and n is sl3(C). We also show that there is no post-Lie algebra structure on (g,n), where g is perfect and n is reductive with a 1-dimensional center.


Introduction
Post-Lie algebras and Post-Lie algebra structures (or PA-structures) on pairs of Lie algebras have been studied in many areas of mathematics during the last years.PA-structures are a natural generalization of pre-Lie algebra structures on Lie algebras, which arise among other things from affine manifolds and affine actions on Lie groups, crystallographic groups, étale affine representations of Lie algebras, quantum field theory, operad theory, Rota-Baxter operators, and deformation theory of rings and algebras.There is a large literature on pre-Lie and post-Lie algebras, see for example [5-9, 12, 14, 18] and the references therein.For a survey on pre-Lie algebra respectively post-Lie algebra structures see [2,11].
In the present article we study the existence question of post-Lie algebra structures on pairs of Lie algebras (g, n), where one Lie algebra is perfect and the other one is abelian, nilpotent, solvable, simple, semisimple, reductive, complete or perfect.In all but three cases we can solve the existence question and generalize our previous results for semisimple Lie algebras to perfect Lie algebras.However, for these three cases of (g, n), namely where g is perfect non-semisimple, and n is either nilpotent, simple, or semisimple, we are not able solve the existence question in general.We conjecture that there do not exist post-Lie algebra structures in these cases.For some special families of examples we can prove this conjecture.
The outline of this paper is as follows.In the second section we provide basic results on perfect Lie algebras, including a classification of complex perfect Lie algebras of dimension n ≤ 9. We also recall the basic notions for post-Lie algebra structures.In the third section we study the existence question for pairs (g, n) where g is perfect.If n is nilpotent, then we show for perfect Lie algebras g of dimension 6, that there exist no post-Lie algebra structures on (g, n).We also prove, using the classification of complex perfect Lie algebras in low dimension, that there is no post-Lie algebra structure on (g, n), where n = sl 3 (C).We find post-Lie algebra structures on (g, n) for examples of reductive Lie algebras n, and show that such structures do not exist for reductive Lie algebras n with a 1-dimensional center.In the fourth section we study the existence question for pairs (g, n) where n is perfect.Here we often find post-Lie algebra structures and are able to solve the existence problem in all cases.

Preliminaries
Let g be a finite-dimensional Lie algebra over a field K. Denote by Z(g) the center of g, by rad(g) the solvable radical of g, and by nil(g) the nilradical of g.A Lie algebra g is called perfect, if g = [g, g].Every semisimple Lie algebra over a field of characteristic zero is perfect.The converse does not hold.It is well known that the solvable radical of a perfect Lie algebra is nilpotent.One can also give a necessary and sufficient condition for a Levi decomposition of g, so that g is perfect.
Proposition 2.1.Let g = s rad(g) be a Levi decomposition of a Lie algebra g and consider V = r/[r, r] with r = rad(g) as an s-module.Then g is perfect if and only if V does not contain the trivial 1-dimensional s-module.The lowest-dimensional example of a complex perfect non-semisimple Lie algebra is sl 2 (C) V( 2 Indeed, we have Z(g) = span{e 6 }, and g is not semisimple.The nilradical It follows from the Lie brackets that g is perfect.We also can derive this from Proposition 2.1.The quotient V = n 3 /[n 3 , n 3 ] is isomorphic to V(2) and does not contain the trivial 1-dimensional module V(1).Hence g is perfect.
In the study of PA-structures for perfect Lie algebras we are also interested in a classification of perfect Lie algebras in low dimensions.Turkowski has classified Lie algebras with non-trivial Levi decomposition up to dimension 8 over the real numbers in [16], where he lists explicit Lie brackets for all algebras.From this work it is not difficult to derive a classification of complex perfect Lie algebras of dimension n ≤ 8.We need to add one Lie algebra though, which Turkowski has not in his list.It is the complexification of the algebra L ε 8,13 for ε = 0, isomorphic to sl 2 (C) (V(2) ⊕ n 3 (C)).Turkowski only allows ε = ±1.There is another classification given by Alev, Ooms and Van den Bergh in [1], namely the classification of non-solvable algebraic Lie algebras of dimension n ≤ 8 over an algebraically closed field of characteristic zero.It also contains explicit Lie brackets for all algebras.Since perfect Lie algebras are algebraic, we obtain again a list of complex perfect non-semisimple Lie algebras of dimension n ≤ 8.This list coincides with the (corrected) one by Turkowski.Let n 5 (C) denote the 5-dimensional Heisenberg Lie algebra, with basis (e 1 , . . ., e 5 ) and Lie brackets The classification result is as follows.
Proposition 2.3.Every complex perfect non-semisimple Lie algebra of dimension n ≤ 8 is isomorphic to one of the following Lie algebras: Turkowski has also classified in [17] real and complex Lie algebras with non-trivial Levi decomposition in dimension 9.This yields a list of complex perfect Lie algebras of dimension 9. Denote by f 3,2 (C) the free-nilpotent Lie algebra with 3 generators and nilpotency class 2, and by A 6,4 (C) the 2-step nilpotent Lie algebra with basis (e 1 , . . ., e 6 ) and Lie brackets Then we have the following result.Proposition 2.4.Every complex perfect non-semisimple Lie algebra of dimension 9 is isomorphic to one of the following Lie algebras: In particular the nilradical of such an algebra always has nilpotency class c ≤ 2.
We recall the definition of a post-Lie algebra structure on a pair of Lie algebras (g, n) over a field K, see [5]: ) and n = (V, { , }) be two Lie brackets on a vector space V over K.A post-Lie algebra structure, or PA-structure on the pair (g, n) is a K-bilinear product x • y satisfying the identities: for all x, y, z ∈ V.
Define by L(x)(y) = x • y the left multiplication operators of the algebra A = (V, •).By (3), all L(x) are derivations of the Lie algebra (V, {, }).Moreover, by (2), the left multiplication is a linear representation of g.If n is abelian, then a post-Lie algebra structure on (g, n) corresponds to a pre-Lie algebra structure, or left-symmetric structure on g.In other words, if {x, y} = 0 for all x, y ∈ V, then the conditions reduce to i.e., x • y is a pre-Lie algebra structure on the Lie algebra g.
For semisimple Lie algebras n we have the following result on PA-structures on pairs (g, n), see Proposition 2.14 in [5].
Proposition 2.6.Let n be a semisimple Lie algebra.Then a pair (g, n) admits a PA-structure if and only if there is an injective Lie algebra homomorphism ϕ : g → n ⊕ n such that the map (p 1 − p 2 ) |g : g → n is bijective.Here p i : n ⊕ n → n denotes the projection onto the i-th factor for i = 1, 2.
Let us denote the composition of p i and ϕ by We also recall the following results, see Propositions 2.14 and 2.21 in [9].
Proposition 2.7.Let (g, n) be a pair of Lie algebras, where n is complete.Then there is a bijection between PA-structures on (g, n) and Rota-Baxter operators R of weight 1 on n.Every such PA-structure is then of the form x • y = {R(x), y}.If g and n are not isomorphic, then both ker(R) and ker(R + id) are nonzero ideals in g.
Here a Rota-Baxter algebra operator, for a nonassociative algebra over a field K, of weight λ ∈ K is a linear operator R : for all x, y ∈ A.

PA-structures with g perfect
In this section we study the existence question of PA-structures on pairs of complex Lie algebras (g, n), where g is perfect non-semisimple.We consider 7 different cases for n, namely (a) n is abelian, (b) n is nilpotent non-abelian, (c) n is solvable non-nilpotent, (d) n is simple, (e) n is semisimple non-simple, (f ) n is reductive non-semisimple, and (g) n is complete non-perfect.
We start with case (a).

Proposition 3.1.
There is no PA-structure on a pair (g, n), where g is perfect and n is abelian.
Proof.A PA-structure on a pair (g, n), where n is abelian, corresponds to a left-symmetric (or pre-Lie algebra) structure on g.By Corollary 21 of [15] there is no such structure on a perfect Lie algebra.
For case (b) we only have partial results so far.In Proposition 3.6 of [7] we have proved that there is no post-Lie algebra structure on (g, n), where g is perfect of dimension 5, namely g = sl 2 (C) V( 2), and n is nilpotent.We can generalize this result to perfect Lie algebras g of dimension 6.According to Proposition 2.3, the non-semisimple perfect Lie algebras of dimension 6 are given by sl 2 (C) V(3) and sl 2 (C) n 3 (C).Proposition 3.2.Let (g, n) be a pair of Lie algebras, where g is either sl 2 (C) V(3) or sl 2 (C) n 3 (C), and n is nilpotent.Then there is no PA-structure on (g, n).
Proof.Let g = sl 2 (C) a and assume that there exists a PA-structure on (g, n), with the homomorphism L : g → Der(n) given as in Definition 2.5.Let ϕ : g → n Der(n) be the embedding defined by x → (x, L(x)).We claim that ker(L)∩sl 2 (C) = 0. Suppose that this intersection is nonzero.Since it is an ideal in the simple Lie algebra sl 2 (C), this implies that ker(L)∩sl 2 (C) = sl 2 (C), so that sl 2 (C) ⊆ ker(L).In particular, we have L(s) = 0 for all s ∈ sl n (C).By axiom (1) in Definition 2.5 it follows that Hence n has a subalgebra isomorphic to sl 2 (C).This is impossible, because n is nilpotent, so that the claim follows.
We have shown in the proof of Theorem 3.3 in [12] that the Lie algebra n h, with has a direct vector space sum decomposition Since ϕ(g) and h are homomorphic images of a perfect Lie algebra, they are perfect.Hence n h is perfect.Let s = L(sl 2 (C)) and r = L(a).Then we have h = s r.Since ker(L) ∩ sl 2 (C) = 0, s is nonzero and semisimple.Hence dim(s) = 3 and s ∼ = sl 2 (C).So In case (c), we have proved the following result in Proposition 4.4 of [5].

Proposition 3.4.
There is no PA-structure on a pair (g, n), where g is perfect and n is solvable non-nilpotent.
For case (d) we start with low-dimensional simple Lie algebras n.There is no pair (g, n) with n ∼ = sl 2 (C) and g perfect non-semisimple, since the only perfect Lie algebra in dimension 3 is simple.The next case is to consider pairs (g, n), where n ∼ = sl 3 (C) and g is a perfect non-semisimple Lie algebra of dimension 8.We start with the following result.Lemma 3.5.Let i : sl 2 (C) V(2) → sl 3 (C) be an injective Lie algebra homomorphism.By conjugating with a matrix in GL 3 (C) we may assume that the image of i is of the form Proof.The vector space C 3 becomes an sl 2 (C)-module via the embedding i restricted to sl 2 (C).Hence either In the first case we can choose a basis of by using the natural representation i(e 1 ) = E 12 , i(e 2 ) = E 21 and i(e 3 ) = E 11 −E 22 for the basis (e 1 , e 2 , e 3 ) of sl 2 (C).A short computation shows that when such a representation extends to sl 2 (C) V( 2), we obtain one of the forms for im(i) as described above.
In the second case we may assume that i(e  Proof.It is enough to show the claim for columns.We obtain the result for rows by applying the isomorphism of Lie algebras sl 3 (C) → sl 3 (C), given by X → −X T , to the result for columns.We will give the proof for c 3 • j.The other two cases are similar.Note that C 3 is an sl 2 (C)-module via j.
Hence the map c i • j is actually the map Because of dim sl 2 (C) = dim C 3 the annihilator of any vector is non-trivial by Lemma 4.1 in [6], so that the map c 3 • j is not injective.
Lemma 3.7.Let s 1 and s 2 be Lie algebras isomorphic to sl 2 (C).Then the ideals of the Lie algebra g = s 1 ⊕ (s 2 V( 2)) are given by Proof.It is clear that all of these subspaces are ideals in g.Conversely, assume that a is an ideal in g.If a ∩ s 1 = 0, then s 1 ⊆ a and a/s 1 is an ideal of g/s 1 ∼ = s 2 V(2).But the only ideals of s 2 V(2) are 0, V(2) and s 2 V(2).So, if a ∩ s 1 = 0 then all ideals are given by s 1 , s 1 ⊕ V(2) and g.Now suppose that a ∩ s 1 = 0. We claim that then a ⊆ s 2 V(2).Indeed, suppose that there exists an element x in a \ (s 2 V( 2)).We can write x = x 1 + x 2 with x 1 ∈ s 1 and x 2 ∈ s 2 V(2), where x 1 = 0.There exists a y ∈ s 1 such that [y, s 1 ] = 0, so that 0 = [y, x] = [y, 2), which leads to the ideals 0, V(2) and s 2 V(2).As sl 3 (C) is a direct vector space sum of a and b we must have that the row projection map r 3 : b → C 3 is bijective in the first case, and the column projection map c 3 : b → C 3 is bijective in the second case.However, by Lemma 3.6, this is impossible.
Proof.Assume that there exists a PA-structure on (g, n) with n = sl 3 (C).Let us write g = s 1 ⊕ (s 2 V(2)).By Proposition 2.6 there exists an injective Lie algebra homomorphism j : g → n ⊕ n, x → (j 1 (x), j 2 (x)) such that j 1 − j 2 is a bijective linear map.We will examine the possible kernels of j 1 .Since ker(j 1 ) is an ideal in g, it must be one of the six possibilities given in Lemma 3.7.
Case 1: ker(j 1 ) = 0. Then j 1 : g → n is an isomorphism.Since g is not semisimple, this is a contradiction.
Case 2: ker(j 1 ) = g.Then j 1 is the zero map.Since j 1 −j 2 has to be bijective, j 2 : g → n is an isomorphism.This is impossible.
Case 6: ker(j 1 ) = s 1 .Then s 1 is not contained in ker(j 2 ).So from the six possibilities for the ideal ker(j 2 ), there are left 0, V(2) and s 2 V(2).We already know that ker(j 2 ) must be nonzero.Also, ker(j 2 ) = V( 2) leads to a contradiction as in case 3. Finally ker(j 2 ) = s V(2) and ker(j 1 ) = s 1 is exactly the symmetric situation to case 5, and so also leads to a contradiction.Now we can prove the following result.Theorem 3.10.Let (g, n) be a pair of Lie algebras, where g is perfect non-semisimple and n = sl 3 (C).Then there is no PA-structure on (g, n).
Proof.Denote by s a Levi subalgebra of g.Then either s ∼ = sl 2 (C) ⊕ sl 2 (C) or s ∼ = sl 2 (C).In the first case we have g ∼ = sl 2 (C)⊕(sl 2 (C) V( 2)) by Proposition 2.3.Then the claim follows by Proposition 3.9.In the second case, by Proposition 2.3, g ∼ = sl 2 (C) r, where r is isomorphic to one of the following five Lie algebras Again we are using the maps j i : g → n, and assume that j 1 − j 2 is bijective.In the first two cases, either j 1 or j 2 must be injective on the factor V(3), respectively V( 5).This contradicts the fact that sl 3 (C) does not contain an abelian subalgebra of dimension n ≥ 3.
Assume that r ∼ = V(2) ⊕ n 3 (C).We will look again at the possibilities for ker(j 1 ).If it has a non-trivial Levi factor, then ker(j 1 ) = g, so that j 2 : g → n is bijective.This is a contradiction.Hence we may assume that ker(j 1 ) is solvable, so that it is contained in V(2) ⊕ n 3 (C).Here we can view ker(j 1 ) both as a subalgebra and as a submodule of V( 2 2) cannot occur as an ideal, since there is no subalgebra corresponding to it.So we have the following possibilities for ker(j 1 ) as a submodule: Case 1: ker(j 1 ) = 0. Then j 1 is an isomorphism.This is a contradiction.Case 3: ker(j 1 ) ∼ = n 3 (C).Since ker(j 1 ) ∩ ker(j 2 ) = 0, it follows that j 2 induces an injective homomorphism sl 2 (C) ker(j 1 ) → sl 3 (C), which is impossible as in case 2.
Assume that r ∼ = n 5 (C).We claim that at least one of the maps j 1 , j 2 must be injective on n 5 (C).Otherwise j 1 (Z(n 5 (C)) = j 2 (Z(n 5 (C)) = 0, so that (j 1 − j 2 ) | Z(n 5 (C)) = 0, which is a contradiction to the fact that j 1 − j 2 is bijective.So we may assume that j 1 or j 2 is injective.This is impossible since n 5 (C) contains a 3-dimensional abelian subalgebra, but sl 3 (C) does not have one.
Finally assume that r ∼ = f 2,3 (C).Then again at least one of the maps j 1 , j 2 must be injective on r.If j 1 is not injective on r, then Z(r) ∩ ker(j 1 ) = 0. We claim that Z(r) ⊆ ker(j 1 ).In fact, every ideal a of g satisfying a ∩ Z(r) = 0 also satisfies Z(r) ⊆ a.To see this, note that that Z(r) = [r, [r, r]], and that the action of sl 2 (C) on [r, r]/[r, [r, r]] is trivial, since the quotient is 1-dimensional.It follows that the action of sl 2 (C) on Z(r) coincides with the action on r/[r, r].By Proposition 2.1 it has no trivial 1-dimensional submodule, since g is perfect.This also implies that Z(r) has no trivial 1-dimensional submodule, so that dim(a ∩ Z(r)) ≥ 2. Since dim Z(r) = 2 it follows that Z(r) ⊆ a. Hence if both j 1 and j 2 are not injective on r, the center Z(r) is contained in ker(j 1 ) and ker(j 2 ), so that (j 1 − j 2 ) | Z(r) = 0.This is a contradiction.Consequently, j i : f 2,3 (C) → sl 3 (C) is an injection for some i, contradicting the fact that f 2,3 (C) has a 3-dimensional abelian subalgebra, but sl 3 (C) does not have one.
It is not clear how to generalize this proof for other simple Lie algebras n.
For case (e) we can prove the following general result.Proposition 3.11.Let (g, n) be a pair of Lie algebras, where g is perfect non-semisimple and n is semisimple.Assume that we have a Levi decomposition g = s V, where s is a simple subalgebra and V is an irreducible s-module, considered as abelian Lie algebra.Then there is no PA-structure on (g, n).
Proof.Suppose that there exists a PA-structure on (g, n).Then by Proposition 2.7 it is of the form x • y = {R(x), y} for a Rota-Baxter operator R : g → n of weight 1 on n.Moreover, since g and n are not isomorphic, both ker(R) and ker(R + id) are nonzero ideals of g with ker(R) ∩ ker(R + id) = 0.
We will show that the only ideals of g = s V are 0, V, g.Then it is clear that V is contained in the above intersection, so that V = 0.This is a contradiction.So let a be an ideal of g.Then we obtain a Levi decomposition for a by a = (a ∩ s) (a ∩ V).Since a ∩ s is an ideal in s, and s is simple, we have either a ∩ s = 0 or a ∩ s = s.Also, since a ∩ V is an s-submodule of V and V is irreducible, we have either a ∩ V = 0 or a ∩ V = V.
Case 1: a ∩ V = 0. Then a = a ∩ s is either zero or s.It follows that either a = 0 or a = s.But s is not an ideal in g, so that we obtain a = 0.
Case 2: a ∩ V = V.Then a = (a ∩ s) V, which means either a = V or a = g.
So we obtain V = 0 and hence a contradiction.
For n = sl 2 (C) ⊕ sl 2 (C) we obtain a further result for case (e).In Theorem 4.1 of [9] we have classified all Lie algebras g, such that the pair (g, n) with n = sl 2 (C) ⊕ sl 2 (C) admits a PA-structure.Here we have used the theory of Rota-Baxter operators.It is easy to see that none of the eight cases for g in this classification yields a perfect, non-semisimple Lie algebra.Hence we obtain the following result.Proposition 3.12.Let (g, n) be a pair of Lie algebras, where g is perfect non-semisimple and n = sl 2 (C) ⊕ sl 2 (C).Then there is no PA-structure on (g, n).
For case (f ) consider the perfect non-semisimple Lie algebra g = sl 2 (C) V (2).Let (e 1 , . . ., e 5 ) be a basis of g with sl 2 (C) = span{e 1 , e 2 , e 3 }, V( 2 Here n is reductive with a 2-dimensional center.Such examples are impossible when n is reductive with a 1-dimensional center, as the following result shows.Proposition 3.14.Let (g, n) be a pair of Lie algebras, where g is perfect and n is reductive with a 1dimensional center.Then there is no PA-structure on (g, n).
Proof.Assume that there exists a PA-structure x • y = L(x)(y) on (g, n).Then by Proposition 2.11 in [5] we have an injective Lie algebra homomorphism Writing h = L(g) we obtain a direct vector space decomposition n h = ϕ(g) h.Note that h is nonzero.Since g is perfect and ϕ and L are homomorphisms, ϕ(g) and h are perfect subalgebras of n h.Hence also ϕ(g) h is perfect, see the proof of Lemma 2.3 in [13], so that n h is perfect.By assumption we have n = [n, n]⊕Z(n), where s = [n, n] is semisimple and Z(n) is 1-dimensional.Since the commutator and the center of n are characteristic ideals in n, and n is an ideal in n h, both [n, n] and Z(n) are ideals in n h.We claim that [Z(n), h] = 0 for the Lie bracket in n h.Since Z(n) is an ideal in n h, we have [h, Z(n)] ⊆ Z(n), so that Z(n) is a 1-dimensional h-module.However, for a perfect Lie algebra, every 1-dimensional module is trivial.The proof is the same as for a semisimple Lie algebra.Hence we obtain For case (g) we have the following result.
Proposition 3.15.Let (g, n) be a pair of Lie algebras, where g is perfect and n is complete non-perfect.Then there is no PA-structure on (g, n).
Proof.Assume that there exists a PA-structure on (g, n).Since n is complete, this PA-structure is given by x • y = {R(x), y} for a Rota-Baxter operator R of weight 1.Because g is perfect, it follows by Corollary 2.20 in [9] that n is also perfect.This is a contradiction.

PA-structures with n perfect
In this section we study the existence question of PA-structures on pairs of complex Lie algebras (g, n), where n is perfect non-semisimple.We consider 7 different cases for g, namely (a) g is abelian, (b) g is nilpotent non-abelian, (c) g is solvable non-nilpotent, (d) g is simple, (e) g is semisimple non-simple, (f ) g is reductive non-semisimple, and (g) g is complete non-perfect.
For case (a) we have the following result.

Proposition 4.1.
There is no PA-structure on a pair (g, n), where g is abelian and n is perfect.
Proof.Any PA-structure on (g, n) with g abelian corresponds to an LR-structure on n.However, every Lie algebra admitting an LR-structure is 2-step solvable by Proposition 2.1 in [4].Hence there exists no PA-structure on (g, n).
For case (b) we have the following result.

Proposition 4.2.
There is no PA-structure on a pair (g, n), where g is nilpotent non-abelian and n is perfect.
Proof.Assume that there is a PA-structure on (g, n).Since g is nilpotent, n must be solvable by Proposition 4.3 in [5].This is a contradiction.
For case (c), consider the perfect non-semisimple Lie algebra n = sl 2 (C) V( 2) with the Lie brackets given before Example 3.13.We have a decomposition n = n 1 n 2 into subalgebras n 1 = span{e 1 , e 4 , e 5 } and n 2 = span{e 2 , e 3 }.Then by Propositions 2.7 and 2.13 in [9], the Rota-Baxter operator R given by R(x + y) = −y for all x ∈ n 1 , y ∈ n 2 defines a PA-structure on the pair (g, n), where g For the cases (d) and (e) we have the following result.

Proposition 4.4.
There is no PA-structure on a pair (g, n), where g is semisimple and n is perfect nonsemisimple.
Proof.Assume that there exists a PA-structure on (g, n), where g is semisimple.Then by Theorem 3.3 in [12], g is isomorphic to n.This is a contradiction.
For case (f ) we have the following example.Here g is complete non-perfect, and the Lie brackets of g are given by the standard brackets for sl 2 (C) = span{e 1 , e 2 , e 3 }, and by [e 4 , e 5 ] = e 4 for r 2 (C) = span{e 4 , e 5 }.
Theorem 5.1.The existence table for post-Lie algebra structures on pairs (g, n) is given as follows: A checkmark only means that there is some non-trivial pair (g, n) of Lie algebras with the given algebraic properties admitting a PA-structure.A dash means that there does not exist any PA-structure on such a pair.Recall that the classes are (to avoid unnecessary overlap) abelian, nilpotent non-abelian, solvable non-nilpotent, simple, semisimple non-simple, reductive non-semisimple and complete nonperfect.

Lemma 3 . 6 .
Let j : sl 2 (C) → sl 3 (C) be an injective Lie algebra homomorphism.Denote by c i : gl 3 (C) → C 3 the projection of a matrix in gl 3 (C) to its i-th column, and by r i : gl 3 (C) → C 3 the projection to its i-th row.Then none of the linear maps c i • j, r i • j : sl 2 (C) → C 3 for i = 1, 2, 3 is bijective.

Finally
, for case (g) we have the following example.

(g, n) n abe n nil n sol n sim n sem n red n com n per g
[7]]e s n is a perfect Lie algebra of dimension 9.By Proposition 2.4, the nilpotency class c(n) of n is at most 2. Proposition 4.2 of[5]says, that if (g, n) admits a post-Lie algebra structure, and c(n) ≤ 2, then g admits a pre-Lie algebra structure.Since g is perfect, this is impossible by Corollary 21 of[15].Let us again state the last result used in the proof, see also Proposition 3.3 in[7].Let (g, n) be a pair of Lie algebras, where g is perfect and n is 2-step nilpotent.Then there exists no PA-structure on (g, n).
r) n is perfect and has nilradical m = r n.By Proposition 2.1, m/[m, m] does not contain the trivial 1dimensional s-module V(1).Since n ⊆ m, also n/[n, n] ⊆ m/[m, m] does not contain the trivial 1dimensional s-module V(1).