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 .
Articles by others on the same topic
There are currently no matching articles.