複素行列だと
((1,i),(-i,1))は正則じゃ無いから成立しないね
その場合交代行列じゃ無くて歪エルミートならいいか