Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-10/3/i/solution

Put , where ranges over all maximal left ideals. For each such , the action on the simple module has a primitive ideal as its kernel. An element of that kernel annihilates , so . The intersection of all primitive ideals is consequently contained in every , hence .
Conversely, take and any nonzero simple module . For every nonzero , simplicity makes the evaluation map , , surjective. Its kernel is a maximal left ideal, so it contains . Thus for every nonzero , and also for zero. The element therefore belongs to the annihilator of every simple module, hence to every primitive ideal. This proves
Since the primitive ideals are two-sided ideals, this argument also makes a two-sided ideal, despite the one-sided ideals in this alternative description.

New to topics? Read the docs here!