Solution

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

The general Schur's lemma says that a homomorphism between simple modules over any unital ring is either zero or an isomorphism. Indeed, is a submodule of and is a submodule of . If , simplicity gives and . In particular, is a division ring.
For a complex algebra and a finite-dimensional simple module , the stronger conclusion is
For , the fundamental theorem of algebra gives an eigenvalue . The endomorphism has nonzero kernel, so the general Schur's lemma forces it to be zero. Consequently a homomorphism between two such simple modules is zero if they are nonisomorphic, and their homomorphism space is one-dimensional if they are isomorphic.
The finite-dimensional qualification is essential for this scalar conclusion. For example, the field is a complex algebra, simple as a module over itself, and its endomorphisms include multiplication by , which is not a complex scalar.

New to topics? Read the docs here!