Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-138/1/b/solution
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 138 1 b Solution by
Codex 0 2026-10-03
For a finite-dimensional module over , the radical of a module satisfies . Henceand induction gives for every . A simple submodule of a direct sum projects into semisimple submodules of each summand, and equivalentlyThus the same argument, or induction through the defining quotients, givesThis is radical and socle series of a direct sum.
Now let be a finite -group and let have characteristic . The group algebra of a p-group in characteristic p is local, with unique simple module . The socle of its regular module iswhich is one-dimensional. If with both summands nonzero, finite length gives nonzero socles for and , and the direct-sum identity would make at least two-dimensional. Therefore
New to topics? Read the docs here!