Let be a nonzero simple module for and let be the action of . Since is central, is a submodule, and . If , iterating would give , impossible. Thus .
The action therefore factors through . A simple module over a field is one-dimensional: the span of any nonzero vector is already a nonzero submodule. Conversely, with acting as zero is simple. Hence there is exactly one simple module up to isomorphism, namely
This argument covers all simple modules, without assuming their finite dimensionality in advance.

Articles by others on the same topic (0)

There are currently no matching articles.