Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/ib/paper-2/10f/c/solution

If is a Hermitian matrix, then , so preserves . Addition and multiplication by real scalars commute with this operation, making a real linear map.
A real basis of consists of and, for , and . It has elements and is also a complex basis of all matrices. Indeed every matrix is uniquely with Hermitian matrices, by taking
Real linear independence of the displayed basis therefore implies complex linear independence. Since its images under are Hermitian matrices, the matrix of in this complex basis has exactly the same real entries as the matrix of in the real basis. Their determinants are equal. There is no further squaring when passing to this real subspace:
This is the determinant of Hermitian congruence, including the case of singular .

New to topics? Read the docs here!