Тождества алгебр и их представлений тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

Введение

Глава 0. Вспомогательные сведения и утверждения

§1. Ассоциативно-лиевы пары, тождества пар, многообразия пар. Связь с многообразиями представлений алгебр Ли

1.1. Категория ассоциативно-лиевых пар. Тождества пар

1.2. Категория представлений алгебр Ли в ассоциативных алгебрах

1.3. Категория представлений алгебр Ли в линейных пространствах

§2. Центральное замыкание для полупервичных алгебр

2.1. Построение центрального замыкания

2.2. Простейшие свойства центрального замыкания

2.3. Центрально-замкнутые первичные алгебры, достаточные условия замкнутости

§3. Тождества Капелли и теорема о ранге

§4. Изоморфизм центрально-первичных ассоциативно-лиевых пар над алгебраически замкнутым полем, имеющих одни и те лее тождества

Глава I. -функция на 2-словах и выделяемые ею многообразия представлений алгебр Ли

§5. Понятие о* -функции на 2-словах

§6. Многообразие пар , задаваемое ы -функцией

§7. Построение о*-функции по любому представлению конечномерной алгебры Ли, обладающей невырожденной инвариантной симметрической билинейной формой

§ 8. Соответствие между рщеалами слабых тождеств и идеалами коммутативной алгебры, задаваемое о^-функцией

§ 9. Общий подход и постановка задачи исследования многообразий пар в методе 2-слов

Глава 2. оI -функции, связанные с формой Киллинга и неприводимыми представлениями полупростых алгебр Ли. Центральные полиномы неприводимых представлений редуктивных алгебр Ли

§10. Формулировка основных результатов главы

§11. Несколько замечаний об обертывающих алгебрах полупростых алгебр Ли

§12. Существование центральных полиномов в простых обертывающих алгебрах

§13. Многообразия трехосновных алгебр VCl t (К,

§14. Вспомогательная трехосновная алгебра {T0f ^, f^) и продолжение оС -функции о^ на пространство обобщенных 2-элементов

§15. Доказательство теоремы 14.I для конечномерной алгебры V

§16. Доказательство теоремы 10.I

§17. Доказательство теоремы 14 Л в общем случае

§18. Некоторые следствия теорем 10.I и 14.I III

§19. Доказательство теоремы 10.

Глава 3. ol -функция, связанная с полными матричными алгебрами. Тождества со следом и центральные полиномы полных матричных алгебр М^ и матричных супералгебр М ГЦ к

§20. Основные результаты главы

20.1. Основные обозначения

20.2. Основные результаты

§21. Вычисление ot -функции и алгебры

§

§22. Алгебра полиномов со следом. Основные понятия

§23. Вспомогательная алгебра со следом

23.1. Алгебра

• 23.2. Алгебра U (tf)

23.3. Расширение области определения oL -функции oi; В —> К t ЗГ^

23.4. Билинейное спаривание t:

23.5. Замыкания , ^ и их связь с ^ , ^

23.6. Свойства билинейной формы в: Те®Тг - Ktfl

23.7. Задание структуры групповой алгебры на Tg

§24. Классификация над полдали нулевой характеристики

-замкнутых идеалов и идеалов тождеств со следом V, для которых VOT^ - двусторонний идеал в Те

§25. Описание тождеств со следом в полных матричных алгебрах М^ и супералгебрах

25.1. Тождество со следом Гамильтона - Кэли и тождества со следом алгебры М ^

25.2. Модельные алгебры для идеалов тождеств со следом Yd

§26. Tpvi леммы

26.1. Лемма о ветвлении

26.2. Полные матричные алгебры над полем в многообразии Vdl М к

26.3. Матричные супералгебры в многообразии тг М^ к

§27. С-дуальные множества в алгебрах М Л «

§28. Тождества со следом супералгебры М^ к

28.1. Алгебра В п к

28.2. Доказательство теоремы 25.

§29. Центральные полиномы в алгебрах М^ , М^ к

29.1. Слабые тождества в алгебрах и критерий существования центральных полиномов в

29.2. Существование полилинейных существенно слабых тождеств в алгебрах М^ « над полями положительной характеристики

29.3. Построение полиномиальных С-дуальных множеств и центральных полиномов для алгебры МЛ к для полей положительной характеристики

29.4. Существование полилинейных существенно слабых тождеств для алгебр Мгцк наД полями нулевой характеристики

29.5. Построение полиномиальных С -дуальных множеств и центральных полиномов для полей нулевой характеристики

§30. Описание решетки ^ -замкнутых идеалов в К[у]

§31. Следствия из классификации -замкнутых идеалов тождеств со следом, относящиеся к многообразиям ассоциативных ниль-алгебр

31.1. Многообразия ниль-алгебр над полями нулевой характеристики

- 6

31.2. Примеры неразрешимых р~1 -энгелевых многообразий ассоциативных алгебр

Глава 4. оС-функция, связанная с представлениями простой трехмерной алгебры Ли ^ , и ее приложения к многообразиям групп и ассоциативных алгебр

§32. Сводка результатов главы

§33. Вычисление -функции ¿•.В

§ и алгебры

§

33.1. Некоторые тождества трехосновной алгебры И пары (и^,^)

33.2. Вспомогательная трехосновная алгебра

С % , 11 , Р£ )

33.3. Вспомогательные ассоциативные алгебры

Аф> АФ

33.4. Билинейное спаривание (г \ л » ^

33.5. ^ -замкнутые идеалы алгебре

§

§34. Базис тождеств для алгебры Ли $

§35. Конечная базируемость тояществ подмногообразий пар в над полями нулевой характеристики 229 35.1. Условие минимальности для подмногообразий в Ш г (Уу

Й5.2. Конечная базируемость тождеств пары

§36. Неразрешимые р-2-энгелевы алгебры Ли над полями характеристики р ^

§37. Неразрешимость многообразий локально-конечных групп экспоненты 4 и простой экспоненты р при р ^

§38. Базис тождеств полной матричной алгебры второго порядка •

- 7

ВВЕДЕНИЕ

I. Выделение классов объектов исследования с помощью тождеств является хорошо известным и давно используемым в математике алгебраическим приемом при изучении различных математических структур. Таким образом определяются ставшие классическими классы алгебраических объектов: класс групп, класс ассоциативных алгебр, класс алгебр Ли, классы альтернативных и йордановых алгебр. За массами универсальных алгебр, задаваемых тождественными соотношениями, в настоящее время в литературе закрепилось два названия: "многообразие алгебр" (Г.Биркгофф, Б.Нейман), " примитивный класс алгебр" (А.И.Мальцев).

Еще в основополагающей работе Г.Биркгоффа 1935-го года по универсальным алгебрам Г841 было отмечено, что каждый класс универсальных алгебр, заданный тождественными соотношениями, замкнут относительно трех операций над алгебрами из этого класса: а) операции взятия полных декартовых произведений, б) операции взятия подалгебр, в) операции взятия гомоморфных образов; более того, им было доказано, что это свойство класса является характеристическим, то есть любой класс универсальных алгебр, замкнутый относительно этих трех операций может быть задан своими тождествами. Утверждение Г.Биркгоффа сделало достаточно наглядным понятие многообразия, указало в универсальной алгебре явно соотношение между аксиоматическим и модельным подходом при изучении примитивных классов алгебр и закрепило два способа задания таких классов:

1-ый способ. Многообразие задается явно своими тождествами.

2-ой способ. Многообразие исследуемых алгебр задается конкретными алгебрами, порождающими это многообразие относительно указанных выше трех операций.

Наличие этик двух способов и дальнейшее осмысление проблемы эффективности построения объектов в математике с неизбежностью привело к постановке общих задач о взаимоотношении этих двух способов. При первом способе определения многообразия при помощи конкретной перечислимой системы тождеств естественно возникает вопрос: можно ли данное многообразие породить относительно указанных трех операций эффективно заданными алгебрами, например, алгебрами с разрешимой проблемой равенства. Частным случаем этой задачи является разрешимость проблемы равенства в свободной алгебре произвольного конечного ранга так заданного многообразия. Второй способ задания многообразия рано или поздно приводит к вопросу о возможности эффективного описания тождеств, определяющих заданное многообразие, в частности, к вопросу о возможности задания этого многообразия конечным числом тождеств.

Как правило, второй способ задания исследуемого класса алгебраических объектов предшествует первому. Конкретные примеры новых однотипных алгебр появляются на более раннем этапе исследования. Только на следующем этапе возникает вопрос об отыскании общих свойств введенных объектов, которые обеспечивают те или иные теоремы и результаты об этих объектах. В частности, это приводит к описанию тождеств алгебр и тех свойств алгебр, которые этими тождествами определяются. При этом далеко не всегда удается получить все определяющие тождества первоначально заданных алгебр; по большей части, оказывается достаточно только тех из них, которые обеспечивают формальную выводимость большинства нужных исследователю свойств алгебр, близких к свойствам первоначальных объектов. В этом случае примитивный масс изучаемых алгебр неявно расширяется и в рассмотрение вводится многообразие алгебр, заданное найденными тождествами. Примером такого введения многообразия является примитивный класс йордановых алгебр, для которого первичными объектами исследо

- 9 вания были специальные йордановы алгебры.

Разумеется, язык тождеств и многообразий очень беден. Многие интересные классы алгебр нельзя задать только тождествами. Более того, обычно даже внутри многообразия свойства конкретных классов алгебр, например, простых алгебр не удается вывести только из тождественных соотношений. Во многом этих недостатков оказалась лишенной другая теория, использующая весь аппарат математической логики, - теория моделей, берущая свое начало от работ А.Тарского 1936 года по теории множеств с заданной на них системой отношений. Страстным пропагандистом идей этой теории в СССР стал А.И.Мальцев, который в своей работе 1936 года указал на возможность реального использования аппарата математической логики в алгебраических исследованиях как по теории универсальных алгебр, так и в классическом разделе алгебры - теории групп. Дальнейшее внедрение в алгебраические исследования понятий и методов математической логики привело к основанию А.И.Мальцевым теории алгебраических систем, расположенной на стыке алгебры и логики, и последующему исследованию аксиоматизируемых классов алгебраических систем.

Тем не менее интерес к изучению тождеств и многообразий со стороны алгебраистов постепенно нарастал. В первую очередь это объяснялось, тем, что трудные задачи теории конкретных многообразий понемногу набирали вес, становились все более привычными широкому кругу алгебраистов и решение их приобретало престижный характер.

Здесь следует отметить большую роль, которую сыграли первоначальные работы Б.Неймана по теории подмногообразий многообразия групп и последующие работы австралийских алгебраистов по этой тематике. Итоги этой работы были подведены в монографии X. Нейман "Многообразия групп" (1967 год), переведенной на русский язык в 1969 году. В этой книге приведен очень удачный подбор задач, которые были поставлены в результате 30-летнего исследования многообразий групп и которые определили направления исследований этой теории на последующее пятнадцатилетие. Эти же задачи нашли свое отражение в теории многообразий ассоциативных, лиевых, йордановых и альтернативных алгебр.

Центральной задачей этой теории оказалась проблема конечной базируемости тождеств конкретных многообразий. Примеры многообразий групп, не допускающих конечного базиса тождеств, были приведены в 1969 году А.Ю.Ольшанским, а затем почти одновременно С.И.Адя-ном и Вон-Ли (см. Ц91, [11 , [107]). Это дало отрицательное решение общей проблемы конечной базируемости подмногообразий в многообразии всех групп. В работах С.И.Адяна и Вон-Ли многообразия были заданы явно независимыми системами тождеств.

Большое влияние на последующие исследования многообразий и тождеств оказала работа 1964 года Ш.Оуэтс и М.Пауэлла (см. [100]), доказавших конечную базируемость тождеств любого подмногообразия многообразия групп, порожденного конечной группой. В дальнейшем аналог этого результата был получен в многообразиях ассоциативных колец (И.В.Львов, 1969 год, см. [39] ), лиевых колец (Ю.А.Бахту-рин и Ольшанский А.Ю., 1975 год, см. £31 ), альтернативных колец (И.В.Львов, 1977 год, см. [4 0] ), йордановых алгебр (Ю.А.Медведев, 1979 год, см. [45] ), представлений групп (С.М.Вовси, 1979 год, см. [6]).

Пример конечной алгебры, не имеющей конечного базиса тождеств, был построен в 1974 году С.В.Полиным (см. [511 ). Этот пример очертил в классе всех алгебр границы, в которых следовало искать аналоги теоремы Ш.Оуэтс и М.Пауэлла.

Первостепенную роль в переориентации и привлечении алгебраистов к задачам о тождествах сыграли проблемы бернсайдовского типа. Переломными в этой переориентации стали 40 - 50 -е годы, когда была решена большая часть этих задач.

Для групп такой задачей оказалась проблема Бернсайда о локальной конечности групп ограниченной экспоненты. В 1958 году П.С.Новиковым для достаточно большого нечетного числа И был найден алгоритм равенства в свободной группе, заданной тождеством { , из которого последовало отрицательное решение проблемы Бернсайда для таких групп (краткая заметка об этом была опубликована П.С.Новиковым в 1959 году, см. 14 71 , подробная публикация для 4381 была сделана П.С.Новиковым и С.И.Адяном в 1968 году, см. дальнейшее улучшение: М^ 665 - содержится в монографии С.И.Адяна [21).

Для ассоциативных алгебр важной оказалась работа Дж.Левицкого 1946 года, в которой было дано положительное решение ограниченной проблемы А.Г.Куроша о локальной нильпотентности алгебр, удовлетворяющих тождеству Xй" ~0 , и локальной конечности алгебраических алгебр ограниченной степени (см. [961 ). Вместе с работой 1948 года И.Капланского (см. [941 ) о строении примитивных ассоциативных алгебр, удовлетворяющих нетривиальному полиномиальному тождеству, работа Дж.Левицкого положила начало последующим исследованиям ассоциативных алгебр, удовлетворяющих нетривиальному полиномиальному тождеству (так называемых Р1 -алгебр ), и изучению тождеств ассоциативных алгебр.

Из результатов 50-х годов в этом направлении в первую очередь следует отметить теоремы Ш.Амицура 1957 года о локальной нильпотентности радикала Джекобсона в конечно порожденной рг -алгебре и совпадении радикала Джекобсона в относительно свободной Р1 -алгебре с идеалом тождеств некоторой полной матричной алгебры над полем (см. [#03 ), а также теорему А.И.Ширшова 1957 года о высоте (см. 1781), которая дала конструктивное решение ограниченной проблемы А.Г.Куроша.

В том же 1957 году И.Капланский опубликовал заметку (см. [93]? а также [92]) с серией задач, которые оказались полезными для 19 дальнейшего развития теории Р1 -алгебр и последующих исследований тождественных соотношений ассоциативных алгебр. Из работ 70-х годов по этой проблематике необходимо отметить результаты 1972 года Э.Формэнека [Ш и автора диссертации [561, которые дали положительный ответ на вопрос И.Капланского о существовании центрального полилинейного полинома для полных матричных алгебр над произвольным коммутативным кольцом с единицей, теоремы А.Регева 1972 года о тензорном произведении Р1 -алгебр и об экспоненциальном росте размерностей пространств полилинейных полиномов от Я переменных в любой свободной Р1 -алгебре над полем нулевой характеристики (см. С1041), теорему автора 1974 года о нильпотентности радикала Джекобсона конечно порожденной Р1 -алгебры, в которой выполняются все тождества некоторой полной матричной алгебры над полем произвольной характеристики или все тождества Капелли некоторого порядка над полем характеристики нуль (см. [6 3]).

В этот же период не ослабевал интерес к проблеме конечной ба-зируемости тождеств в многообразиях ассоциативных алгебр. Этой проблематике были посвящены статьи В.Н.Латышева (см. [34-371). Достаточно общие условия для конечной базируемости тождеств некоторого многообразия ассоциативных алгебр и всех его подмногообразий (такие многообразия были названы В.Н.Латышевым шпехто-выми ) были найдены независимо в работах В.Н.Латышева [37] и Г.К.Генова [41 . Из их результатов, в частности, следует шпехтовость многообразия, порожденного алгебрами треугольных матриц произвольного порядка над полем характеристики нуль.

80-е годы ознаменовались тем, что были подведены итоги более чем 35-летней деятельности алгебраистов по уточнению и усилению выше упомянутых результатов Дж.Левицкого и Ш.Амицура. В работах автора , А.Р. Кемера , А. Брауна (см. [521, ШЗ) была доказана нильпотентность радикала Джекобсона в произвольной конечно порожденной PI -алгебре. (Автор диссертации доказал, что над полем нулевой характеристики радикал Джекобсона в конечно порожденной PI -алгебре нильпотентен тогда и только тогда, когда в ней выполняется тождество алгебраичности некоторого порядка (см. [S21). А.Р.Кемер показал, что из результатов А.Регева об экспоненциальном росте любого нетривиального многообразия ассоциативных алгебр вытекает выполнимость в любом многообразии PI -алгебр тождества алгебраичности достаточно большой степени (см. НА] ). Это дало решение задачи для PI -алгебр над полями нулевой характеристики. А.Брауну удалось свести проблему о нильпотентности радикала Джекобсона для PI -алгебр произвольной характеристики к выше упомянутому результату автора о нильпотентности радикала конечно порожденной pi -алгебры, в которой выполняются все тождества некоторой полной матричной алгебры над полем. ) Очень сильный результат о конечной базируемости тождеств полной матричной алгебры произвольного порядка был доложен на Щ-й Всесоюзной алгебраической конференции в Минске А.В.Яковлевым в 1983 году.

На изучение тождеств алгебр Ли и их представлений сильное влияние оказала ослабленная проблема Бернсайда об ограниченности порядков всех конечных груш с заданным числом образующих и тождеством X и цикл работ 50-х годов А.И.Кострикина по энгелевым алгебрам Ли. Уже в начале 50-х годов было известно, что для любого простого числа р эта проблема решается положительно, если любая р-1 -энгелева алгебра Ли над полем из р элементов локально конечна. Работы А.И.Кострикина (см. 127] , [28]) не только обосновали локальную нильпотентность энгелевых алгебр Ли и дали решение старой и хорошо известной задачи - ослабленной проблемы Бернсайда для групп простого периода р -, но и дали толчок к дальнейшему изучению тождественных соотношений в алгебрах Ли и представлениях алгебр Ли. По существу в этих работах впервые было введено понятие тождества ассоциативно-лиевой пары (Ау L) (L - алгебра Ли, Д - ее ассоциативная обертывающая алгебра) как такой формулы |(£ 1 £¿)= 0 (| - ассоциативный полином от некоммутирующих переменных , t¿, . , ) , которая обращается в верное равенство в алгебре А при подстановке вместо » любых элементов алгебры Ли L . Это понятие органично соединило в себе понятие тождества ассоциативной алгебры (для этого достаточно ограничиться рассмотрением тождеств ассоциативно-лиевых пар (a,l) , для которых l совпадает с д ') и понятие тождества алгебры Ли ^ (для этого достаточно ограничиться рассмотрением тождеств ассоциативно- лиевой пары (A}L) , где L-= üdoj? д - ассоциативная подалгебра в ettcl^ ÜJ , порожденная acl ) . В свою очередь это сделало возможным изучение тождеств ассоциативных алгебр и алгебр Ли с единых позиций при помощи ассоциативно-лиевых пар и предопределило дальнейшее вычленение теории многообразий ассоциативно-лиевых пар и их тождеств в предмет самостоятельного исследования.

2. Данная диссертация посвящена изучению тождеств ассоциативных алгебр, алгебр Ли и их представлений. Основным объектом изучения являются тождественные соотношения ассоциативно-лиевых пар. Главным методом исследования тождеств в диссертации является метод 2-слов, фундаментом для которого служит всесторонне разработанная теория конечномерных редуктивных алгебр Ли над полями нулевой характеристики и теория представлений таких алгебр.

Метод 2-слов возник в результате решения ряда конкретных задач, относящихся к теории многообразий алгебр Ли, ассоциативных алгебр и групп. Понятие 2-слова возникло в работе автора С59] в 1970 году при решении задачи о ненильпотентности p~í-энге левых алгебр Ли над полем характеристики поставленной А.И.Кострикиным в 1959 году. В зачаточном состоянии понятие ©¿-функции на 2-словах было использовано в работе автора [5£1 для явного конструктивного построения ненильпотентного (р~2) -энгелевого многообразия алгебр Ли, у которого любое собственное подмногообразие нильпотентно, и построения локально конечного почти-кроссова неразрешимого многообразия групп экспоненты р . Предложенная в работах автора С583, [59] конструкция ненильпотентной р~2-энге-левой алгебры Ли и почти-кроссова многообразия была естественной только для случая 3-энгелевой алгебры Ли над полем характеристики р = 5 , а для р>5 выглядела как чисто технический прием, который вряд ли мог быть использован в других задачах.

Важное для возникновения метода 2-слов наблюдение было сделано в 1971 году. Было замечено, что построенная в работах [581 , [5*9] функция на 2-словах может быть получена естественным способом по двумерному представлению простой трехмерной алгебры Ли. Этот факт, значительно упростивший доказательство ненильпотентности р-2-энгелевой алгебры Ли и в известном смысле объяснивший существование таких алгебр Ли над полями характеристики р ? 5, был отмечен автором в работе [561 в 1972 году.

Это наблюдение дало толчок к исследованию в двух взаимосвязанных направлениях.

Во-первых, построение функции на 2-словах для двумерного неприводимого представления простой трехмерной алгебры Ли допускало обобщение на случай любого неприводимого представления произвольной полупростой алгебры Ли ^ в конечномерном линейном пространстве V . Уже в частном случае для

Ц эта конструкция дала полное описание всех центральных полиномов полной матричной алгебры над полем М^ и привела к решению задачи о существовании центральных полиномов для алгебры М ^

-16 - *) см. С561 ), поставленной И.Капланским в 1957 году.

Во-вторых, функция оС на 2-словах, построенная по двумерному представлению простой трехмерной алгебры Ли позволяла применить идеи работы автора [5Я] для формального изучения тождественных соотношений этого представления и алгебры Ли , минуя модельные соображения. Эта часть работы была завершена в начале 1973 года в работе [60], в которой была доказана конечная базируемость и построены базисы тождеств для алгебры Ли $еи, ю, алгебры кватернионов и полной матричной алгебры второго порядка над полем характеристики нуль. 8то дало решение проблемы, поставленной Ш.Амицуром.

Важный шаг для становления метода 2-слов был сделан в 1973 году. Было замечено, что по любому неприводимому модулю V над конечномерной алгеброй Ли , имеющей инвариантную симметрическую билинейную форму, может быть естественным способом построена функция на 2-словах со значениями в алгебраически замкнутом поле к , обладающая такими свойствами, которые позволяют определить многообразие ассоциативно-лиевых пар , исходя только из этой функции. При этом ^ Ъй-Ч (Епс^У, ) и равенство могло не достигаться. Эта конструкция была применена для алгебры Ли М^-^^К) и ее И-мерного неприводимого представления в пространстве "v". (В этом случае - ИкХ М^), Из алгоритма вычисления этой конкретной функции следовало, что а) значения этой функции на любом 2-слове является многочленом от параметра И , б) сам алгоритм вычисления функции с/ требует расширения сигнатуры ассоциативной алгебры при помощи добавления унарной операции "след". Это привело с За решение задач А.И.Кострикина и И.Капланского автору была присуждена премия Московского математического общества за 1972 г. Эти два результата составили содержание его кандидатской диссертации. одной стороны к постановке задачи о тождествах со следом для полной матричной алгебры М^ и доказательству теоремы о том, что все тождества со следом в Н^ равносильны одному тождеству со следом, выражающему теорему Гамильтона-Кэли, а с другой стороны, и это было значительно более важным, впервые дало постановку задачи о самой

-функции. Конечно, эта задача была сформулирована только в частном случае, а именно, только для рассматриваемой функции оС , принимающей значения в кольце многочленов от одной переменной. Но налицо были все основные моменты: расширение сигнатуры, кольцо коэффициентов для Ы. -функции, описание всех идеалов коммутативного кольца, которым соответствуют нетривиальные идеалы тождеств со следом, описание тождеств со следом, задаваемых этими идеалами. Все эти результа ты были опубликованы в 1974 году в работе автора [6 51.

Концептуальное становление метода 2-слов было в основном завершено к концу 1976 года и базисные понятия и основная задача этого метода были сформулированы автором диссертации в докладе "Неразрешимость многообразия групп экспоненты 4" на Международной конференции по теории колец в Бельгии в 1978 году.

Метод 2-слов позволил автору с единых позиций оценить полученные им до этого результаты, упростить их доказательство и самое главное значительно углубить старые и получить новые результаты о тождествах алгебр и их представлений.

Вот основные новые результаты, которые были получены методом 2-слов после 1976 года.

Используя о*-функцию для трехмерного неприводимого представления простой трехмерной алгебры Ли, автор построил неразрешимую группу экспоненты 4 (см. С6 2]), что дало ответ на проблему, поставленную Ф.Холлом и Г.Хигменом в 1950 году. Была исследована с* -функция на 2-словах, построенная по любому представлению трехмерной простой алгебры Ли 0| , что привело к решению задачи о шпех-товости многообразия ассоциативно-лиевых пар, порожденного парой , где Уу - универсальная обертьшающая алгебра алгебры ^ (см. 153] ), и отысканию конечных базисов любого неприводимого представления алгебры Ли О/ над алгебраически замкнутым полем характеристики нуль (см. [72] ). Изучение свойств Ы -функции оI на 2-словах, строящейся для произвольного неприводимого представления v полупростой алгебры Ли % над алгебраически замкнутым полем нулевой характеристики, дало равенство ИМ- (V) , где

V - простая обертывающая алгебры , имеющая тот же центральный характер, что и ^ -модуль V . Это равенство привело, во-первых, к построению центральных полиномов специального вида для почти всех неприводимых представлений редуктивных алгебр Ли, и, во-вторых, к построению ассоциативного полинома, позволяющего конструктивно восстанавливать алгебру бесконечно дифференцируемых функций на гладком многообразии по алгебре Ли всех векторных полей этого многообразия (см. [67]). Неожиданное дальнейшее приложение получила классификация идеалов тождеств со следом из уже упомянутой работы 1974 года 165] , которая была дана в рамках метода 2-слов для серий представлений алгебр Ли ^ц— м ^ в

И -мерных пространствах. Оказалось, что все найденные в этой работе идеалы тождеств со следом допускают естественную интерпретацию через идеалы тождеств со следом ассоциативных матричных супералгебр Ма к , на которых в качестве операции "след" следует взять суперслед. Это дало конечную базируемость и полное описание тождеств со следом во всех матричных супералгебрах М^ц (см. 166] ).

Все выше упомянутые результаты, полученные методом 2-слов, включены в диссертацию.

3. Диссертация состоит из пяти глав.

Нулевая

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

§§ 3, 4 (см. теоремы 3.1, 4.1, 4.2, 4.3, 4.4 ) . В третьем параграфе введено понятие тождественных соотношений типа Капелли, при их помощи определено понятие ранга произвольного подпространства алгебры и в случае первичной алгебры доказано, что размерность подпространства над центроидом Мартиндейла меньше на единицу, чем ранг этого подпространства (см. теорему ЗЛ ) . Весь четвертый параграф посвящен изучению различных достаточно общих условий для определяемости алгебры и представления алгебры своими тождествами. Эти условия сформулированы в теоремах 4.2, 4.3, 4.4. Из них применительно к алгебрам Ли и тождествам представлений алгебр Ли получены следующие утверждения.

Теорема 4.1. Пусть основное поле К алгебраически замкнуто. Пусть , ^ " точные неприводимые представления конечномерных к -алгебр Ли в линейных (не обязательно конечномерных) к -пространствах аг^ > соответственно. Обозначим через (¿ = 1,2) ассоциативную подалгебру в Епс1^ » порожденную алгеброй Ли . Тогда если в ассоциативнолиевых парах ^г) выполняются одни и те же тождества, то эти пары изоморфны.

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

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

Первая

глава самая короткая в диссертации. Она является введением в метод 2-слов и составляет концептуальную основу всей диссертации. В ней даются основные определения и постановка основной задачи в методе 2-слов об ol -функции и задаваемых ею многообразиях ассоциативно-лиевых пар.

В этой главе пять параграфов:

§§5-9. Е

§5 вводятся понятие 2-слова, линейного пространства 2-элементов В над полем К и для произвольной коммутативной К -алгебры ^ указываются три свойства, выделяющие подмножество Ы -функций в множестве всех К-линейных отображений оГ. В —* £ ; затем в рассмотрение вводится категория о* -функций

ALPHA . В

§6 для любой ol -функции S и абсолютно свободной ассоциативной алгебры Н со счетным числом свободных образующих ^ , ^ , • - строится билинейное спаривание ^-у^в^Нд-* б , где V, А , Л - конечные подмножества множества ^zt- ^ > » Частный случай этой теоремы, когда поле К имеет нулевую характеристику, У i f У] z " расщепляемые полупростые конечномерные алгебры Ли, V± , V^ - конечномерные линейные К-пространства, был получен А.Х.Кушкулеем и был выведен им из теоремы 4.2, впервые полученной автором диссертации (см. [31], [611). а Н ^ ( или у НЛ ) - подпространство в И полиоднородных полиномов степени 1 по каждой переменной из А , степени 2 по каждой переменной из Л (или V) и степени 0 по всем остальным переменным. Используя это билинейное спаривание, каждой такой -функции в алгебре Н сопоставляется идеал слабых тождеств ЗГ^ и многообразиеассоциативно-лиевых пар Зэ^ , однозначно определяемое идеалом ^^ . Седьмой параграф посвящен построению по любому представлению ^ А алгебры Ли У , обладающей невырожденной билинейной симметрической инвариантной формой, в ассоциативной алгебре А -функции с^; В ^

§ , где В - центр подалгебры V , порожденной в А подпространством f . В частности, при Епс1к у это позволяет строить оI -функцию по любому представлению такой алгебры Ли ^ в линейном пространстве V , а при А = V } ^строить о1 -функцию по ассоциативно-лиевой паре (1/? О/) . Это дает естественные модели оI -функций (для них многообразие содержится в многообразии ассоциативно-лиевых пар К&Т (II} 0$) , порожденном парой (1Г) )) . В

§8 для фиксированной -функции & естественно вводятся отображения Ф^ и , позволяющие каждому идеалу слабых тождеств <л алгебры п сопоставить идеал алгебры о, а каждому идеалу I алгебры & сопоставить идеал слабых тождеств Кь = (I) . Предложения 8.1, 8.2 показывают, что отображение

6 ЭД о Ф задает замыкание на множестве всех идеалов * и слабых тождеств алгебры П и все С^ -замкнутые идеалы образуют полную подполурешетку в полурешетке всех идеалов слабых тождеств относительно операции пересечения идеалов, аналогично, отображение ^ = задает замыкание на множестве всех идеалов алгебры

§ и все ^ -замкнутые идеалы образуют полную подполурешетку в полурешетке всех идеалов алгебры

§ относительно операции сложения идеалов, при этом отображения

• * ^ - являются взаимно обратными.

В девятом параграфе дается постановка основной задачи об -функции ! В

§ , которая разбивается на шесть содержательных подзадач об отображениях , ^^ , , ^ и полурешетках , . Важным неформальным моментом в этом параграфе является то, что эту задачу предлагается решать не в общем случае для абстрактной о^ -функции, а для -функции В 8 , которая однозначно определяется по некоторому выбираемому самим исследователем множеству 3 точных неприводимых представлений ^ ' редуктивных алгебр Ли 0/$ над алгебраически замкнутым полем К нулевой характеристики в К -линейных пространствах . Это приводит к дополнительным вопросам о строении этой конкретной К -алгебры $ и алгоритме вычисления -функции В-* & и к вопросу о том, чем следует руководствоваться при выборе множества Б

Следующие три главы диссертации связаны с решением поставленной в

§9 задачи для трех конкретных множеств 3 неприводимых представлений редуктивных алгебр Ли. Их назначение - наполнить реальным алгебраическим содержанием те формальные общие положения, которые были изложены в главе I и показать, как метод 2-слов позволяет получать далеко нетривиальные результаты о тождествах алгебр и их представлений, которые были упомянуты выше (см. страницы 14-18). В каждом из этих конкретных случаев полученные результаты об о^ -функции удается проинтерпретировать таким образом, что получаемая из них информация о тождествах ассоциативных алгебр, алгебр Ли и представлений алгебр дает решение известных задач о тождественных соотношениях, причем сама Ы -функция в окончательных формулировках этих утверждений не присутствует.

Во второй главе рассмотрен случай, когда множество $ состоит из одного элемента - точного неприводимого представления полупростой алгебры Ли С^ над алгебраически замкнутым полем К нулевой характеристики в линейном пространстве V" . В этом случае Ы -функция с^! В ~~*

§ - К'1 строится, используя билинейную форму Киллинга (см.

§7 ).

Глава 2 содержит

§§ 10 - 19. Подробное расположение материала в этих параграфах дано в

§10. Поэтому упомянем здесь только главные результаты этой главы - теоремы 14.1, ЮЛ, 10.2.

Обозначим через

V - ассоциативную подалгебру в Еас1„ V порожденную ~ У • Теорема 14.1 по существу утверждает, что многообразие ассоциативно-лиевых пар ^г^ , заданное рассматриваемой -функцией оГ, 1 почти всегда совпадает с многообразием \S0lX Точнее, включение Зу^ £ 15Ы (1/, ^ ) выполняется для любого представления ^ , а равенство достигается тогда и только тогда, когда 17 - простая алгебра и центр ее отличен от нуля. Следующее утверждение фактически равносильно теореме 14.1. В нем через к обозначено множество всех полилинейных ассоциативных полиномов вида ¿211 —» ^¿т) — > ^кт. К кососимметричных относительно ¿¿1 , . , ¿¿щ при любом ¿е11>.,К}. Центральным полиномом для пары ("ЬГ,^) называется ассоциативный полином | £ Н , все значения которого на алгебре Ли О/ лежат в центре алгебры У" , и тождество | = 0 не выполняется в паре Ш,^).

Теорема ЮЛ. Пусть полупростая конечномерная алгебра Ли ^ над алгебраически замкнутым полем нулевой характеристики имеет размерность Ш . Пусть ее обертывающая алгебра I/ проста и ее центр отличен от нуля. Тогда для некоторого натурального числа К в множестве полиномов к существует центральный полином для пары

Частный случай этой теоремы при ^ = $¿(4, К), Ц~~ И ^ -полная матричная алгебра порядка И дает существование центральных полиномов для алгебры М^ и решает проблему Й.Капланского в случае нулевой характеристики основного поля. Другим следствием теоремы 14.1 является

Теорема 10.2. Пусть - алгебра Ли всех дифференщ^эований алгебры коммутативных многочленов ÍF от П. алгебраически независимых переменных над полем К нулевой характеристики. Алгебру можно рассматривать как левый 3~ -модуль и алгебру Т* можно отождествить естественным образом с подалгеброй в Епо!^ . Тогда для ITl= Zn. + tLz существует такой ассоциативный полином 1 что для люб*® (t = tn K) значение ad bJtt ad ы^ ) принадлежит T и линейное отображение foacl : У^® . SW^ У е - рпявляется эпиморфизмом.

Эта теорема дает возможность достаточно наглядно восстанавливать гладкое Ц -мерное многообразие по алгебре Ли всех его векторных полей.

В третьей главе диссертации задача

§9 рассмотрена для случая, когда множество »S состоит из неприводимых представлений fn ' ^пГ в И-мерных линейных пространствах Vn над алгебраически замкнутым полем К характеристики нуль (11=1,2,3,.), а о/ -функция о¿I В £ строится по этим представлениям при помощи билинейных форм (Х,у) = ti ( X, у € 0fn). В этом случае оказывается, что алгебра ^ изоморфна алгебре многочленов с единицей Ktjfl от одной переменной £ . Полученные при решении этой задачи результаты применяются для описания тождеств со следом и центральных полиномов полных матричных алгебр М^ и супералгебр М ^ ^ , а также для исследования ниль-алгебр.

Материал в главе расположен следующим образом:

§§ 21 - 24 и

§30 посвящены собственно решению задачи, поставленной в

§9, по отношению к рассматриваемой ol -функции ol'. В-* K[J}. Алгоритм вычисления этой d -функции вынуждает ввести новую унарную операцию "след" и алгебру полиномов со следом ¡j и расширить область определения функции на пространство обобщенных 2-элементов В. Для расширения оС. функции oL оказывается возможным ввести аналоги отображений ^ , , , ^ - отображения ^¿Г» ^оР " и дать п0™^ классификацию Og -замкнутых идеалов тождеств со следом в алгебре 5 и ^ -замкнутых вдеалов в КСДЧ и наглядно описать полную подполурешетку Qq- 6qt -замкнутых идеалов тождеств со следом в J и полную подполурешетку ^ - -замкнутых идеалов в Ki^l на языке таблиц Юнга и простых идеалов групповых алгебр симметрических групп. Этому посвящены теоремы 24.1, 24.2. Эти две теоремы являются наивысшими достижениями главы 3 применительно к рассматриваемой задаче о конкретной -функции ol\ В 9 Ktfl, поставленной в общем виде в

§9. Они дают решение пяти из шести подзадач, сформулированных в

§9, по отношению к функции Ы.В —> KtJM . Из этих результатов следует, в частности, полное описание решетки i—i^ ^ -замкнутых идеалов алгебры КС^З и решетки д^ -замкнутых идеалов тождеств

-идеалов) в свободной ассоциативной алгебре п (см.

§30). В

§§ 25 - 29 дано решение шестой подзадачи о функции <зС \ В Ktfl, В них для каждого Qg -замкнутого идеала тождеств со следом алгебры

§ указаны классические алгебры со следом, для которых он является идеалом тождеств со следом. Это дает полное описание и конечную базируемость тождеств со следом для произвольной матричной алгебры 1% и матричной супералгебры ^ наД полями нулевой характеристики (см. теоремы 25.1, 25.2). С нашей точки зрения, теоремы 24.1, 24.2 вместе с теоремами 25.1, 25.2 должны служить образцом результатов, к которым следует стремиться при использовании метода 2-слов, а само получение подобных результатов для других множеств 5 неприводимых представлений алгебр Ли должно свидетельствовать в пользу правильности выбора множества 5 , по которому строится исследуемая о1 -функция.

Результаты

§§29, 31 главы 3 являются побочными следствиями теорем 24.1, 24.2, но важны для теории тождеств ассоциативных алгебр и алгебр Ли. В

§29 приведено явное построение центрального полилинейного полинома для произвольной матричной ассоциативной супералгебры над произвольным полем. При К = 0 это дает конструктивное решение проблемы И.Капланского о существовании центрального полинома для полной матричной алгебры над произвольным полем. Из результатов

§31 заслуживают быть выделенными два следствия теоремы 24.1.

1. В любой ассоциативной алгебре над полем нулевой характеристики из тождества У*1-0 следует тождество нильпотентности Х1-Х2-.-Х г=0 (см. теорему 31.1)

2. Над полями характеристики р? 5 в многообразии ассоциативных алгебр из тождества и тождества р-1 -энгелевости Х-(0-с1 у)^ 1 -0 не следует никакое тождество лиевой разрешимости (более сильный результат см. в теоремах 31.2, 31.3 )

Первое утверждение дает существенное улучшение верхней оценки класса нильпотентности ассоциативных алгебр с тождеством уг1=0 > данной Г.Хигменом (см. С911), а из второго - следует решение проблемы А.И.Кострикина о ненильпотентности р-1 -энгелевых алгебр Ли над полями положительной характеристики р^

Четвертая

глава диссертации связана с задачей

§9 для случая, когда 3 - это множество всех точных неприводимых представлений

5е 5) простой трехмерной алгебры Ли ^ над алгебраически замкнутым полем К нулевой характеристики в линейных пространствах А/^ , а о/ -функция строится по этим представлениям при помощи билинейной формы ~ где & - это форма Киллинга. В этом случае алгебра ^ оказывается изоморфной центру универсальной обертывающей алгебры Ид алгебры Ли , который изоморфен алгебре всех многочленов от одной переменной без свободного члена. И в этом случае алгоритм вычисления функции вынуждает расширить область определения функции оС , вводя в рассмотрение ее продолжение оС\ о на некоторое пространство обобщенных 2-элементов Б . При этом удобно расширить сигнатуру рассматриваемых операций и ввести новые вспомогательные трехосновные алгебры (чГ0 } > Р1) , (70, ^ 1 1^), которые оказываются очень полезными при изучении тождеств в многообразии пар 1 Щ ив многообразии . алгебр Ли Ш1 О/. Оказывается, что задача

§9 для рассматриваемой функции оГ. допускает полное решение (см.

§33), в частности, ^-замкнутыми идеалами являются все идеалы алгебры

§ (см. предложение 33.2).

Эти исследования

§33 создают основу для получения дальнейших результатов в

§§ 34 - 38 о тождествах в многообразиях ио.1 О] и приложению этих результатов к многообразиям групп. Укажем главные из них.

1. Конечная базируемость тождеств простой трехмерной алгебры Ли ^ над полем нулевой характеристики (базис тождеств указан явно в теореме 34.1 )

2. Конечная базируемость тождеств пары , и всех подмногообразий ассоциативно-лиевых пар многообразия (Цу^) над полем нулевой характеристики (см. теоремы 35.1, 35.2).

3. Существование неразрешимых р~2 -энгелевых алгебр Ли над полями характеристики и существование неразрешимых многообразий локально конечных групп простой экспоненты р? 5 (см. теоремы 36.1, 37.1).

4. Неразрешимость многообразия групп периода 4 (см. теорему 37.2).

- 28

5. Конечная базируемость тождеств полной матричной алгебры второго порядка над полем характеристики нуль (см. теорему 38.1).

Третье из этих утверждений уточняет ответ, данный в теореме 31.2, на вопрос А.И.Кострикина об энгелевых алгебрах Ли и отвечает на его же вопрос о нильпотентности многообразий локально конечных групп простой экспоненты. Четвертое утверждение - это отрицательное решение проблемы Холла - Хигмена о разрешимости групп экспоненты 4, а пятое - это решение задачи Ш.Амицура о тождествах алгебры кватернионов.

I. Выделение классов объектов исследования с помощью тождеств является хорошо известным и давно используемым в математике алгебраическим приемом при изучении различных математических структур, Таким образом определяются ставшие классическими классы алгебраических объектов: класс групп, класс ассоциативных алгебр, класс алгебр Ли, классы альтернативных и йордановых алгебр. За хшассами универсальных алгебр, задаваемых тождественными соотношениями, в настояш,ее время в литературе закрепилось два названия: "многообразие алгебр" (Г.Биркгофф, Б.Нейман), примитивный класс алгебр" (А.И.Мальцев). Еще в основополагающей работе Г.Биркгоффа 1935-го года по универсальным алгебрам Г81 было отмечено, что каждый класс универсальных алгебр, заданный тождественшлли соотношениями, замкнут относительно трех операций над алгебрами из этого класса: а) операции взятия полных декартовых произведений, б) операции взятия подалгебр, в) операции взятия гомоморфных образов; более того, им было доказано, что это свойство класса является характеристическим, то есть любой класс универсальных алгебр, замкнутый относительно этих трех операций может быть задан своими тождествами. Утверзвдение Г.Биркго(|)фа сделало достаточно наглядным понятие многообразия, указало в универсальной алгебре явно соотношение между аксиоматическим и модельным подходом при изучении примитивных классов алгебр и закрепило два способа задания таких классов: 1-ый способ. Многообразие задается явно своими тождествами. 2-ой способ. Многообразие исследуемых алгебр задается конкретными алгебрами, порождающими это многообразие относительно указанных выше трех операций.8 Наличие этик двух способов и дальнейшее осмысление проблемы эффективности построения объектов в математике с неизбежностью привело к постановке общих задач о взаимоотношении этик двух способов, При первом способе определения многообразия при помощи конкретной перечислимой системы тождеств естественно возникает вопрос: можно ли данное многообразие породить относительно указанных трех операций эффективно заданными алгебрами, например, алгебрами с разрешимой проблемой равенства. Частным случаем этой задачи является разрешимость проблемы равенства в свободной алгебре произвольного конечного ранга так заданного многообразия. Второй способ задания многообразия рано или поздно приводит к вопросу о возможности эффективного описания тождеств, определяющих заданное многообразие, в частности, к вопросу о возможности задания этого многообразия конечным числом тождеств. Как правило, второй способ задания исследуемого класса алгебраических объектов предшествует первому. Конкретные примеры новых однотипных алгебр появляются на более раннем этапе исследования. Только на следующем этапе возникает вопрос об отыскании общих свойств введенных объектов, которые обеспечивают те или иные теоремы и результаты об этих объектах. В частности, это приводит к описанию тождеств алгебр и тех свойств алгебр, которые этими тождествами определяются. При этом далеко не всегда удается получить все определяющие толщества первоначально заданных алгебр; по большей части, оказывается достаточно только тех из них, которые обеспечивают формальную выводимость большинства нужных исследователю свойств алгебр, близких к свойствам первоначальных объектов. В этом случае примитивный класс изучаемых алгебр неявно расширяется и в рассмотрение вводится многообразие алгебр, заданное найденными тождествами. Примером такого введения многообразия является примитивный класс йордановых алгебр, для которого первичшми объектами исследо9 вания были специальные йордановы алгебры. Разумеется, язык тождеств и многообразий очень беден. Многие интересные классы алгебр нельзя задать только тождествами. Более того, обычно даже внутри многообразия свойства конкретных классов алгебр, например, простых алгебр не удается вывести только из тождественных соотношений. Во многом этих недостатков оказалась лишенной другая теория, использующая весь аппарат математической логики, теория моделей, берущая свое начало от работ А.Тарского 1936 года по теории множеств с заданной на них системой отношений. Страстным пропагандистом идей этой теории в СССР стал А.И.Мальцев, который в своей работе 1936 года указал на возможность реального использования аппарата математической логики в алгебраических исследованиях как по теории универсальных алгебр, так и в классическом

1. Адян С.И. Бесконечные неприводимые системы групповых тождеств. - Изв. АН СССР. Серия матем., 1970, т. 34, № 4, с.715 734.

2. Адян С. И. Проблема Берн сайда и тождества в группах:. М.: "Наука", 1975.

3. Бахтурин Ю.А., Ольшанский А.Ю. Тождественные соотношения в конечных кольцах Ли. Матем сб., 1975, т. 96, №4, с. 543559.

4. Ван дер Варден Б.Л. Алгебра. М.: "Наука", 1979.

5. Вейль Г. Классические группы и их инварианты. М.: ИЛ, 1947.

6. Вовси С.М. О локально конечных многообразиях представлений групп. Изв. высш. учебн. заведений. Математика, 1979,6, с. 14 25.

7. Генов Г.К. Шпехтовость некоторых многообразий ассоциативных алгебр над полем характеристики нуль. Докл. Болг. Акад. Наук, 1976, т. 29, № 7, с. 939 - 941.

8. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра, логика, языки программирования. Киев: "Наукова думка", 1974.

9. Голод Е.С. О ниль-алгебрах и фшитно-апроксимируемых р -группах. Изв. АН СССР. Серия матем., 1964, т. 28, с. 273276.

10. Джеймс Г. Теория представлений симметрических групп. М.: Мир, 1982.

11. Джекобсон Н. Алгебры Ли. М.: Мир, 1964.

12. Джекобсон Н. Строение колец. М.: Мир, 1961.

13. Диксмье Ж. Универсальные обертывающие алгебры. М.:Мир, 1978.

14. Днестровская тетрадь. Издание третье, йн-т матем. СО АН СССР, Новосибирск, 1982, с. 17, 35.- 254

15. Дренский B.C. Минимальный базис тождеств матричной алгебры . второго порядка над полем характеристики нуль. Алгебра илогика, 1981, т. 20, Р 3, с. 282 290.

16. Дренский B.C. О тождествах в алгебрах Ли. Алгебра и логика, 1974, т. 13, № 3, с. 265 - 290.

17. Дренский B.C. Представления симметрической группы и многообразия линейных алгебр. Матем. сб., 1981, т. 115, W I, с. 98 115.

18. Дюфло М. Конструкция примитивных идеалов в обертывающей алгебре. -Математика. Сб. перев., 1973, т. 17, И©, с. 36-51.

19. Желобенко Д.П. Компактные группы и их приложения. М.: "Наука", 1970.

20. Зыричев А.Н. Локально нильпотентные p-2-энгелевы неразрешимые многообразия пар над полем характеристики р . В кн.: Ш Всесоюзная алгебраическая конференция (14 17 сент. 1983 г.). Тез. сообщ. Ч. I. Минск, 1983, с. 80.

21. Кемер А.Р. Многообразия "Z2 -градуированных алгебр. Изв. АН СССР. Серия матем., 1984, т. 48, №5, с. 1042 - 1059.

22. Кемер А.Р. Разложение многообразий. В кн.: XV. Всесоюзная алгебраическая конференция. Тезисы. Ч. I. Ленинград, 1981, с. 67.

23. Кемер А.Р. Тождества Капелли и нильпотентность радикала конечно-порожденной PI -алгебры. ДАН СССР, 1980, т. 255, № 4, с. 793 - 797.

24. Клячко A.A. апементы Ли в тензорной алгебре. Сиб. матем. ж., 1974, т. 15, № 6, с. 1296 - 1304.

25. Кон П. Универсальная алгебра. М.: ИЛ, 1968.

26. Кострикин А.И. Кольца Ли, удовлетворяющие условию Энгеля. -Изв. АН СССР. Серия матем. 1957, т. 21, №4, с. 515 540.

27. Кострикин А.И. О проблеме Бернса^а. Изв. АН СССР. Серия матем., 1959, т. 23, № I, с. 3 - 34.

28. Кострикин А.И. Сэндвичи в алгебрах Ли. Матем. сб., 1979, т. 110(152), № I, с. 3 - 12.

29. Кострикин А.И., Шафаревич И.Р. Градуированные алгебры Ли конечной характеристики. Изв. АН СССР. Серия матем., 1969, т. 33, № 2, с. 251 - 322.

30. Кузьмин Е.Н. О теореме Нагаты Хигмена. - Труды, посвященные 60-летию академика Л. йлиева. София, 1975, с. 101 - 107.

31. Кушкулей А.Х., Размыслов Ю.П. Многообразия, порожденные неприводимыми представлениями алгебр Ли. Вестн. Моск. ун-та. Матем., механ., 1983, № 5, с. 4 - 7.

32. Кэртис Ч., Райнер И. Теория представлений конечных групп и ассоциативных алгебр. М.: "Наука", 1969.

33. Ламбек И. Кольца и модули. М.: Мир, 1971.

34. Латышев В.Н. Конечная базируемость тождеств некоторых колец. Успехи матем. наук, 1977, т. 32, №4, с. 259 260.

35. Латышев В.Н. Нематричные многообразия ассоциативных алгебр.-Матем. заметки, 1980, т. 27, № I, с. 147 156.

36. Латышев В.Н. О сложности нематричных многообразий ассоциативных алгебр. I, II. Алгебра и логика, 1977, т. 16, № 2, с. 149 - 183, 184 - 199.

37. Латышев В.Н. Упорядоченные множества и нематричные тождества ассоциативных алгебр. Алгебра и логика, 1976, т. 15, № I, с. 53 - 70.

38. Ленг С. Алгебра. М.: Мир, 1968.

39. Львов И.В. Многообразия ассоциативных колец. Алгебра и логика, 1973, т. 12, №3, 6, с. 269 - 297 , 667 - 688.

40. Львов И.В. 0 многообразиях, порождениих конечными альтернативными кольцами. Алгебра и логика, 1978, т. 17, №3, с.282 286.

41. Львов И.В. Теорема Брауна о радикале конечно порожденнойPI -алгебры. Ин-т матем. СО АН СССР. Препринт № 68. Новосибирск, 1984.

42. Маклейн С. Гомология. М.: Мир, 1965.

43. Мальцев А.И. Алгебраические системы. М.: "Наука", 1970.

44. Мальцев А.И. Модельные соответствия. Изв. АН СССР. Серия матем., 1959, т. 23, Р 3, с. 313 - 336.

45. Медведев Ю.А. Тоздества в конечных йордановых алгебрах. -Алгебра и логика, 1979, т. 18, № 6, с. 723 748.

46. Нейман X. Многообразия групп. М.: Мир, 1969.

47. Новиков П.С. О периодических группах. ДАН СССР, 1959, т. 127, с. 749 - 752.

48. Новиков П.С., Адян С.И. О бесконечных периодических группах. Изв. Ali СССР. Серия матем., 1968, т. 32, № I, 2, 3, с. 212 - 244, 251 - 524, 709 - 731.

49. Ольшанский А.Ю. К проблеме конечного базиса тождеств в группах. Изв. АН СССР. Серия матем., 1970, т. 34, № 2, с. 376 - 384.

50. Плоткин Б.И., Вовси С.М. Многообразия представлений групп. Общая теория, связи и приложения. Рига: "Зинатне", 1983.

51. Полин C.B. О тождествах конечных алгебр. Сиб. матем. ж., 1976, т. 17, Р 6, с. 1356 - 1366.

52. Размыслов Ю.П. Алгебры, удовлетворяющие тождественным соотношениям типа Капелли. Изв. АН СССР. Серия матем., 198I, т. 45, № I, с. 143 - 166.

53. Размыслов Ю.П. Конечная базируемость тождеств представлений простой трехмерной алгебры Ли над полем нулевой характеристики. В кн.: Алгебра. Сб. работ, посвящ. 90-летию со дня рождения О.Ю.Шмидта. М.: Изд-во МГУ, 1983, с. 139 - 150.

54. Размыслов Ю.П. Многообразия, порожденные простыми алгебрами. В кн.: XVII Всесоюзная алгебраическая конференция (14 17 сент. 1983 г.). Тез. сообщ. Ч. I. Минск, 1983, с. 160 - 161.

55. Размыслов Ю.П. Неразрешимость многообразия групп периода 4. В кн.: VI Всесозный симпозиум по теории групп. Тез. докл. Киев: "Наукова думка", 1978, с. 50.

56. Размыслов Ю.П. Об одной проблеме Капланского. Изв. АН СССР. Серия матем., 1973, т. 37, № 3, с. 483 - 501.

57. Размыслов Ю.П. Об одном примере неразрешимых почти кроссовых многообразий групп. Алгебра и логика, 1972, т. II, № 2,с. 186 205.

58. Размыслов Ю.П. Об энгелевых алгебрах Ли. Алгебра и логика, 197I, т. 10, № I, с. 33 - 44.

59. Размыслов Ю.П. О конечной базируемости тождеств полной матричной алгебры второго порядка над полем характеристики нуль. Алгебра и логика, 1973, т. 12, № I, с. 83 - ИЗ.

60. Размыслов Ю.П. О многообразиях представлений конечномерных алгебр в первичных алгебрах. Вестн. Моск. ун-та. Матем., механ., 1982, № 6, с. 31 - 37.

61. Размыслов Ю.П. 0 проблеме Холла Хигмена. Изв. АН СССР. Серия матем., 1978, т. 42, № 4, с. 833 - 847.

62. Размыслов Ю.П. О радикале Джекобсона в РГ -алгебрах. -Алгебра и логика, 1974, т. 13, № 3, с. 337 360.

63. Размыслов Ю.П. О центральных полиномах неприводимых представлений алгебры Ли. В кн.: Пятый Всесоюзный симпозиум по теории колец, алгебр и модулей (Новосибирск, 21-23 сент. 1982 г.). Тез. сообщ. Новосибирск, 1982, с. 109.

64. Размыслов Ю.П. Тождества со следом полных матричных алгебр над полем характеристики нуль. Изв. АН СССР. Серия матем. 1974, т. 38, № 4, с. 723 - 756.

65. Размыслов Ю.П. Тождества со следом супералгебр М^^. В кн.: XVII Всесоюзная алгебраическая конференция (14 17 сент. 1983 г.). Тез. сообщ. Ч. I. Минск, 1983, с. 160.

66. Размыслов Ю.П. Центральные полиномы в неприводимых представлениях полупростой алгебры Ли. Матем. сб., 1983, т. 122(164), № 1(9), с. 97 - 125.

67. Санов И.Н. Решение проблемы Бернса1ща для показателя 4. -Уч. зап. ЛГУ. Серия матем., 1940, т. 55, № 10, с. 166 170.

68. Серр Ж.П. Алгебры Ли и группы. М.: Мир, 1969.

69. Стовба В.В. Конечная базируемость некоторых многообразий лиевых и ассоциативных алгебр. Вестн. Моск. ун-та. Матем., механ., 1982, № 2, с. 54-58.

70. Суменков Е.А. Один пример в теории алгебр Ли. В кн.: 3-й Всесоюзный симпозиум по теории колец, алгебр и модулей. Тез. сообщ. Тарту, 1976, с. 97 98.

71. Т^ишин И. М. Тождества неприводимых представлений трехмерной простой алгебры Ли. Алгебра и логика, 1983, т. 22, № 3, с. 316 342.

72. Харченко В.К. О централизаторах в первичных кольцах. Алгебра и логика, 1981, т. 20, Р 2, с. 231 - 247.

73. Харченко В.К. Теория Галуа полупервичных колец. Алгебра и логика, 1977, т. 16, Р 3, с. 313 - 36S.

74. Херстейн И.Н. Некоммутативные кольца. М.: Мир, 1972.

75. Холл М. Теория групп. М.: ИЛ, 1962.

76. Шафаревич И.Р. Основы алгебраической геометрии. М.: "Наука1,1 1972.

77. Ширшов А.И. О кольцах с тождественными соотношениями. -Матем. сб., 1957, т. 43, № 2, с. 277 283.

78. Яковлев А.В., Мовсисян A.M. Сверточные тождества для тензоров. В кн.: XVI Всесоюзная алгебраическая конференция. Тезисы. Ч. I. Ленинград., 1981, с. 186 187.

79. Amitsur S.A. A generalization of Hubert's Nullstellensatz.-Proc. Amer. Math. Soc., 1957, v. 8, II 4, p. 649 656.

80. Bachmuth s., Mochizuki II.j., Wallmp D.V.r. A nonsolvable group of exponent 5. Bui. Amer. Soc., 1970, v. 76, II 3, p. 638 -640.

81. Braun A. The radical in finitely generated P.I. algebra. -Bull. Amer. Math. Soc., 1982, v. 7, N2, p. 385 386.83* Baxter V/.E., Martindale V/.S. Central closure of semiprime non-associative rings. Cominun. Algebra, 1979, v. 7, U 11, p. 1105 - 1132.

82. Birkhoff G. On the structure of abstract algebras. Proc. Cambr. Phil. Soc., 1935, v. 31, p. 433 -454.

83. Birkhoff G., Lipson J.D. Heterogeneous algebras. J. Cambr. Theory, 1970, v. 8, I 1, p. 115 - 133.- 260

84. Duflo M. Construction of primitive ideals in an enveloping algebra. In: I.M.Gelfand ed. Publ. of 1971 Summer School in Math. Janos Bolyai Math. Soc., Budapest, 77 - 93.

85. Erickson J.S., Martindale W.8., Osborn J.M. Prime non-associative algebras. Pacific J. Math., 1975, v. 60, 11, p. 49-63.

86. Formanek E. Central polinomials for matrix rings. J. of Algebra 1972, v. 23, If 1, p. 129 - 132.

87. Higgins P.J. Algebras with a scheme of operators. Math. Nachr., 1963, Bd. 27, HH 1, 2, s. 115 - 132.

88. Higgins P.J. Lie rings satisfying the Engel condition. -Proc. Cambr. Phil. Soc., 1954-, v. 50, N 1, p. 8 15.

89. Higman G. On a conjecture of Nagata. Proc. Cambr. Phil. Soc., 1956, v. 52, N 1, p. 1 - 4.

90. Kaplansky I. Problems in the theory of rings. Amer. Math. Mon., 1970, v. 77, N 5, p. 445 - 454.

91. Kaplansky I. Problems in the theory of rings. Mat. Acad. Sci. Nat. Res. Cons., 1957, 502, p. 1 - 3.

92. Kaplansky I. Rings with polynomial identity. Bull. Amer. Math. Soc., 1948, v. 54, p. 575 - 580.

93. Kruse R. Identities satisfied by a finite ring. J. Algebra, 1973, v. 26, p. 298 - 318.

94. Levitzki J. A problem of A.Kurosh. Bull. Amer. Math. Soc., 1946, v. 52, p. 1033 - 1035.

95. Mal'cev a.I. Untesuchungen aus dem Gebiete der mathemischen Logik.-Matem. sb., 1936, v. 1 (41), p. 323 336.

96. Matczuk J. Central closure of semiprime of tensor products.-Commun. Algebra, 1982, v. 10, N 3, p. 263 278.

97. Neumann Б.Н. Identical relations in groups. Math. Ann., 1937, v. 114, p. 506 - 525.

98. Oates S. Powell M.B. Identical relations in finite groups.-J. Algebra, 1964, v. 1, p. 11 39.

99. Procesi C. The invariant theory of n*n matrices. Advan. in Math., 1976, v. 19, N 3, p. 306 - 381.

100. Procesi G. Trace identities and standard diagrams. In: Ring theory: Proc. of the 1978 Antwerp. Conf., 1978, p. 219 - 231. (Lect. notes in pure and appl. math., v. 51)

101. Razmyslov Yu. P. The nonsolvability of the variety of groups of exponent 4. -In: Ring theory: Proc. of the 1978 Antwerp. Conf., 1978, p. 219 231. (Lect. notes in pure and appl. math., v. 51)

102. Regev A. Existens of identities in A®B. Israel J. Math., 1972, v. 11, p. 131 - 152.

103. Robinson G. de B. Representation theory of the symmetric group. Toronto: Univ. of Toronto Press, 1961.

104. Tarski A. Der Wahrheitsbergriff in den formalisierten Sprahen. Studia Philos., 1936, v. 1, p. 261 - 405.

105. Vaughan-Lee M.R. Uncountably many varieties of groups. -Bull. London Math. Soc., 1970, v. 2, p. 280-286.