Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-138/5/b/ii/solution
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 138 5 b ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
We prove . The central block idempotents split every finite-dimensional module into its block components. A nonzero indecomposable representation, in particular an indecomposable projective module, has only one such component; otherwise these give a nontrivial direct-sum decomposition.
Every Jordan–Hölder factor of a module in a block belongs to that block, since its central idempotent acts as identity on submodules and quotients. Thus any two simple factors of the same projective indecomposable are in the same block. Applying this along the proposed chain yields .
New to topics? Read the docs here!