Brauer–Nesbitt theorem
= Brauer–Nesbitt theorem
{c}
{wiki}
The Brauer character of a finite-dimensional modular representation determines its semisimplification. More strongly, the irreducible Brauer characters are linearly independent as complex-valued functions on the p-regular conjugacy classes.