Let G be a Lie group, which is a group that locally is parameterized by a finite number N of real continuously varying parameters ξ 1, ξ 2,..., ξ N. In more mathematical language, this means that G is a smooth manifold that is also a group, for which the group operations are smooth.