Brauer character inner product

ID: brauer-character-inner-product

For class functions on the p-regular elements of a finite group,
Equivalently, summing over p-regular conjugacy-class representatives gives weights .

New to topics? Read the docs here!