For , let with a lower triangular matrix acting by the scalar . These are pairwise nonisomorphic simple modules, since the diagonal matrix units distinguish them.
Let be the ideal of strictly lower triangular matrices. It is nilpotent, andis a semisimple algebra. Hence is the Jacobson radical; explicitly,
For the left regular module, the radical series of a module is obtained by multiplying by powers of the Jacobson radical:Products of matrix units show thatwith and . Thus each step removes one subdiagonal, and the Loewy length of is .
Order the simple modules as in part (i), so that records the th diagonal character. The quotient has basisFor , multiplication givesbecause every term below row lies on a lower subdiagonal. Hence the line generated by is , and the lines are independent. Therefore the radical layers of the lower triangular matrix algebra are
Articles by others on the same topic
There are currently no matching articles.