Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-10/3/i/solution
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 10 3 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
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 provesSince 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!