Für Darstellungen endlicher Gruppen kann man ein gegebenes Skalarprodukt stets durch ein invariantes ersetzen, in dem man ersetzt durch So können wir ohne Einschränkung annehmen, dass alle im Weiteren betrachteten Darstellungen unitär sind.