Solution

ID: past-exam-of-the-algebra-course-of-the-university-of-oxford/2007/a/2/solution

A simple module is nonzero and has no submodules other than zero and itself. A semisimple module is a direct sum of simple submodules; the zero module is allowed as the empty sum.
For (1)(2), argue by dimension. Choose a minimal nonzero submodule , which is simple, and split using (1). The property passes to : for , write ; then . Apply induction to and append . The zero-dimensional case starts the induction. The implication (2)(3) is immediate. For (3)(2), repeatedly append a simple submodule not contained in the sum already chosen. Its intersection with that sum is zero by simplicity. Dimension strictly increases, so after finitely many steps their direct sum is .
For (2)(1), write and fix . Choose a sum of a maximal subset of these whose sum is disjoint from . If , some is not contained in , so simplicity gives . Then is a larger direct sum still disjoint from , a contradiction. Hence .
Condition (1) implies (1*). Conversely suppose (1*) and let be the sum of all simple submodules. If , finite dimension supplies a maximal proper submodule containing . By (1*), . Projection to the simple quotient identifies the nonzero complement with a simple module. Thus , contradicting the direct sum. Consequently , which is (3). This proves all four conditions are equivalent.
For the concrete complement, . Orthogonal idempotents and give : the sum follows from , and right multiplication by shows their intersection is zero. In explicit matrix form,
The decomposition of uses second-column remainders in .

New to topics? Read the docs here!