Additivity of the Lie exponential map
ID: additivity-of-the-lie-exponential-map
The Exponential map of a Lie group is a group homomorphism from the additive Lie algebra exactly when its identity component of a Lie group is abelian. If it is additive, its image is an abelian subgroup containing an identity neighborhood by the local exponential chart; connectedness makes that image the entire identity component. Conversely, in an abelian identity component the product is a one-parameter subgroup with derivative , giving the identity by uniqueness. The disconnected Lie group shows that the full group need not be abelian.
New to topics? Read the docs here!