Its proof depends on the classification of the finite simple groups. Brauer's height zero conjecture and the Alperin-McKay conjecture are also verified for finite groups with a T. I. Sylow p-subgroup.