Solution

ID: past-exam-of-the-lie-groups-and-differentiable-manifolds-course-of-the-university-of-oxford/2008/a/2/b/solution

For fixed , set . The homomorphism property gives and . Its initial derivative is . The one-parameter subgroup uniqueness theorem gives
For the Adjoint representation, . Thus
The differential is a real linear map of Lie algebras; the bracket identity follows by differentiating the compatibility of conjugation with .

New to topics? Read the docs here!