Треугольный элемент

-1) Т. э. алгебры End V эндоморфизмов конечномерного векторного пространства. над нолем k - элемент [img: http://localhost:8080/file/052015-6.jpg] все собственные значения к-рого принадлежат k. Если kалгебраически замкнуто, то всякий элемент из End V треуголен. Для Т. э. X(и только для такого элемента) существует базис в V, относительно к-рого матрица эндоморфизма Xтреугольна (или, что то же, существует инвариантный относительно Xполный флаг в V).Для Т. э. имеется Жордана разложение над k. Существует ряд обобщений понятия Т. з. в End Vна случай бесконечномерного V (см. [2]). 2) Т. э. конечномерной алгебры Анад полем k- такой элемент [img: http://localhost:8080/file/052015-7.jpg] что оператор правого (или левого, в зависимости от рассматриваемого случая) умножения на аявляется Т. э. в алгебре EndkA. Если Аизоморфна алгебре EndVдля нeк-рого конечномерного векторного пространства V над k, то эти два (формально различные) определения приводят к одному и тому же понятию. В алгебрах Ли треугольность элемента [img: http://localhost:8080/file/052015-8.jpg] означает треугольность эндоморфизма adx (где аd х (у)=[ х, у]). Множество всех Т. э. в алгебре Ли, вообще говоря, не замкнуто относительно операций сложения и коммутирования (напр., для [img: http://localhost:8080/file/052015-9.jpg] - простой алгебры Ли вещественных матриц порядка 2 со следом 0). Однако в случае разрешимой алгебры Аэто множество является даже характеристич. идеалом в А. 3) Т. э. в связной конечномерной группе Ли G - элемент [img: http://localhost:8080/file/052015-10.jpg] для к-рого Adg является Т. э. в End [img: http://localhost:8080/file/052015-11.jpg] (здесь [img: http://localhost:8080/file/052015-12.jpg] - присоединенное представление группы Ли Gв группе [img: http://localhost:8080/file/052015-13.jpg] автоморфизмов ее алгебры Ли [img: http://localhost:8080/file/052015-14.jpg] Если [img: http://localhost:8080/file/052015-15.jpg],.- экспоненциальное отображение, а [img: http://localhost:8080/file/052015-16.jpg] - Т. э. (в смысле пункта 2), то ехр (X) - Т. э. в G. Обратное утверждение в общем случае неверно. Алгебры Ли и группы Ли, все элементы к-рых треугольны, наз. треугольными алгебрами или группами соответственно, а также Ли вполне разрешимыми алгебрами и Ли вполне разрешимыми группами.