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!