Realification of a complex matrix

ID: realification-of-a-complex-matrix

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.

New to topics? Read the docs here!