In mathematics, a Lie group homomorphism is a map between Lie groups

which is both a group homomorphism and a smooth map. Lie group homomorphisms are the morphisms in the category of Lie groups. In the case of complex Lie groups, one naturally requires homomorphisms to be holomorphic functions. In either the real or complex case, it is actually sufficient to only require the maps to be continuous. Every continuous homorphism between Lie groups turns out to be an analytic function.

An isomorphism of Lie groups is a homomorphism whose inverse is also a homomorphism. Equivalently, it is a diffeomorphism which is also a group homorphism.

Let be a Lie group homomorphism and let φ _* be its derivative at the identity. If we identify the Lie algebras of G and H with their tangent spaces at the identity then φ _* is a map between the corresponding Lie algebras:

One can show that φ _* is actually a Lie algebra homomorphism (meaning that it is a linear map which preserves the Lie bracket). In the language of category theory, we then have a functor from the category of Lie groups to the category of Lie algebras which sends a Lie group to its Lie algebra and a Lie group homomorphism to its derivative at the identity.

One of the most important properties of Lie group homorphisms is that the maps φ and φ _* are related by the exponential map. For all we have

In other words the following diagram commutes: