Past exam of the mathematics course of the University of Cambridge / 2004 / iii / Paper 20 / 3 / i

An isomorphism of Lie algebras identifies the local multiplication laws of the identity components. In exponential coordinates the local product is governed by the Baker--Campbell--Hausdorff formula,A bracket-preserving linear isomorphism carries this law to the corresponding law in the other Lie algebra. Thus the identity components are locally isomorphic. This statement is local; the exponential coordinates need not cover the whole group.

The stronger global description uses a universal covering Lie group. The universal cover of a connected Lie group acquires a group law by lifting multiplication with a chosen identity; uniqueness of lifts supplies associativity and inversion. The covering map is a local diffeomorphism and a Lie group homomorphism, with discrete kernel. That kernel is central: conjugation of one of its elements gives a continuous map from the connected covering group into a discrete set, so it is constantly that element.

By integration of the given Lie algebra isomorphism and its inverse on simply connected covers, these covers are isomorphic. Their two compositions have identity differential and therefore are identity maps by the preceding uniqueness argument. Consequently, for some connected simply connected Lie group $\tilde{G}$,where ${\Gamma }_1,{\Gamma }_2$ are discrete central subgroups. Different quotients need not be isomorphic. The additive group $\mathbb{R}$ and the circle group $\mathbb{R}/2\pi \mathbb{Z}$ have the same one-dimensional Lie algebra but different compactness and fundamental groups. Another familiar pair is the SU(2) group and the SO(3) group, with the latter the quotient of the former by $\{I,-I\}$.

Thus isomorphic Lie algebras give isomorphic connected simply connected groups, and identify arbitrary identity components up to discrete central quotients. For disconnected groups the Lie algebra also omits the group of components and its conjugation and extension data. For example $\mathbb{R}\times F$, for any finite group $F$, always has Lie algebra $\mathbb{R}$, while its component group is $F$.