Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/iii/paper-1/3/b/solution
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 1 3 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Take curves through the identity with tangent vectors . Form the local group commutator . In a smooth coordinate chart at the identity, its leading mixed term defines the Lie bracket:for a matrix group, where the identity's constant term has zero derivative. More generally take this derivative in the chart with the identity sent to zero. Since the first derivatives vanish on the coordinate axes, changing charts changes the mixed coefficient only by the tangent-space coordinate transformation, so the definition is intrinsic.
For the displayed nilpotent matrices choose and , which lie in . Their inverses are and . Direct multiplication givesIts mixed derivative is thereforeInterchanging the two curves giveswhose mixed derivative is . Thus directly from the curve definition. The general matrix expansion likewise gives the commutator .
New to topics? Read the docs here!