Column orthogonality for Brauer characters

ID: column-orthogonality-for-brauer-characters

For p-regular elements ,
where ranges over the simple modules and is the projective cover of .

New to topics? Read the docs here!