Solution

ID: past-exam-of-the-short-options-course-of-the-university-of-oxford/2014/4/d/solution

Apply the regular level set theorem to on the -dimensional vector space of real matrices. At a point with determinant one, part (b) gives . Choosing gives , so this derivative is surjective.
Hence the special linear group is a smooth submanifold of dimension . At the identity,
This is the special linear Lie algebra. When , the group is a single point and the tangent space is zero, consistent with the same formula.

New to topics? Read the docs here!