Average a positive-definite Hermitian form over a finite group and choose an orthonormal basis for the averaged form. In that basis every representing matrix is unitary.
Articles by others on the same topic
There are currently no matching articles.