МАЛЬЦЕВА АЛГЕБРА


МАЛЬЦЕВА АЛГЕБРА

м у ф а н г л и е в а алгебра,- линейная алгебра над полем, удовлетворяющая тождествам

где - якобиан элементов х, у, z.M. а. представляют собой естественное обобщение алгебр Ли. Любая М. а. является бинарно лиевой алгеброй.

М. а. были введены А. И. Мальцевым [1] и названы им муфанг-лиевыми алгебрами ввиду их связи с аналитич. лупами Муфанг. Касательная алгебра локальной аналитич. лупы Муфанг является М. а. Верно также и обратное: любая конечномерная М. а. над полным нормированным полем характеристики 0 является касательной алгеброй нек-рой локальной аналитич. лупы Муфанг.

Имеется тесная связь между М. а. и альтернативными алгебрами (см. Альтернативные кольца и алгебры). Коммутаторная алгебра произвольной альтернативной алгебры, т. е. алгебра, получаемая заменой основного умножения на операцию коммутирования

является М. а.

Всякая простая М. а. характеристики либо лиева, либо есть 7-мерная алгебра над своим центроидом. Всякая первичная М. а. (при ) либо лиева, либо вкладывается в качестве подкольца в подходящую 7-мерную простую алгебру над нек-рым полем. Произвольная полупервичная М. а. (при ) изоморфно вкладывается в качестве подалгебры в коммутаторную алгебру нек-рой альтернативной алгебры. Вопрос о вложении произвольной М. а. в коммутаторную алгебру альтернативой алгебры открыт (1982).

Пусть Z(А) - лиев центр М. а. А:

Для любого идеала I произвольной полупервичной М. а. А(при )

Свойства алгебраич. М. а. аналогичны свойствам алгебраич. алгебр Ли. В произвольной алгебраич. М. а. (при ) существует локально конечный радикал, т. е. максимальный локально конечный идеал, факторалгебра по к-рому не содержит локально конечных идеалов. М. а. характеристики или р=0, удовлетворяющие n-му условию Энгеля (см. Энгелева алгебра), локально нильпотентны. Различие между М. а. и алгебрами Ли проявляется при переходе от локальной нильпотентности к глобальной. Имеется пример М. а. (р=0), удовлетворяющей 3-му условию Энгеля, разрешимой индекса 2, но не нильпотентной.

Для М. а. имеется аналог теоремы Энгеля, играющей большую роль в структурной теории алгебр Ли: М. а., удовлетворяющая условию Энгеля и условию максимальности для подалгебр, нильпотентна. Этот результат справедлив даже в более общем случае - для бинарно лиевых алгебр.

Во всякой свободной М. а. (при ) имеется ненулевой лиев центр. Свободная М. а. (при ) с тремя и более образующими не является первичной алгеброй. Свободная М. а. (при р=0) с девятью и более образующими содержит тривиальные идеалы.

Если Rn - многообразие М. а., порожденное свободной М. а. от побразующих и р=0, то цепочка многообразий

не стабилизируется ни на каком конечном шаге.

Значительно развита теория конечномерных М. а. и их представлений. Основные результаты этой теории аналогичны результатам теории алгебр Ли. Имеются аналоги классич. теорем Ли: если r - расщепляемое представление разрешимой М. а. характеристики 0, то все матрицы r(х).могут быть приведены одновременно к треугольному виду; если r - расщепляемое представление нильпотентной М. а. в пространстве V, то V разлагается в прямую сумму весовых подпространств Va, и все матрицы ограничений операторов r(х).на Va. могут быть приведены одновременно к треугольному виду с числом a(x) на главной диагонали.

Следующие результаты аналогичны критериям Кар-тана разрешимости и полупростоты алгебр Ли: если r - точное представление М. а. ( р=0).и билинейная форма на А, ассоциированная с представлением r, тривиальна, то алгебра Аразрешима; если r - представление полупростой М. а., то форма следа, ассоциированная с r, невырождена. Если киллингова форма алгебры Аневырождена, то Аполупроста.

Любое представление полупростой М. а. с р=0вполне приводимо. Если S - радикал (максимальный разрешимый идеал) М. а. А, N - нильрадикал (максимальный нильпотентный идеал), то для любого дифференцирования Dалгебры А

Произвольная конечномерная М. а. Ахарактеристики 0 есть прямая сумма (как линейных пространств) своего радикала Sи полупростой подалгебры В, изоморфной факторалгебре алгебры Апо радикалу S, и любые для полупростых фактора сопряжены внутренним автоморфизмом (аналог теоремы Леви - Мальцева - Хариш-Чандра, известной для алгебр Ли).

Лит.: [1] М а л ь ц е в А. И., "Матем. сб.", 1955, т. 36, № 3, с. 569-76; [2] S a g l е A. A., "Trails. Amer. Math. Soc.", 1961, v. 101, X" 3, p. 426-58; [3] К у з ь м и н Е. Н., "Алгебра и логика", 1968, т. 7, № 2, с. 42-47; [4] е г о же, там же, № 4, с. 48-69; [5] е г о же, там же, 1971, т. 10, № 1, с. 3-22; [6] его же, там же, 1977, т. 16, № 4, с. 424-31; [7] Филиппов В. Т.. там же, 1976, т. 15, № 1, с. 89-109; [8] е г о же, там же, 1977, т. 16, № 1, с. 101-108; [9] Г р и ш к о в А. Н., там же, № 4, с. 389-96; [10] Шестаков И. П., там же, № 2, с. 227 - 46. В. Т. Филиппов.



Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "МАЛЬЦЕВА АЛГЕБРА" в других словарях:

  • Алгебра Валя — (или Алгебра Валентины)  неассоциативная алгебра M над полем F, в которой бинарная мультипликативная операция подчиняется следующим аксиомам: 1. Условию антисимметричности: для всех . 2. Тождеству Валентины: для всех , где k=1,2,…,6, и …   Википедия

  • ЛИ РАЗРЕШИМАЯ АЛГЕБРА — алгебра Ли над полем К, удовлетворяющая одному из следующих эквивалентных условий: 1) члены производного ряда для равны {0} при достаточно большом k; 2).существует конечная убывающая цепочка идеалов алгебры таких, что и (т. е. алгебры Ли абелевы) …   Математическая энциклопедия

  • СВОБОДНАЯ АССОЦИАТИВНАЯ АЛГЕБРА — алгебра многочленов (со свободными членами) над полем k от некоммутирующих переменных X. Свойство универсальности определяет алгебру единственным с точностью до изоморфизма образом: существует отображение такое, что любое отображение Xв нек рую… …   Математическая энциклопедия

  • Универсальная алгебра — Не следует путать с универсальной алгеброй  одним из видов структур, изучаемых данным разделом математики. Универсальная алгебра  раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими… …   Википедия

  • ЛИ АЛГЕБРА — лиева алгебра, унитарный k модуль Lнад коммутативным кольцом k с единицей, к рый снабжен билинейным отображением прямого произведения в L, обладающим следующими двумя свойствами: 1) [ х, х] = 0 (откуда вытекает антикоммутативность 2) ( х,[ у,… …   Математическая энциклопедия

  • Коммутантно-ассоциативная алгебра — Коммутантно ассоциативная алгебра  неассоциативная алгебра M над полем F, в которой бинарная мультипликативная операция подчиняется следующим аксиомам: 1. Тождеству коммутантной ассоциативности: , для всех . где   коммутатор элементов A …   Википедия

  • КОНЕЧНОМЕРНАЯ АССОЦИАТИВНАЯ АЛГЕБРА — ассоциативное кольцо А, являющееся одновременно конечномерным векторным пространством над полем F, в к ром выполняется следующее условие для всех и Размерность пространства Анад полем Fназ. размерностью алгебры Анад F. Принято также говорить, что …   Математическая энциклопедия

  • ГРУППОВАЯ АЛГЕБРА — группы G над полем K ассоциативная алгебра над полем К, элементами к рой являются всевозможные формальные конечные суммы вида а операции определяются формулами: (в правой части второй формулы сумма также конечна). Эта алгебра обозначается… …   Математическая энциклопедия

  • ВЕДДЕРБЕРНА - МАЛЬЦЕВА ТЕОРЕМА — пусть А конечномерная ассоциативная алгебра над полем Fс радикалом N и пусть факторалгебра A/N сепарабельная алгебра (для алгебр над полем характеристики 0 это всегда выполнено); тогда алгебра Аразлагается (как линейное пространство) в прямую… …   Математическая энциклопедия

  • АНТИКОММУТАТИВНАЯ АЛГЕБРА — линейная алгебра над полем, в к рой выполняется тождество Если характеристика поля отлична от 2, то тождество (*) равносильно тождеству Всякая подалгебра свободной А. а. свободна. Важнейшими многообразиями А. а. являются Ли алгебры, Мальцева… …   Математическая энциклопедия

Книги

Другие книги по запросу «МАЛЬЦЕВА АЛГЕБРА» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.