Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/ii/paper-1/24h/b/solution

For an invertible , factor . The determinant's permutation expansion gives . Differentiating at zero yields
At a determinant-one matrix choose ; the derivative is one. Thus one is a regular value of the smooth determinant map on . The regular level set theorem makes a submanifold of codimension of a submanifold one, with
This includes , when has dimension zero.

New to topics? Read the docs here!