Московский государственный университет

имени М.В. Ломоносова

Механико-математический факультет

На правах рукописи

УДК 512.552.4

Гордиенко Алексей Сергеевич

Коразмерности и кохарактеры

полиномиальных тождеств

и их обобщений

01.01.06 — математическая логика, алгебра и теория чисел

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата физико-математических наук

Москва — 2009

Работа выполнена на кафедре высшей алгебры Механико-математического факультета Московского государственного университета имени М.В. Ломоносова.

Научный руководитель: доктор физико-математических наук, профессор Зайцев Михаил Владимирович

Официальные оппоненты: доктор физико-математических наук, профессор Михалев Александр Александрович доктор физико-математических наук, профессор Пчелинцев Сергей Валентинович

Ведущая организация: Ульяновский государственный университет

Защита диссертации состоится 6 ноября 2009 г. в 16 ч. 45 м. на заседании диссертационного совета Д.501.001.84 при Московском государственном университете им. М.В. Ломоносова по адресу: Российская Федерация, 119991, Москва, ГСП-1, Ленинские горы, д.1, МГУ, Механикоматематический факультет, аудитория 14-08.

С диссертацией можно ознакомиться в библиотеке Механикоматематического факультета МГУ (Главное здание, 14 этаж)

Автореферат разослан 6 октября 2009 г.

Ученый секретарь диссертационного совета Д.501.001.84 при МГУ доктор физико-математических наук, профессор А.О. Иванов

Общая характеристика работы

Актуальность темы Одним из важных аспектов исследования алгебраических систем является изучение тех тождеств, которые выполняются в этих алгебраических системах. «Хотя тождества представляют собой простейшие замкнутые высказывания логического языка, язык тождеств все же достаточно богатый, чтобы на нем можно было выражать многие тонкие свойства систем и их классов» (А.И. Мальцев1 ) При исследовании тождеств в алгебрах естественным образом возникают числовые и теоретико-представленческие характеристики: коразмерности и кохарактеры. Коразмерности являются полезным инструментом при решении различных задач, например при доказательстве наличия или отсутствия нетривиальных тождеств2,3. Более того, коразмерности служат своеобразной оценкой количества тождеств, которым удовлетворяет конкретная алгебра. Кохарактеры заключают в себе информацию о структуре представления симметрической группы на факторпространстве пространства полилинейных многочленов по подпространству полилинейных тождеств соответствующей степени, являясь таким образом более тонкой характеристикой тождеств, чем коразмерности.

Первые применения представлений симметрической группы в PI-теории следует отнести, по-видимому, к работам А.И. Мальцева4 и В. Шпехта5, опубликованным в 1950 году. Использование кохарактеров является одним из главных инструментов при изучении асимптотики коразмерностей. В качестве примера можно привести работы М.В. Зайцева и А. Джамбруно6, А. Регева, А. Берела7,8,9, В.С. Дренски10,11 и многие другие. АсимптотичеМальцев А.И., Алгебраические системы, М.: Наука, 1970.

Regev A., Existence of identities in A B, Israel J. Math, vol. 11, pp. 131–152 (1972).

Regev A., The representation of Sn and explicit identities for P.I. algebras, J. Algebra, vol. 51, pp. 25– (1978).

Мальцев А.И., Об алгебрах с тождественными определяющими соотношениями, Матем. сборник, том 26, стр. 19–33 (1950).

Specht W., Gesetze in Ringen. I, Math. Z., vol. 52, pp. 557–589 (1950).

Giambruno A., Zaicev M., Exponential codimension growth of P.I. algebras: an exact estimate, Adv.

Math., vol. 142, no. 2, pp. 221–243 (1999).

Regev A., Codimensions and trace codimensions of matrices are asymptotically equal, Israel J. Math., vol. 48, no. 2–3, pp. 246–250 (1984).

Berele A., Properties of hook Schur functions with applications to p.i. algebras, Advances in Applied Math., vol. 41, no. 1, pp. 52–75 (2008).

Berele A., Regev A., Asymptotic behaviour of codimensions of p.i. algebras satisfying Capelli identities, Trans. Amer. Math. Soc., vol. 360, pp. 5155–5172 (2008).

Drensky V.S., Codimensions of T-ideals and Hilbert series of relatively free algebras, J. Algebra, vol. 91, no. 1, pp. 1–17 (1984).

Drensky V.S., Relations for the cocharacter sequences of T-ideals, Contemp. Math, Proc. of the International Conference on Algebra Honoring A. Malcev, vol. 131 (Part 2), pp. 285–300 (1992).

ское поведение коразмерностей и кохарактеров вызывает дополнительный интерес в связи c тем, что это поведение тесно связано со структурой изучаемой алгебры6,12.

В 1984 году А. Регев показал7, что коразмерности cn (Mk (F )) полиномиальных тождеств алгебры Mk (F ) всех матриц k k над произвольным полем F характеристики 0 имеют следующую асимптотику (здесь и далее f g, если lim f = 1):

Основываясь на этом результате, С.А. Амицур выдвинул следующую гипотезу:

Гипотеза 1 (С.А. Амицур). Пусть A — PI-алгебра над полем характеристики 0, а cn (A) — последовательность коразмерностей ее полиномиальных тождеств. Тогда существует P I exp(A) = lim n cn (A) Z+.

Данная гипотеза была затем уточнена А. Регевом.

Гипотеза 2 (А. Регев). Пусть A — PI-алгебра над полем характеристиr ки 0. Тогда существуют такие C > 0, r Z, d Z+, что cn (A) Cn 2 dn при n. (В случае, когда d = 0, существует такое n0 N, что при всех n n0 выполняется равенство cn (A) = 0.) Гипотеза С.А. Амицура была доказана М.В. Зайцевым и А. Джамбруно в 1999 году для всех ассоциативных алгебр. Кроме того, в 2002 году М.В. Зайцев13 доказал аналог гипотезы Амицура для коразмерностей полиномиальных тождеств конечномерных алгебр Ли.

Гипотеза А. Регева была доказана В.С. Дренски для ассоциативных алгебр полиномиального роста11, М.В. Зайцевым и А. Джамбруно14 для алгебр блочно-треугольных матриц. В 2008 году вышла работа автора [4], в которой гипотеза Регева доказывается для ассоциативных алгебр с единицей, имеющих PI-экспоненту 2 (см. параграф 2.1 диссертации). В том же году А. Регев и А. Берел8,9 доказали гипотезу Регева в более общем случае всех ассоциативных алгебр с 1.

Zaicev M.V., Giambruno A., Polynomial identities and asymptotic methods, AMS Mathematical Surveys and Monographs Vol. 122, Providence, R.I., 2005.

Зайцев М.В., Целочисленность экспонент роста тождеств конечномерных алгебр Ли, Изв. РАН, сер. матем., том 66, вып. 3, стр. 23–48 (2002).

Giambruno A., Zaicev M., Minimal varieties of algebras of exponential growth, Electronic Research Announcements of the AMS, vol. 6, pp. 40–44 (2000).

Как уже было отмечено, большой интерес представляет изучение поведения кратностей неприводимых кохарактеров в разложении кохарактера полиномиальных тождеств. В 1979 году А. Регев15 доказал теорему о полосе для кохарактеров алгебр, удовлетворяющих тождеству Капелли. В работе16 А. Регева и А. Берела было показано, что рост кодлин, а отсюда и кратностей неприводимых кохарактеров всякой PI-алгебры ограничен сверху некоторой полиномиальной функцией. Вопросы, связанные с асимптотикой кратностей и кодлин также исследовались А. Джамбруно, И.Ю. Свиридовой и Ф. Бенанти17,18. В работах 2006 и 2008 года А. Берел8,19 доказал, что кратности неприводимых кохарактеров произвольных PI-алгебр кусочнополиномиальны, а кодлины PI-алгебр с единицей асимптотически ведут себя как Cnt, где C R+, t Z+. Поведение кратностей неприводимых кохарактеров алгебр полиномиального роста изучалось В.С. Дренски11. В частности, им было доказано, что последовательность кратностей неприводимых кохарактеров, отвечающих диаграммам Юнга с фиксированными нижними строчками, периодична.

Несмотря на активную деятельность, которая ведется в этой области, известно сравнительно мало примеров алгебр, в которых можно явно вычислить базис тождеств, коразмерности, кохарактеры и кодлины: базис тождеств алгебры M2 (F ) был найден Ю.П. Размысловым20 (позже В.С. Дренски21 предъявил минимальный базис тождеств этой алгебры), кохарактеры алгебры M2 (F ) были найдены В.С. Дренски10 и Е. Форманеком22, точные значения коразмерностей для этой алгебры — С. Прочези23 ; базис тождеств и коразмерности алгебры Грассмана были вычислены Д. Краковски и А. Регевом24, базис тождеств алгебр U Tn (F ) верхнетреугольных матриц — Ю.Н. Мальцевым25. В 2005 году вышла работа А. Джамбруно и Regev A., Algebras satisfying a Capelli identity, Israel J. Math, vol. 33, pp. 149–154 (1979).

Berele A., Regev A., Applications of hook Young diagrams to P.I. algebras, J. Algebra, vol. 82, pp. 559– 567 (1983).

Benanti F., Giambruno A., Sviridova I., Asymptotics for the multiplicities in the cocharacters of some PI-algebras, Proc. Amer. Math. Soc., vol. 132, pp. 669–679 (2004).

Свиридова И.Ю., О верхней оценке степени кратностей кохарактеров PI-алгебр, Фунд. и прикл. матем., том 10, вып. 4, стр. 207–223 (2004).

Berele A., Applications of Belov’s theorem to the cocharacter sequence of p.i. algebras, J. Algebra, vol. 298, pp. 208–214 (2006).

Размыслов Ю.П., О конечной базирумости тождеств матричной алгебры второго порядка над полем характеристики нуль, Алгебра и логика, том 12, стр. 83–113 (1973).

Дренски В.С., Минимальный базис тождеств алгебры матриц второго порядка над полем характеристики 0, Алгебра и логика, том 20, стр. 282–290 (1981).

Formanek E., Invariants and the ring of generic matrices, J. Algebra, vol. 89, no. 1, pp. 178–223 (1984).

Procesi C., Computing with 2 2 matrices, J. Algebra, vol. 87, no. 2, pp. 342–359 (1984).

Krakowski D., Regev A., The polynomial identities of the Grassmann algebra, Trans. Amer. Math. Soc., vol. 181, pp. 429–438 (1973).

Мальцев Ю.Н., Базис тождеств алгебры верхнетреугольных матриц, Алгебра и логика, том 10, еира и С.М. Альвес Хорге27 вычислили базис тождеств, коразмерности, кохарактеры и кодлины алгебры. В связи с работой С.П. Миb щенко и А. Валенти28 представляет интерес изучение аналогичных харакxac теристик алгебры. Два из трех тождеств базиса этой алгебры были указаны в книге В.С. Дренски29.

В теории полиномиальных тождеств можно выделить два философских подхода. При одном подходе отправной точкой служат фиксированные алгебры, каждая из которых задает T -идеал в свободной алгебре, состоящий из ее полиномиальных тождеств. При другом подходе изначально рассматривается набор тождеств, задающий многообразие тех алгебр, которые этому набору тождеств удовлетворяют. Результаты, касающиеся коммутатора длины 4, относятся ко второму подходу. Данное тождество является естественным обобщением соотношения [x1, x2, x3 ], которое образует базис тождеств бесконечно порожденной алгебры Грассмана24. Коммутатор длины 4 изучался в работе В.Н. Латышева30. В 1978 году И.Б. Воличенко вычислил комбинаторными методами его коразмерности. В случае произвольного поля характеристики нуль А.Р. Кемером32,33 было доказано существование конечномерной супералгебры, T -идеал полиномиальных тождеств грассмановой оболочки которой совпадает с заданным. Однако вид этой супералгебры в конкретном случае неизвестен. Поэтому представляет интерес построение конечномерной супералгебры, базис тождеств грассмановой оболочки которой состоит из коммутатора длины 4.

Во многих областях математики и теоретической физики применяются вып. 4, стр. 393–400 (1971).

Giambruno A., La Mattina D., PI-algebras with slow codimension growth, J. Algebra, vol. 284, pp. 371– 391 (2005).

Vieira A.C., Alves Jorge S.M., On minimal varieties of quadratic growth, Linear Algebra and its Applications, vol. 418, pp. 925–938 (2006).

Mishchenko S.P., Valenti A., A star-variety with almost polynomial growth, J. Algebra, vol. 223, no. 1, pp. 66–84 (2000).

Drensky V.S., Free algebras and PI-algebras: graduate course in algebra, Springer-Verlag, Singapore, 2000, 270 pp.

Латышев В.Н., О конечной порожденности T -идеала с элементом [x1, x2, x3, x4 ], Сибирский математический журнал, том VI, вып. 6, стр. 1432–1434 (1965).

Воличенко И.Б., T -идеал, порожденный элементом [x1, x2, x3, x4 ], препринт №22, Минск: Институт математики АН Белорусской ССР, 1978.

Кемер А.Р., Представимость приведенно-свободных алгебр, Алгебра и логика, том 27, вып. 3, стр. 274–294 (1988).

Kemer A., Ideals of identities of associative algebras, Translations of Mathematical Monographs, vol. 87, AMS, Providence, RI, 1991.

алгебры Клиффорда34,35. Так, например, в 1997 году вышла книга А.А. Кецариса36, в которой он предложил свой вариант единой теории взаимодействия. Действие стало векторной величиной — элементом алгебры действия. Далее определялась волновая функция элементарной частицы, ее импульс и из законов умножения в алгебре действия путем дифференцирования выводились основные уравнения квантовой механики — уравнения Шредингера и Дирака. Кроме того, была введена структура алгебры на пространстве-времени. В качестве алгебр действия и пространства-времени для электронов и других лептонов были предложены алгебры Клиффорда. Отсюда большой интерес вызывают тождества в алгебрах Клиффорда, так как зная их, можно было бы получить другие уравнения квантовой механики и попытаться их проинтерпретировать в рамках создаваемых теорий. До этого были исследованы тождества в алгебре Грассмана24, которая является алгеброй Клиффорда нулевой квадратичной формы, и алгебрах Клиффорда полного ранга (в более общем случае конечномерных полупростых алгебр)7,10,22,23.

Кроме обычных тождеств, важную роль в теории колец играют их различные обобщения. Изучение обобщенных полиномиальных тождеств в примитивных кольцах началось в 1965 году в работе С.А. Амицура37. Затем У. Мартиндейлом38 были получены условия наличия нетривиальных обобщенных полиномиальных тождеств в первичных кольцах. Впоследствии результаты GPI-теории были обобщены К.И. Бейдаром и А.В. Михалевым39 на случай полупервичных колец. Функциональные и обобщенные функциональные тождества были введены в 1995 году словенским математиком М. Брешаром40 и были затем использованы К.И. Бейдаром, А.В. Михалевым и М.А. Чеботарем41,42 в решении ряда открытых проблем теории Hestenes D., Space-time algebra, Gordon & Breach, N.Y., 1966.

Fauser B., Clifford-algebraische Formulierung und Regularitt der Quantenfeldtheorie. Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften. Der Fakultt fr Physik der Eberhard-Karlsau Universitt zu Tbingen, 1996.

Кецарис А.А., Алгебраические основы физики. Пространство-время и действие как универсальные алгебры, М.: Эдиториал УРСС, 2004.

Amitsur S.A., Generalized polynomial identities and pivotal monomials, Trans. Amer. Math. Soc., vol. 9, pp. 635–642 (1958).

Martindale W.S. 3rd: Prime rings satisfying a generalized polynomial identity, J. Algebra, vol. 12, pp. 576–584 (1969).

Beidar K.I., Martindale W.S. 3rd, Mikhalev A.V., Rings with generalized polynomial identities, Marcel Dekker, Inc., New York, 1996.

Brear M., Functional identities of degree two, J. Algebra, vol. 172, pp. 690–720 (1995).

Бейдар К.И., Михалев А.В., Чеботарь М.А., Тождества в кольцах, Тула: Издательство ТулГУ, 2003.

Бейдар К.И., Михалев А.В., Чеботарь М.А., Функциональные тождества в кольцах и их приложения, Успехи мат. наук, том 59, вып. 3, стр. 3–30 (2004).

колец. В частности, при помощи функциональных тождеств были описаны отображения лиевского типа, что позволило получить ответы на вопросы, сформулированные в известных проблемах Херстейна. В связи с тем, что для обобщенных полиномиальных, функциональных и обобщенных функциональных тождеств естественным образом вводятся их коразмерности, возникает вопрос о справедливости для таких коразмерностей аналогов гипотез Амицура и Регева.

Цель работы • Доказать гипотезу А. Регева для коразмерностей полиномиальных тождеств ассоциативных алгебр с единицей, имеющих PIэкспоненту 2.

• Обобщить результат В.С. Дренски о периодичности последовательности кратностей неприводимых кохарактеров в разложении обычного кохарактера ассоциативных алгебр полиномиального роста. Исследовать периодичность кратностей собственных кохарактеров ассоциативных алгебр с единицей, имеющих PI-экспоненту 2.

• Доказать аналоги гипотез С.А. Амицура и А. Регева для коразмерностей обобщенных полиномиальных тождеств. Получить критерий конечности коразмерностей обобщенных полиномиальных тождеств в терминах структуры алгебры.

• Доказать аналоги гипотез С.А. Амицура и А. Регева для коразмерностей функциональных и обобщенных функциональных тождеств.

• Исследовать тождества и коразмерности алгебры. Полуyb чить оценки на коразмерности и кохарактеры алгебр Клиффорда, выявить для алгебр Клиффорда ранга 1 полилинейное тождество наименьшей степени. Построить конечномерную супералгебру, базис тождеств грассмановой оболочки которой состоит из многочлена [x1, x2, x3, x4 ].

Научная новизна 1. Доказана гипотеза А. Регева для коразмерностей полиномиальных тождеств ассоциативных алгебр с единицей, имеющих PIэкспоненту 2. Доказано, что при фиксированных нижних строчках последовательность кратностей неприводимых кохарактеров в разложении обычного кохарактера ассоциативных алгебр полиномиального роста, начиная с некоторого места, постоянна. Благодаря этому получено новое доказательство гипотезы А. Регева для коразмерностей полиномиальных тождеств алгебр полиномиального роста. Доказано, что если в диаграмме Юнга фиксированы все строчки, кроме первой, или все столбцы, кроме первого, то кратность вхождения соответствующего неприводимого кохарактера в собственный кохарактер ассоциативных алгебр с единицей, имеющих PI-экспоненту 2, начиная с некоторого места, имеет период 2.

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

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

3. Доказаны аналоги гипотез С.А. Амицура и А. Регева для коразмерностей функциональных и обобщенных функциональных тождеств произвольных необязательно ассоциативных алгебр над полями любой характеристики.

4. Вычислены базис тождеств и коразмерности алгебры. Поyb лучены оценки на коразмерности и кохарактеры алгебр Клиффорда, выявлены полилинейные тождества наименьшей степени для алгебр Клиффорда ранга 1. Построена конечномерная супералгебра, базис тождеств грассмановой оболочки которой состоит из многочлена [x1, x2, x3, x4 ]. Это позволило вычислить коразмерности данного тождества новым способом.

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

Теоретическая и практическая ценность работы Работа имеет теоретический характер. Полученные в диссертации результаты представляют интерес для алгебры, комбинаторики, теоретической и математической физики.

Апробация работы Результаты диссертации докладывались:

• на научно-исследовательском семинаре кафедры высшей алгебры МГУ, 2009 г.;

• на семинаре «Избранные вопросы алгебры» кафедры высшей алгебры МГУ, 2005 – 2009 гг.;

• на международной алгебраической конференции, посвященной 100летнему юбилею профессора А.Г. Куроша, Москва, МГУ, 2008 г. (тезисы [7]);

• на международном алгебраическом семинаре, посвященном 80летнему юбилею члена-корреспондента РАН, профессора А.И. Кострикина, Москва, МГУ, 2009 г.;

• на международной конференции «Современные проблемы математики и механики», посвященной 70-летнему юбилею академика РАН, профессора В.А. Садовничего, Москва, МГУ, 2009 г.;

• на семинаре профессора А. Бака, университет г. Билефельда, Германия, 2007 г.;

• на конференции «Ломоносовские чтения», Москва, МГУ, 2009 г.;

• на XVI международной конференции студентов, аспирантов и молодых ученых «Ломоносов», Москва, МГУ, 2009 г.;

• на мини-конференции, посвященной 85-летнему юбилею профессора А.Д. Мышкиса, Москва, МИЭМ, 2005 г.

Публикации Результаты автора по теме диссертации опубликованы в 7 работах, из них в журналах из перечня ВАК. Список данных работ приводится в конце автореферата [1–7].

Структура и объем диссертации Диссертационная работа состоит из введения, 4 глав и заключения. Список литературы включает 58 наименований. Общий объем диссертации составляет 106 страниц.

Краткое содержание работы В первой главе приводятся необходимые сведения из теории колец, теории полиномиальных тождеств и теории представлений.

Пусть X = {x1, x2,...} — счетное множество, F — поле характеристики нуль, F X — свободная ассоциативная алгебра над полем F, т.е. алгебра всех многочленов от счетного набора некоммутирующих переменных X с коэффициентами из F. Пусть A — некоторая ассоциативная алгебра над полем F. Многочлен f F X называется обычным полиномиальным тождеством для алгебры A, если f (a1, a2,..., an ) = 0 для всех a1, a2,..., an A.

Совокупность Id(A) полиномиальных тождеств алгебры A является T идеалом в F X, т.е. (Id(A)) Id(A) для всех End(F X ). Если Id(A) = 0, то A называется PI-алгеброй. Обозначим через Pn пространство полилинейных многочленов от некоммутирующих переменных x1, x2,..., xn с коэффициентами из поля F, тогда число cn (A) = dim Pn называется n-й коразмерностью обычных полиномиальных тождеств алгебры A.

На определена естественная структура F Sn -модуля. ХаракPn Id(A) n-м кохарактером обычных полиномиальных тождеств алгебры A. Как известно, каждому неприводимому представлению Sn соответствует разбиение n числа n на положительные слагаемые.

Многочлен, являющийся линейной комбинацией произведений вида [xi1,..., xik ][xik+1,..., xi ]... [xip,..., xir ], называется собственным. Обозначим через пространство собственных полилинейных многочленов от переменных x1, x2,..., x. Характер (A) представления группы S на пространстве Id(A) называется -м собственным кохарактером алгебры A.

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

В параграфе 2.1 доказываются следующие теоремы:

Теорема 1. Пусть A — (необязательно конечномерная) алгебра с 1 над полем F, char F = 0, причем P I exp A = 2. Тогда в алгебре A выполнена гипотеза Регева.

Теорема 2. Пусть A — алгебра с 1 над полем F, char F = 0, причем P I exp A = 2. Тогда существуют такие числа p, 1 N, что для всех выполнено где (A) = k() — разложение собственного кохарактера в сумму неприводимых.

Теорема 3. Пусть A — алгебра (необязательно с единицей) над полем F, char F = 0, причем P I exp A = 1. Тогда существуют такие числа p, n1 N, что для всех n выполнено где n (A) = m() — разложение обычного кохарактера в сумму неприводимых.

В доказательстве теорем 2 и 3 показывается, что исследуемые кратности ограничены. Для многочленов определенного вида, линейно независимых по модулю полиномиальных тождеств, строятся их линейно независимые аналоги бльших степеней, отвечающие аналогичным диаграммам Юнга.

Справедливость теоремы 1 следует из теоремы 2.

Теорема 3 является обобщением результата В.С. Дренски11 о периодичности кохарактеров алгебр полиномиального роста и позволяет доказать гипотезу А. Регева для таких алгебр новым способом.

В параграфе 2.2 вычисляются базис, коразмерности, кодлины и кохарактеры полиномиальных тождеств алгебры, состоящей из верхнетреугольных матриц 3 3 вида 0 y b над полем F нулевой характеристики. В параx графе 2.3 обсуждаются графы коммутативности и их алгебры, которые затем используются в последующих параграфах. Параграф 2.4 посвящен изучению тождеств в алгебрах Клиффорда. В нем получены оценки на коразмерности и кохарактеры алгебр Клиффорда, выявлены полилинейные тождества наименьшей степени для алгебр Клиффорда ранга 1. В параграфе 2.5 строится конечномерная супералгебра, базис тождеств грассмановой оболочки которой состоит из коммутатора длины 4. Это позволяет вычислить коразмерности данного тождества новым способом.

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

Пусть A — ассоциативная алгебра над некоторым полем F.

Многочлен f (x1,..., xn ) F X F A называется обобщенным полиномиальным тождеством алгебры A, если f (a1,..., an ) = 0 для всех ai A, 1 i n. (Здесь знаком обозначено свободное произведение, или, в другой терминологии, некоммутативное копроизведение алгебр.) Понятно, что обобщенные тождества алгебры A образуют идеал в алгебре F X F A.

Обозначим этот идеал через GId(A).

Пример. Пусть A = M2 (F ), тогда (Для проверки достаточно подставить матричные единицы eij.) Элементы пространства Vn (A) называются обобщенными полилинейными многочленами от переменных x1, x2,..., xn с коэффициентами в алгебVn (A) ре A. Последовательность gcn (A) = dim коразмерностей обобVn (A)GId(A) щенных полиномиальных тождеств назовем последовательностью обобщенных (полиномиальных) коразмерностей алгебры A.

В диссертации доказываются следующие теоремы:

Теорема 4. Пусть A — ассоциативная алгебра над полем F характеристики 0, причем A = I + J — сумма идеалов, dimF I < +, а J — нильпотентен. Тогда существуют n0 N, C Q+, r Z+, что gcn (A) < + при n n0 и gcn (A) Cnr dn при n. Здесь d = P I exp(A) Z+.

Теорема 5. Пусть A — ассоциативная алгебра над произвольным полем F. Если gcn (A) < + для некоторого n N, то A = I + J для некоторых идеалов I и J, причем dimF I < +, а J — нильпотентен.

Следствие. Если A — ассоциативная алгебра над некоторым полем F характеристики 0 и для некоторого n N выполнено условие gcn (A) < +, то для обобщенных полиномиальных тождеств такой алгебры справедливы аналоги гипотез С.А. Амицура и А. Регева.

В доказательстве теоремы 4 случай бесконечномерной алгебры сводится к конечномерному случаю. Переменные переупорядочиваются при помощи введения их «фантомов». Определяется действие произведений групп подстановок на пространствах обобщенных полилинейных многочленов и показывается, что в разложения этих пространств в сумму неприводимых подмодулей входят только те подмодули, которые отвечают наборам диаграмм Юнга с длинными первыми строчками. Также доказывается, что кратности таких подмодулей с ростом числа клеток в первых строчках почти всюду постоянны. При помощи этого получается требуемая асимптотика. В доказательстве теоремы 5 показывается, что факторалгебра по радикалу Джекобсона всякой алгебры, удовлетворяющей условиям теоремы 5, конечномерна, а сам радикал нильпотентен.

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

Пусть A — необязательно ассоциативная алгебра над полем F произвольной характеристики. Выражение назовем полилинейным функциональным многочленом степени n с коэффициентами в алгебре A. Здесь Gi, Hi : A(n1) A — произвольные F линейные отображения, n 2. Линейными функциональными многочленами степени 1 будем называть выражения вида cx + xd, где c, d A.

Полилинейные функциональные многочлены степени n образуют векторное пространство, которое мы обозначим через F Pn (A).

Пусть f F Pn (A). Если f (p1,..., pn ) = 0 для всех p1,..., pn A, то говорят, что f — функциональное тождество алгебры A. Понятно, что множество F Idn (A) полилинейных функциональных тождеств степени n N является линейным подпространством в пространстве F Pn (A). Коразмерности f cn (A) = dim F Idn (A) функциональных тождеств назовем функциоFP нальными коразмерностями алгебры A.

Пример. Пусть A — алгебра с единицей, H : A A — линейное отображение, переводящее единицу в единицу, а остальные элементы базиса — в 0.

Тогда H(x)y yH(x) F Id2 (A).

Аналогично, выражение назовем обобщенным полилинейным функциональным многочленом степени n с коэффициентами в алгебре A. Здесь Gik, Hik : A(n1) A — произвольные F -линейные отображения, aik, bik A {1}, n 2, N. Скобки на произведениях расставляются произвольно. Линейными обобщенными функциональными многочленами степени 1 будем называть выражения виak xbk + cx + xd, где ak, bk, c, d A, N. Полилинейные обобщенные функциональные многочлены степени n образуют векторное пространство, которое мы обозначим через GF Pn (A).

Пусть f GF Pn (A). Тогда, как и в случае обычных функциональных тождеств, говорят, что f — обобщенное функциональное тождество алгебры A, если f (p1,..., pn ) = 0 для всех p1,..., pn A. Множество GF Idn (A) полилинейных функциональных тождеств степени n N является линейным подпространством в пространстве GF Pn (A). Коразмерности gf cn (A) = dim GF Idn (A) обобщенных функциональных тождеств назовем обобщенными функциональными коразмерностями алгебры A.

Пример. Пусть A — алгебра Грассмана с порождающими ei, H : A A — линейное отображение, переводящее e1 в e1, а остальные элементы базиса — в 0. Тогда H(x)ye1 GF Id2 (A).

Центральное место в четвертой главе занимает Теорема 6. Пусть A — необязательно ассоциативная алгебра над некоторым полем F произвольной характеристики, A2 = ab | a, b A F.

Тогда справедливы следующие утверждения:

1. Если A2 = 0, то f cn (A) = gf cn (A) = 0 для всех n N.

2. Если A2 = 0 и dim A = +, то f cn (A) = gf cn (A) = + для Следствие. Для функциональных и обобщенных функциональных тождеств конечномерных алгебр справедливы аналоги гипотез С.А. Амицура и А. Регева.

В доказательстве теоремы 6 используются естественные вложения Размерность подпространств оценивается при помощи введения упорядочения на элементах базиса пространства HomF (An ; A2 ) и построения функциональных многочленов специального вида.

Благодарности Автор благодарит своего научного руководителя, доктора физикоматематических наук, профессора Михаила Владимировича Зайцева за постановку задач и внимательное руководство в процессе исследовательской деятельности. Автор глубоко признателен профессору Александру Васильевичу Михалеву и профессору Виктору Николаевичу Латышеву за интерес, проявленный к работе. Александр Васильевич обратил внимание автора на задачи, связанные с алгебрами Клиффорда, обобщенными полиномиальными и функциональными тождествами. Автор искренне благодарен профессору Ю.А. Бахтурину и члену-корреспонденту Болгарской АН, профессору В.С. Дренски за внимание к работе. Автор благодарит участников семинара «Избранные вопросы алгебры» и всех сотрудников кафедры за обсуждение результатов диссертации и творческую атмосферу, которая способствовала научной работе.

Автор посвящает работу своим родителям.

Работы автора по теме диссертации [1] А.С. Гордиенко, Коразмерность и кодлина одной пятимерной алгебры, Вестн. Моск. ун-та, Сер. 1, Математика. Механика, вып. 4, стр. 18– (2006).

[2] А.С. Гордиенко, Коразмерности коммутатора длины 4, Успехи мат.

наук, том 62, вып. 1, стр. 191–192 (2007).

[3] А.С. Гордиенко, О тождествах в алгебрах Клиффорда, Сибирский математический журнал, том 49, вып. 1, стр. 61–66 (2008).

[4] А.С. Гордиенко, Гипотеза Регева и кохарактеры тождеств ассоциативных алгебр PI-экспоненты 1 и 2, Матем. заметки, том 83, вып. 6, стр. 815–824 (2008).

[5] А.С. Гордиенко, Коразмерности функциональных тождеств, Успехи мат. наук, том 64, вып. 1, стр. 141–142 (2009).

[6] А.С. Гордиенко, Гипотезы Амицура и Регева для коразмерностей обобщённых полиномиальных тождеств, Фундамент. и прикл. математика, том 14, вып. 7, стр. 53–62 (2008).

[7] А.С. Гордиенко, Асимптотика коразмерностей обобщенных полиномиальных тождеств, Международная алгебраическая конференция, посвященная 100-летию со дня рождения А.Г. Куроша, тезисы докладов, Москва, 2008, стр. 73–74.