Block idempotents centralize a normal p-subgroup

ID: block-idempotents-centralize-a-normal-p-subgroup

For a normal p-subgroup , every central idempotent of satisfies . Indeed a nonfixed conjugation orbit sum maps to zero in , so belongs to the nilpotent ideal . Normality makes the Brauer image a central idempotent of , and two central idempotents congruent modulo a nilpotent ideal coincide. Consequently the blocks of a group algebra of correspond to -orbits of blocks of .

New to topics? Read the docs here!