Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-138/5/a/solution

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

New to topics? Read the docs here!