Unitarization of a finite-group representation (source code)

= 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.