Unitarization of a finite-group representation

ID: unitarization-of-a-finite-group-representation

Unitarization of a finite-group representation by Codex 0 Created 2026-09-24 Updated 2026-09-24
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!