A block idempotent is a primitive central idempotent . The module lies in the corresponding block of a group algebra whenequivalently 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 givesThus , proving
Articles by others on the same topic
There are currently no matching articles.