Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-115/4/a/solution

As a vector space, the Lie algebra of is . For , define
where is left translation on a Lie group. This vector field is smooth and left-invariant because . The assignment is linear and injective by evaluation at . Conversely, every left-invariant vector field satisfies , so it equals . Hence the map is an isomorphism.

New to topics? Read the docs here!