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 rulefollows 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!