実交代行列は対角化できて、０以外の固有値は +iλ, -iλ (λ: 実数) がペアになってあらわれる