Solution

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

For a finite-dimensional module over , the radical of a module satisfies . Hence
and induction gives for every . A simple submodule of a direct sum projects into semisimple submodules of each summand, and equivalently
Thus the same argument, or induction through the defining quotients, gives
This 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 is
which 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!