Solution

ID: past-exam-of-the-introduction-to-representation-theory-course-of-the-university-of-oxford/2023/1/a/ii/solution

Construct the sum successively, retaining a simple module only when it adds a new direct summand. Suppose is already expressed as a direct sum of modules selected from these simple modules. The intersection is a submodule of the simple module , so it is either zero or all of . In the latter case . In the former case
Starting with and proceeding by mathematical induction gives a direct sum of modules equal to . Thus the sum is a semisimple module. The argument proves the useful finite sum of simple submodules lemma without claiming that the originally listed submodules are themselves independent.

New to topics? Read the docs here!