Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2011/paper-1/5/solution

A square matrix is invertible precisely when its determinant is nonzero. Equivalent conditions are full rank, a trivial kernel, and zero not being an eigenvalue.
For a lower triangular matrix, the first row has only the possibly nonzero entry . A Laplace expansion along that row gives , where the remaining principal submatrix is again lower triangular. Induction from the one-by-one case yields
This proof includes singular triangular matrices; it makes no division by diagonal entries.
For the diagonal example, put . Its determinant is , and invertibility requires . Write the complex number as with . A nonzero purely imaginary determinant requires . Thus
Equivalently ; the angle is understood modulo .
For skew-Hermitian matrices, reversing products under the conjugate transpose gives . Consequently
The latter condition is vanishing of the anticommutator. A universal choice for the last request is
Indeed , so the commutator of two skew-Hermitian matrices is skew-Hermitian.

New to topics? Read the docs here!