Como el determinante es el producto de los valores propios podemos concluir que el determinante de una matriz unitaria tiene modulo 1.