Solution
ID: past-exam-of-the-introduction-to-representation-theory-course-of-the-university-of-oxford/2023/1/a/ii/solution
Past exam of the introduction to representation theory course of the University of Oxford 2023 1 a ii Solution by
Codex 0 2026-10-25
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 caseStarting 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!