Full graph and complete Lie algebra, , 2003.10

Key words and phrases

d

-derivation,

d

-complete Lie algebra, complete Lie algebra, full graph MR(2000) Subject Classification: 17B45, 17B55, 17B56 Let

G

be a Lie algebra. We will introduce two concepts:

d

-derivation and

d

-center. Let

D e r (G)

be the derivation algebra of

G

d

-derivation of

G

, means a linear operator

L

from

D e r (G)

G

such that

\begin{matrix} L ([D_{1}, D_{2}]) = D_{1} (L (D_{2})) - D_{2} (L (D_{1})) \forall D_{1}, D_{2} \in D e r (G) \end{matrix}

(1).

We write

D

for the set of

d

-derivations.

The

d

-center of

G

, means the set

\begin{matrix} C_{d} (G) = . {g \in G : D (g) = 0 \forall D \in D e r (G)} \end{matrix}

(2).

For any

g \in G

, we can define a

d

-derivation

L_{g}

G

\begin{matrix} L_{g} (D) = - D (g) \forall D \in D e r (G) \end{matrix}

(3).

Such a

d

-derivation is called inner

d

-derivation.

For any two

d

-derivations

L_{1}

L_{2}

, define

[L_{1}, L_{2}]

\begin{matrix} [L_{1}, L_{2}] (D) = L_{1} (a d (L_{2} (D))) - L_{2} (a d (L_{1} (D))) \forall D \in D e r (G) \end{matrix}

(4),

then

[L_{1}, L_{2}]

is a

d

-derivation. And it is easy to check that (

D

,[,]) is a Lie algebra. If

C_{d} (G)

is trivial,

G

is a Lie subalgebra of

D

C_{d} (G)

is trivial and all

d

-derivations are inner,

G

is called

d

-complete. In this case, there is a isomorphic from

G

D

g \mapsto L_{g}

We have a homomorphic from

D e r (G)

to the derivation algebra

D e r (D)

D

by setting:

\begin{matrix} D (L) = . D \circ L - L \circ a d (D) \forall L \in D, D \in D e r (G) \end{matrix}

(5).

We can now define semidirect product

ℋ = D e r (G) \times_{t} D

, a Lie algebra, by

\begin{matrix} [(D_{1}, L_{1}), (D_{2}, L_{2})] = ([D_{1}, D_{2}], [L_{1}, L_{2}] + D_{1} (L_{2}) - D_{2} (L_{1})) \end{matrix}

(6).

We can make

ℋ

act on

C (G) = D e r (G) \times_{t} D

as derivations:

\begin{matrix} D_{(D, L)} (D_{1}, g) = ([D, D_{1}], D (g) + L (a d (g)) + L (D_{1})) \end{matrix}

(7).

In fact we have:

Theorem 1.

ℋ

is the derivation algebra

D e r (C (G))

of the full graph

C (G)

G

Proof. A direct calculation shows that 1.

D_{(D, L)}

is a derivation, 2.

[D_{(D_{1}, L_{1})}, D_{(D_{2}, L_{2})}] = D_{[(D_{1}, L_{1}), (D_{2}, L_{2})]}

, 3.

D_{(D, L)} = 0

if and only if

D = 0

and

L = 0

ℋ

is a Lie subalgebra of

D e r (C (G))

Now , we will show that every derivation

D

D e r (C (G))

is in

ℋ

. We write

D e r (G)

for

(D e r (G), 0)

and

G

for

(0, G)

. Write

D = (T_{1}, T_{2})

. First we show that

T_{1} | G = 0

\begin{matrix} D ([(0, g_{1}), (D, g_{2})]) = [D (0, g_{1}), (D, g_{2})] + [(0, g_{1}), D (D, g_{2})] \end{matrix}

(8),

we obtain

\begin{matrix} - T_{1} (D (g_{1})) + T_{1} ([g_{1}, g_{2}]) = [T_{1} (g_{1}), D] \end{matrix}

(9).

Formula (9) shows that

\begin{matrix} T_{1} | [G, G] = 0 \end{matrix}

(10)

and that

\begin{matrix} - T_{1} (D (g)) = [T_{1} (g), D] \end{matrix}

(11).

Therefore

[T_{1} (g), D] = 0 \forall D \in a d (G) .

T_{1} (g) = 0

and

T_{1} | G = 0

We have

T_{2} ([D_{1}, D_{2}]) = D_{1} (T_{2} (D_{2})) - D_{2} (T_{2} (D_{1})) .

T_{2} | D e r (G) = L \in D

By setting

\tilde{D} = D - D_{(0, L)}

, we may assume that

T_{2} | D e r (G) = 0

. We know that

T_{1} | D e r (G)

is a derivation of

D e r (G)

Since

T_{1} | G = 0

T_{2} | G

is a derivation

D^{^{'}}

G

. Now

D [(D, 0), (0, g)] = [(D, 0), D (0, g)] + [D (D, 0), (0, g)],

shows that

T_{2} (D (g)) = D (T_{2} (g)) + (T_{1} (D)) (g),

that is

T_{1} (D) = [D^{^{'}}, D] .

D = D_{(D^{^{'}}, 0)}

. We have now showed that

D \in ℋ

We have a easy lemma:

Lemma. The center of

C (G)

(0, C_{d} (G))

We have the following corollary of theorem 1 and the above lemma:

Theorem 2. A Lie algebra is

d

-complete if and only if its full graph is complete.

References: [1] Hsie B.Y., On complete Lie algebra, Science in China, in appear.

[2] Meng D.J., Complete lie algebra(in Chinese), BeiJing: Press of science,2001.

DEPARTMENT OF MATHEMATICS, PEKING UNIVERSITY, BEIJING, P.R. CHINA. E-mail address: xiebingyong1@sina.com.cn

Full graph and complete Lie algebra

BinYong HSIE { Department of Mathematics, PeKing University, BeiJing, 100871, P.R. China } E-mail:xiebingyong1@sina.com.cn

2003.10