Exponential of a nilpotent Lie algebra derivation

ID: exponential-of-a-nilpotent-lie-algebra-derivation

Over a field of characteristic zero, a nilpotent operator which is a derivation of a Lie algebra exponentiates to a Lie algebra automorphism. The iterated rule
follows by induction using Pascal's identity. Regrouping the finite expansion of by total degree gives . The inverse is . This factorial construction must not be reduced naively to small positive characteristic.

New to topics? Read the docs here!