Описать все идеалы для алгебры ли t_n, состоящие из строго верхнетреугольных матриц. Легко доказать, что среди этих идеалов будут подходить множество матрицы, где под k-й, начиная с главной диагонали нули для любых k >= 0 если обозначить главную диагональ за нулевую. Пусть обозначим такие за d_k. (тип диагональ сверху). Но тогда неясно есть ли ещё какие-то множества. Например есть ли идеал, который содержит в себе не все матрицы d_k, при этом не являющийся d_(k + x). Т.е есть ли ещё какие-то подходящие идеалы. И если нет, то как доказать, что других нет.
|