Projective character (source code)

= Projective character

The Brauer character of a projective module over a group algebra is called a projective character. It is the restriction to p-regular elements of the ordinary character of a lifted projective lattice; that ordinary character vanishes on p-singular elements.