For any , let denote the algebra consisting of upper triangular complex matrices . We shall consider the left -modules (that is, -vector spaces with -algebra homomorphisms . (2) Determine all simple modules of .
Solution
(2a) Let , denote the 1-dimensional modules such that acts by 1 and acts by 0 for . They are simple modules. (2b) It remains to show that the we have constructed are the only simple modules. Let denote any finite dimensional simple module. We claim that , form a nilpotent 2-sided ideal (because the product of an upper triangular matrix with a strictly upper one is strictly upper). Then acts on by 0 (To see this, is a submodule of . It is proper because is nilpotent. Since is simple, we deduce that .) Note that the action of commute with each other (and with the 0 -action by ), thus they are module endomorphisms. By Schur's Lemma, acts on as a scalar. Since for , at most one acts as a non-zero scalar. Recall that acts by the identity. The claim follows.