Integration theorem. Let GG be a connected , let HH be a Lie group, and let

φ:Lie(G)Lie(H)\varphi:\operatorname{Lie}(G)\to\operatorname{Lie}(H)

be a Lie algebra homomorphism. Then there is a unique Lie group homomorphism Φ:GH\Phi:G\to H such that dΦe=φd\Phi_e=\varphi.

Consequently, if GG and HH are connected and simply connected and their Lie algebras are , then GG and HH are isomorphic as Lie groups.

Existence of a simply connected Lie group integrating a finite-dimensional real Lie algebra is guaranteed by .