Realification determinant identity
ID: 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.
New to topics? Read the docs here!