Exponential of a derivation on a Lie algebra
Let
is a Lie algebra automorphism.3 lie
Proof
Since for any
π₯ , π¦ β π€ e π ( π₯ ) e π ( π¦ ) = ( π β 1 β π = 0 π π π₯ π ! ) ( π β 1 β π = 0 π π π¦ π ! ) = 2 π β π = 0 ( π β π = 0 π π π₯ π ! π π β π π¦ ( π β π ) ! ) = 2 π β π = 0 π π ( π₯ π¦ ) π ! = π β π = 0 π π ( π₯ π¦ ) π ! = e π ( π₯ π¦ ) it follows
is a homomorphism, and an inverse is given by e π . e β π
Footnotes
-
where
. β©c h a r β‘ π = 0 -
i.e.
for someπ π = 0 . β©π β β -
1972. Introduction to Lie Algebras and Representation Theory, Β§2.3, pp. 8β9 β©