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!