Defect-zero representation (source code)

= Defect-zero representation

A simple projective module over a split modular group algebra lies in a block of defect zero. It lifts uniquely to an ordinary irreducible character whose degree is divisible by the full p-part of the group order.