The approach in this section is based on theorems that, in turn, are based on the fundamental Lie correspondence. The Lie correspondence is in essence a dictionary between connected Lie groups and Lie algebras. The link between them is the exponential mapping from the Lie algebra to the Lie group, denoted exp : g → → G .