For with real matrices , the same linear map viewed over the reals has block matrix in grouped real/imaginary coordinates. Interleaved coordinates merely permute the basis. Its complexification splits into the matrices and , giving the realification determinant identity.
The realification of a complex matrix has real determinant . Indeed the invertible complex coordinate change conjugates its complexified block matrix to . Taking determinants gives the identity, including singular matrices.
Articles by others on the same topic
There are currently no matching articles.