Lie Groups

8.1 Definition A Lie group G is a group which is at the same time a smooth manifold such that the maps μ: G × G → G and ν: G → G given by the group operations μ (g, h) − gh and v(g) = g−¹ are smooth. The unit element of G is denoted by e.