Let be a representation over a splitting field of characteristic . For a p-regular element , the eigenvalues of on have order prime to . Lift them to characteristic-zero roots of unity by the Teichmuller lift; their sum is the Brauer character value .
New to topics? Read the docs here!