Unitarization of a finite-group representation
ID: unitarization-of-a-finite-group-representation
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.
New to topics? Read the docs here!