CC BY
28
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 14 Выпуск 3 (2013)
УДК 512.554.32
О РАЗЛИЧНЫХ ОПРЕДЕЛЕНИЯХ АРТИНОВОСТИ ДЛЯ АЛГЕБР ЛИ
Е. В. Мещерина (г. Оренбург)
Аннотация
В работе рассматриваются соотношения между различными определениями артиновости.
Ключевые слова: алгебра Ли, подалгебра, внутренний идеал, артинова Ли алгебра.
ON THE DIFFERENT DEFINITIONS OF ARTINIANESS FOR LIE ALGEBRAS
E. V. Mescherina (Orenburg)
Abstract
The different definitions of an artinaness are considered in the article.
Keywords: Lie algebra, subalgebra, inner ideal, artinian Lie algebra.
Понятие артиновости играет важную роль в теории колец.
Ассоциативное кольцо R называется право (лево) артиновым, если любая убывающая цепочка его правых (левых) идеалов идеалов - стабилизируется [1], [2].
Известны примеры право, но не лево артиновых колец [1].
В дальнейшем, говоря артинова алгебра или артиново кольцо мы будем иметь в виду правую артиновость.
Понятие артиновости используется как одно из условий конечности (конечномерности).
Так, например, радикал Джекобсона артинова кольца является нильпотент-ным, полупростая артинова алгебра является прямой суммой простых артиновых подалгебр, артинова простая алгебра изоморфна алгебре матриц над телом [2].
Ситуация для алгебр Ли отличается. Любой идеал алгебры Ли является двусторонним.
Артиновость для алгебр Ли через идеалы определяли Ю.А. Бахтурин [3], С. А. Пихтильков [4] и В. М. Поляков [5]. Они рассматривали специальные г-артиновы алгебры Ли.
В 1963 г. В. Н. Латышев ввел новый класс алгебр Ли [6], которые он назвал специальными по аналогии с йордановыми алгебрами.
Скажем, что алгебра Ли Ь специальная алгебра Ли, если существует ассоциативная РІ-алгебра А такая, что Ь вложена в А(— как алгебра Ли, где А(— - алгебра Ли, заданная на А с помощью операции коммутирования [х,у] = ху — ух.
Возможно лучшим аналогом одностороннего идеала для алгебр Ли являются подалгебры или внутренние идеалы.
Понятие внутреннего идеала для йордановых алгебр было введено Н. Дже-кобсоном [7]. Дж. Бенкарт по аналогии ввела внутренний идеал для алгебр Ли [8].
Скажем, что подпространство В алгебры Ли Ь является внутренним идеалом, если [В, [В,Ь]] С В.
Ф. Лопес, Е. Гарсия, Г. Лозано исследовали понятие внутреннего идеала применительно к артиновости с помощью йордановых пар [9], [10].
Рассмотрим определения артиновости в трех смыслах.
Пусть Ь — алгебра Ли.
а) Если убывающая цепочка идеалов стабилизируется, то алгебра называется г-артиновой;
б) если убывающая цепочка алгебр стабилизируется, то алгебра называется а-артиновой;
в) если убывающая цепочка внутренних идеалов стабилизируется, то алгебра называется гпп-артиновой.
В работе [11] приведен пример бесконечномерной гпп-артиновой алгебры Ли.
Пусть Г — поле характеристики нуль, К - бесконечномерное алгебраически замкнутое расширение поля Г.
Алгебра Ли Ь = вї2К, бесконечномерная над Г, является гпп-артиновой алгеброй Ли.
Можно отметить, что алгебра Ь содержит бесконечномерную абелеву подалгебру.
Следовательно, алгебра Ли Ь не является а-артиновой.
Мы установили, что из гпп-артиновости может не следовать а-артиновость.
Легко проверить, что из гпп-артиновости следует г-артиновость и из а-арти-новости следует г-артиновость.
В работе [11] также приведен пример, показывающий что из г-артиновости может не следовать а-артиновость.
Пусть Г — поле характеристики нуль,
К = Г(хьх2, ...,хп, ...) — поле рациональных функций от счетного числа коммутирующих переменных
х1, х2, •", хп ***
Обозначим через L алгебру Ли матриц порядка 2 над полем K со следом нуль L = sl2(K). Будем рассматривать L как алгебру Ли над полем F.
Идеалы I является векторными пространствами над K.
Следовательно, алгебра Ли L является i-артиновой.
Адгебра L содержит бесконечную убывающую цепочку подалгебр над F: sl2(F [X1,X2,...]) З sl2(F [X21,X3, ...]) З ... З sl2(F [Xn,Xn+1, ...]) З ...,
и не является а-артиновой.
В работе [ll] приведен пример показывающий, что из i-артиновости не следует inn-артиновость.
Пусть V векторное пространство над полем F и W - подпространство V с базисом e1,e2,..., en,... , где dim V/W = то.
Обозначим через Wn подпространство, порожденное векторами en,en+1,.... Получим W = W1 .
Пусть L = L(V)(-) алгебра Ли, полученная из полной алгебры линейных отображений V с помощью операции коммутирования [x, y] = xy-yx. Известно, что L — простая алгебра Ли.
Обозначим через In множество линейных отображений f : V ^ V таких, что f (V) С Wn, f (W) = 0.
Можно проверить, что подпространства In,n = 1, 2,... — являются внутренними идеалами.
Цепочка внутренних идеалов I1 З I2 З ... З In З ... простой алгебры Ли L является строго убывающей, бесконечной.
Следовательно, алгебра Ли L является i-артиновой, но не является inn-артиновой.
Представляют интерес примеры бесконечномерных а-артиновых алгебр Ли.
Известно, что многие результаты переносятся с групп на алгебры Ли.
Для групп существуют даже абелевы бесконечные группы удовлетворяющие условию минимальности для подгрупп. Такие группы называются квазицикли-ческими.
Примером такой группы может служить мультипликативная группа комплексных корней уравнений xp = 1,n = 1, 2,... для простого числа p.
Все подгруппы квазициклических групп конечны. О. Ю.Шмидт сформулировал проблему о существовании бесконечных неабелевых групп все, подгруппы которых конечны.
Эта проблема была решена А. Ю. Ольшанским [l2].
Для алгебр Ли ситуация отличается. Все абелевы а-артиновы алгебры Ли — конечны.
В работе [l3] показано, что все специальные алгебры Ли с условием максимальности на абелевы подалгебры — конечномерны.
Условие максимальности на абелевы подалгебры означает отсутствия бесконечных абелевых подалгебр. Условие максимальности на абелевы подалгебры эквивалентно условию минимальности на абелевы подалгебры.
Из [13] следует, что все специальные а-артиновы алгебры Ли — конечномерны.
Алгебра Ли Ь называется первичной, если из равенства нулю взаимного коммутанта [П,У] = 0 любых двух идеалов Ц и V следует, что Ц = 0 или V = 0.
Идеал Р алгебры Ли Ь называется первичным, если фактор-алгебра Ь/Р — первична.
Алгебра Ли Ь называется полупервичной, если если она не содержит ненулевых абелевых идеалов.
Естественно поставить следующий вопрос.
Вопрос 1. Существуют ли бесконечномерные а-артиновы алгебры Ли?
Ответ на этот вопрос неизвестен автору. Пример из [12] построен с помощью геометрических методов в теории групп. Его перенесение в на алгебры Ли пока не удается выполнить.
Основным результатом работы является сведение вопроса 1 к следующему вопросу.
Вопрос 2. Существуют ли первичные бесконечномерные а-артиновы алгебры Ли?
Теорема 1. Вопросы 1 и 2 для алгебр Ли — эквивалентны.
Для доказательства теоремы 1 нам потребуется лемма.
Лемма 1. Пусть Ь — полупервичная алгебра Ли над полем Г такая, что любая абелева подалгебра в Ь — конечномерна. Тогда
1) Ь не содержит бесконечных множеств попарно не пересекающихся идеалов;
2) Ь удовлетворяет условию обрыва возрастающих цепей аннуляторных идеалов;
3) каждый максимальный аннуляторный идеал в Ь является первичным;
4) множество максимальных аннуляторных идеалов в Ь — конечно и их пересечение равно нулю.
Доказательство теоремы. Из вопроса 2 вопрос 1 следует непосредственно из формулировок.
Докажем следование в дургую сторону.
Пусть Ь — бесконечномерная а-артинова алгебра Ли. Обозначим через Я ее первичный радикал.
В работе [14] показано, что первичный радикал а-артиновой алгебры Ли разрешим.
Существование г-артиновой алгебры Ли, первичный радикал которой не является разрешимым представляет проблему А.В. Михалева, ответ на которую до сих пор неизвестен.
В работе [14] дается решение ослабленной проблемы А.В. Михалева для гпп-артиновых и а-артиновых алгебр Ли.
Легко проверить, что подалгебра и гомоморфный образ а-артиновой алгебры Ли являются а-артиновыми.
Из а-артиновости Я следует а-артиновость абелевой алгебры Я/[Я, Я]. Следовательно алгебра Я/[Я, Я] — конечномерна.
Рассмотрим члены производного ряда алгебры Я:
Я = [Я, Я],Я(к+1) = [Я(к),Я(к)],к = 1, 2,... .
Рассуждая аналогично покажем конечномерность факторов Я(к/Я(к=1 производного ряда алгебры Я.
Из разрешимости Я следует, что Я(п = 0 для некоторого натурального п.
Мы доказали конечномерность первичного радикала Я.
Рассмотрим фактор-алгебру Ь = Ь/Я.
Алгебра Ли Ь является бесонечномерной, полупервичной, а-артиновой.
Согласно лемме 1, в алгебре Ли Ь находится конечное число первичных идеалов Р1,..., Рп, пересечение которых равно нулю.
Тогда алгебра Ли Ь является подпрямым произведение алгебр Ь/Рг,г = 1,..., п.
Если все алгебры Ь/Рг,г = 1,...,п — конечномерны, то сама алгебра Ь — конечномерна.
Следовательно, существует г такое, что 1 ^ г ^ п и алгебра Ли Ь/Рг является бесконечномерной, первичной, а-артиновой.
Доказанная эквивалентность вопросов 1 и 2 показывает, что для ответа на вопрос 1 можно строить бесконечномерную, первичную, а-артинову алгебру Ли.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. ЛамбекИ. Кольца и модули. М.: Мир, 1971.
2. ХерстейнИ. Некоммутативные кольца. М.: Мир, 1972.
3. БахтуринЮ. А. Артиновы специальные алгебры Ли // Алгебра. М.: Изд-во МГУ, 1982. С. 24—26.
4. Пихтильков С. А. Артиновые специальные алгебры Ли // Алгоритмические проблемы теории групп и полугрупп: межвуз. сб. Тула: Изд-во Тул. гос. пед. ун-та им. Л. Н. Толстого, 2001. С. 189—194.
5. Пихтильков С. А., Поляков В. М. О локально нильпотентных артиновых алгебрах Ли // Чебышевский сборник. 2005. Т. 6, вып. 1. С. 163—169.
6. Латышев В. Н. Об алгебрах Ли с тождественными соотношениями // Сиб. мат. журн. 1963. Т. 4, №4. С. 821—829.
7. Jacobson N. Structure theory of quadratic Jordan algebras. Lecture Notes. Tata Institute of Fundamental research. Bombay, 1970.
8. Benkart G. On inner ideals and ad-nilpotent elements of Lie algebras // Transactions of the American Mathematical Society. 1977. Vol. 232. P. 61—81.
9. Fernandez Lopez A., Garcia E., Gomez Lozano M. An artinian theory for Lie algebras // Journal of Algebra. 2008. Vol. 319. P. 938—951.
10. Fernandez Lopez A., Garcia E., Gomez Lozano M. Inner ideal structure of nearly artinian Lie algebras // Proc. Amer. Math. Soc. 2009. Vol. 137. P. 1—9.
11. МещеринаЕ. В., Пихтильков С. А. О некоторых свойствах внутренних идеалов алгебры Ли // Вестник ОГУ. 2013 (сдано в печать).
12. Ольшанский А. Ю. Бесконечная группа с подгруппами простых порядков // Изв. АН СССР. Сер. Мат. 1980. Т. 44, №2. С. 309—321.
13. БейдарК.И., Зайцев М. В., Пихтильков С. А. Алгебры Ли с условием максимальности на абелевы подалгебры // Вестник МГУ. Сер. 1, Математика. Механика. 2002. №5. C. 27—32.
14. МещеринаЕ. В., Пихтилькова О. А., Пихтильков С. А. О проблеме А. В. Михалева для алгебр Ли // Известия Саратовского университета. Новая серия. Сер. Математика. Механика. Информатика. 2013. Т. 13, вып. 4, ч. 2. С. 83 — 88.
Оренбургский государственный университет
Поступило 18.09.2013
