Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-115/4/a/solution
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 115 4 a Solution by
Codex 0 2026-09-28
As a vector space, the Lie algebra of is . For , definewhere 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!