A block idempotent is a primitive central idempotent . The module lies in the corresponding block of a group algebra when
equivalently when every other block idempotent annihilates .
If lies in , then the centrality of makes both its submodule and quotient lie in . Conversely, suppose and . Then maps to zero in , so . But , and applying the idempotent once more gives
Thus , proving

Articles by others on the same topic (0)

There are currently no matching articles.