ФГБОУ ВПО МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ
УНИВЕРСИТЕТ им. М. В. ЛОМОНОСОВА
На правах рукописи
Аткарская Агата Сергеевна
Изоморфизмы линейных групп
над ассоциативными кольцами
Специальность 01.01.06 математическая логика, алгебра и теория чисел
АВТОРЕФЕРАТ
диссертации на соискание учёной степени кандидата физико-математических наук
Москва 2014
Работа выполнена на кафедре высшей алгебры Механико-математического факультета ФГБОУ ВПО „Московский государственный университет имени М. В. Ломоносова“.
Научные руководители:
доктор физико-математических наук Бунина Елена Игоревна, доктор физико-математических наук, профессор Михалёв Александр Васильевич.
Официальные оппоненты:
Балаба Ирина Николаевна, доктор физико-математических наук, доцент кафедры алгебры, математического анализа и геометрии (ФГБОУ ВПО „Тульский государственный педагогический университет имени Л.Н. Толстого“).
Туганбаев Аскар Аканович, доктор физико-математических наук, профессор кафедры высшей математики (ФГБОУ ВПО „Российский экономический университет имени Г.В. Плеханова“).
Ведущая организация: ФГБОУ ВПО „Московский педагогический государственный университет“.
Защита диссертации состоится 26 сентября 2014 г.
на заседании диссертационного совета Д 501.001.84 на базе ФГБОУ ВПО „Московский государственный университет имени М. В. Ломоносова“ по адресу: 119991, Москва, ГСП-1, Ленинские горы, д. 1, ФГБОУ ВПО „Московский государственный университет имени М. В. Ломоносова“, Механико-математический факультет, аудитория 14-08.
С диссертацией можно ознакомиться в Фундаментальной библиотеке ФГБОУ ВПО „Московский государственный университет имени М. В. Ломоносова“ по адресу: Москва, Ломоносовский проспект, д. 27, сектор А, 8 этаж.
Автореферат разослан 26 августа 2014 года.
Учёный секретарь диссертационного совета Д 501.001.84 при МГУ, доктор физико-математических наук, профессор А. О. Иванов
Общая характеристика работы
Работа посвящена изучению изоморфизмов между линейными группами над ассоциативными кольцами. В диссертации рассматриваются классические полные линейные группы GL n, полные линейные группы над ассоциативными градуированными кольцами, стабильные линейные группы и стабильные унитарные группы. Описывается действие изоморфизма между данными группами на соответствующих элементарных подгруппах.
Актуальность темы. Автоморфизмы и изоморфизмы линейных групп изучаются математиками с начала XX века. Исследование автоморфизмов линейных групп началось с работы Шрайера и Ван-дер-Вардена1, в которой были описаны автоморфизмы группы PSL n, n 3, над произвольным полем. Затем примененный в этой работе метод был обобщен Хуа2, и с его помощью были описаны автоморфизмы симплектических групп над полем характеристики, не равной 2. Далее в 1950х Дьдонне и е Риккартом был введен метод инволюций. С его помощью были исследованы автоморфизмы группы GL n, n 3, а также унитарных и симплектических групп над телами характеристики, не равной 2.
Затем Хуа и Райнером6 было получено описание автоморфизмов группы GL n (Z). Данный результат был обобщен на некоммутативные области главных идеалов в работе7 Лэндином и Райнером, а также в работе8 Вань Чжесянем.
В 1960х О’Мирой был разработан метод вычетных пространств9 10. При помощи данного метода были изучены автоморфизмы GL n, n 3, над областями целостности и автоморфизмы симплектических групп специального вида над полями (так называемые группы, богатые трансвекциями).
Независимо с помощью метода инволюций Янь Щицзянем11 также были описаны автоморфизмы группы E n (R), n 3, где R область целостноSchreier О., Waerden В.L. van der. Die Automorphismen der projektiven Gruppen. Abh. Math. Sem.
Univ. Hamburg. 1928. 6. 303–322.
Hua L.K. On the automorphisms of the symplectic group over any eld. Ann. of Math. 49. 1948.
739–759.
Dieudonne J. On the automorphisms of the classical groups. Mem. Amer. Math. Soc. 1951. 2.
1–95.
Rickart С.Е. Isomorphic groups of linear transformations, I. Amer. J. Math. 1950. 72. 451–464.
Rickart C.E. Isomorphic groups of linear transformations, II. Amer. J. Math. 1951. 73. 697–716.
Hua L.K., Reiner I. Automorphisms of the unimodular group. Trans. Amer. Math. Soc. 1951. 71.
331–348.
Landin J., Reiner I. Automorphisms of the general linear group over a principal ideal domain. Ann.
Math. 1957. 65, №3. 519–526.
Wan C.H. An the automorphism of linear group over a noncommutative principal ideal domain of characteristic = 2. Acta Math. Sinica. 1957. 7. 533–573.
O’Meara O.T. Lectures on linear groups. Providence, Rhode Island, 1974.
O’Meara O.T. The automorphisms of the standard symplectic group over any integral domain. J. Reine Angew. Math. 1968. 230. 103–138.
Yan Shi-jian. Linear groups over a ring. Chinese Math. 1965. 7, №2. 163–179.
сти характеристики = 2.
В работе12 Макдональдом и Помфрэ были исследованы автоморфизмы GL n, n 3, над коммутативным локальным кольцом с 1. Далее, Уотерхаузом было получено описание автоморфизмов группы GL n, n 3, над произвольными коммутативными кольцами с 2. Затем В.М. Петечуком14 изучены автоморфизмы GL n, n 3, над коммутативным локальным кольцом с 3. После этого при помощи разработанного им метода локализации В.М. Петечук15 получил описание автоморфизмов GL n, n 4, над произвольным коммутативным кольцом. Изучались также группы автоморфизмов свободных модулей бесконечного ранга. Ли Фуанем16 был описан вид автоморфизмов стабильных линейных групп над произвольными коммутативными кольцами.
Макквин и Макдональд17 получили описание автоморфизмов групп Sp n размерности 6 над коммутативным локальным кольцом, содержащим 2. Продолжая работу в этом направлении, в 1980 году В.М Петечуком18 были исследованы автоморфизмы симплектических групп над произвольным коммутативным локальным кольцом. А затем, в 1983 году, применив метод локализации, В.М Петечук19 продолжил описание автоморфизмов на случай Sp n (R), n 6 над произвольным коммутативным кольцом R.
Затем возникла задача изучения изоморфизмов линейных групп над произвольными ассоциативными кольцами (без предположения о коммутативности). И.З. Голубчиком и А.В Михалвым20 было дано описание изоморфизмов группы GL n (R) в случае ассоциативного кольца R с 2 при n 3, и независимо в то же время подобные результаты (другими методами) были получены Е.И. Зельмановым21. Далее, в 1997 году И.З. Голубчиком22 описание изоморфизмов GL n (R) было продолжено на случай McDonald В.R., Pomfret J. Automorphisms of GL n (R), R a local ring. Trans. Amer. Math. Soc.
1972. 173 379–388. (Русский перевод в кн.: Автоморфизмы классических групп. М.: Мир, 1976.
176–187).
Waterhouse W.С. Automorphisms of GL n (R). Proc. Amer. Math. Soc. 1980. 79, №3. 347–351.
Петечук В.М. Автоморфизмы групп SL n, GL n над некоторыми локальными кольцами. Матем.
заметки. 1980. 28, №2. 187–206.
Петечук В.М. Автоморфизмы матричных групп над коммутативными кольцами. Матем. сборник. 1982. 117, №4. 534–547.
Li Fuan. Innite Steinberg Groups. Acta Mathematica Sinica. 10, №2. 149–157.
McQueen L., McDonald B.R. Automorphisms of the symplectic group over a local ring. J. Algebra.
1974. 30, №1-3. 485–495.
Петечук В.М. Автоморфизмы симплектической группы Sp n (R) над некоторыми локальными кольцами. Деп. ВИНИТИ, №2224-80.
Петечук В.М. Изоморфизмы симплектических групп над коммутативными кольцами. Алгебра и Логика. 1983. 22, №5. 551–562.
Голубчик И.З., Михалв А.В. Изоморфизмы полной линейной группы над ассоциативным колье цом. Вестн. Моск. ун-та. Матем. Механ. 1983. №3. 61–72.
Зельманов Е.И. Изоморфизмы линейных групп над ассоциативным кольцом. Сиб. мат. журн.
1985. 26, №4. 49–67.
Голубчик И.З. Линейные группы над ассоциативными кольцами. Докт. дис. Уфа, 1997.
произвольного ассоциативного кольца при n 4.
В 1983 году И.З. Голубчиком и А.В. Михалвым23 были исследовае ны изоморфизмы унитарных групп над произвольными ассоциативными кольцами, содержащими 1, с некоторыми ограничениями на размерность группы и ранг формы. Для более частного случая, когда n = 2k и гиперболический ранг формы Q максимален (то есть равен k), автоморфизмы группы U n (R,, Q), k 3 были независимо описаны в 1985 году Е.И Зельмановым24.
Цель работы. Целью работы является описание изоморфизмов классических линейных групп, а также стабильных линейных групп над различными классами ассоциативных колец.
Научная новизна. Результаты диссертации являются новыми и получены автором самостоятельно. Основными в представленной работе являются следующие результаты:
• модифицированное доказательство теоремы И.З. Голубчика об изоморфизме между полными линейными группами над ассоциативными кольцами;
• продолжение теоремы И.З. Голубчика об изоморфизме между полными линейными группами на случай линейных групп над ассоциативными градуированными кольцами;
• описание действия изоморфизмов между стабильными линейными группами над кольцами, содержащими 1, на стабильной элементарной подгруппе;
• описание действия изоморфизмов между стабильными унитарными группами над кольцами, содержащими 1, на стабильной унитарной элементарной подгруппе.
Методы исследования. В диссертации используются методы классической теории колец и модулей над кольцами, а также специальные методы, разработанные для описания действия изоморфизмов между линейными группами, в том числе метод инволюций.
Теоретическая и практическая ценность. Работа имеет теоретический характер. Полученные результаты вносят вклад в решение задачи описания изоморфизмов линейных групп над кольцами.
Голубчик И.З., Михалв А.В. Изоморфизм унитарных групп над ассоциативными кольцами. Зап.
науч. семинаров Ленингр. отд. Мат. ин-та АН СССР. 1983. 132. 97–109.
Апробация диссертации. Результаты диссертации докладывались автором на следующих международных конференциях:
• VII международная алгебраическая конференция на Украине (Харьков, 2009);
• международный алгебраический симпозиум, посвященный 80-летию кафедры высшей алгебры механико-математического факультета МГУ и 70-летию профессора А.В. Михалва (Москва, 2010);
а также на следующих семинарах Механико-математического факультета МГУ:
• научно-исследовательский семинар по алгебре (2010–2013, неоднократно);
• семинар “Алгебра и теория моделей” (2009–2013, неоднократно);
• семинар “Теория групп” (2012).
Публикации. Основные результаты диссертации опубликованы в работах [1] [5], из них [2] и [5] в журналах из перечня ВАК.
Структура диссертации. Диссертация состоит из введения, четырёх глав, содержащих 14 разделов, и списка литературы. Библиография содержит 36 наименований. Текст диссертации изложен на 98 страницах.
Содержание работы Работа состоит из четырех глав. Глава 1 имеет вспомогательный характер, в ней вводятся необходимые для работы базовые понятия и обозначения. В разделе 1.1 мы вводим обозначения для используемых матричных колец, определяем понятия системы матричных единиц, элементарной подгруппы, стабильной линейной группы и стабильной элементарной подгруппы.
В разделе 1.2 даются необходимые сведения об унитарных группах, вводятся определения стабильной унитарной группы и стабильной унитарной элементарной подгруппы. Раздел 1.3 посвящен необходимым сведениям из теории градуированных колец и модулей. Даются определения градуированного кольца, градуированного модуля, градуированного морфизма.
Вводится понятие градуированного кольца эндоморфизмов градуированного модуля и понятие хорошей градуировки на кольце матриц.
В главе 2 дается модифицированное автором доказательство следующей теоремы И.З. Голубчика25 об изоморфизме между линейными группами над ассоциативными кольцами.
Теорема. Пусть R и S ассоциативные кольца с 1, n 4, m 2и : GL n (R) GL m (S) изоморфизм групп. Тогда существуют центральные идемпотенты e и f колец Mat n (R) и Mat m (S) соответственно, кольцевой изоморфизм и кольцевой антиизоморфизм такие, что для всех A E n (R).
В разделе 2.1 вводится определения кольца частных и канонического гомоморфизма и доказываются вспомогательные утверждения. Раздел 2.2 посвящен доказательству основного результата. Также в этом разделе автором сформулирована и доказана теорема, описывающая действие изоморфизма линейных групп на подгруппе GE n (R). В разделе 2.3 приводится подробное доказательство вспомогательных технически сложных предложений, которые использовались при доказательстве основного результата. Раздел 2.4 посвящен изучению изоморфизма линейных групп над асооциативными градуированными кольцами. Автором вводится следующее определение ванные кольца с 1, Mat n (R), Mat m (S) градуированные кольца матриц с хорошей градуировкой. Изоморфизм групп : GL n (R) GL m (S) назовем изоморфизмом, согласованным с градуировкой, если и выполнено свойство:
Доказана теорема S= Sg ассоциативные градуированные кольца с единицей, Mat n (R), Mat m (S) градуированные кольца матриц с хорошей градуировкой, n 4, m изоморфизм групп, согласованный с градуировкой. Пусть изоморфизм тоже согласован с градуировкой. Тогда существуют центральные идемпотенты q и f колец Mat n (R) и Mat m (S) соответственно, q Mat n (R)e, f Mat m (S)e, кольцевой изоморфизм и кольцевой антиизоморфизм сохраняющие градуировку, такие, что для всех A E n (R).
Глава 3 посвящена описанию изоморфизма между стабильными линейными группами над ассоциативными кольцами, содержащими 2. Основной результат этой главы продолжает описание изоморфизма линейных групп, полученный И.З. Голубчиком и А.В. Михалвым26. Доказана следующая Теорема. Пусть R и S GL (S) изоморфизм групп. Тогда существуют центральные идемпотенты h и e колец Mat (R) и Mat (S) соответственно, кольцевой изоморфизм и кольцевой антиизоморфизм такие, что для всех A E (R).
Доказательство теоремы ведется с использованием модифицированного метода инволюций. В разделе 3.1 приводятся необходимые для дальнейшего доказательства вспомогательные утверждения, а также строится система матричных единиц {fij, i, j N} кольца Mat (S), обладающая свойством (E 2eii ) = E 2fii, i N. Далее в разделе 3.2 строится изоморфизм между кольцами E (S) и E (S1 ), S1 = f11 Mat (S)f11, что позволяет нам в дальнейшем записывать элементы GL (S) удобным способом. Затем в разделе 3.3 мы описываем образы элементов из E (R) при изоморфизме и строим кольцевые отображения 1 и 2, обладающие необходимыми свойствами. Это завершает доказательство теоремы.
В главе 4 описывается действие изоморфизма между стабильными унитарными группами над ассоциативными кольцами, содержащими 2, на стабильной элементарной подгруппе. Результат этой главы продолжает описание изоморфизма унитарных групп, полученное И.З. Голубчиком и А.В. Михалвым27. Основным результатом является следующая Теорема. Пусть R и S ассоциативные кольца с 2, инволюция (антиавтоморфизм порядка два) на R, инволюция на S, : U (R) U (S) изоморфизм стабильных унитарных групп. Пусть также существует обратимый элемент Z(R), такой, что 1 обратим.
Тогда существует кольцевой изоморфизм такой, что При доказательстве теоремы используется развитый метод инволюций.
Раздел 4.1 посвящен введению необходимых для доказательства дополнительных обозначений и соглашений. В разделе 4.2 даются необходимые вспомогательные результаты и производятся предварительные вычисления. Также вводится система матричных единиц {zij, i, j N N }, обладающая свойством (E 2(eii + ei i )) = E 2(zii + zi i ). Затем в разделе 4.3 строится изоморфизм между кольцами U (S) и U (S1 ), S1 = z11 Mat 2, (S)z11, что позволяем нам далее записывать элементы из U (S) в удобном виде. В разделе 4.4 мы описываем образы элементов из EU (R) и строим кольцевой изоморфизм, удовлетворяющий условию теоремы. Это завершает рассмотрение в главе 4.
Благодарности Автор выражает глубокую благодарность своим научным руководителям Александру Васильевичу Михалву и Елене Игоревне Буниной за пое становку задач, руководство работой и поддержку. Автор благодарен всему коллективу кафедры высшей алгебры за тёплую атмосферу и полезные обсуждения.
Работы автора по теме диссертации [1] Аткарская А.С., Бунина Е.И., Михалв А.В. Изоморфизмы общих лие нейных групп над ассоциативными кольцами, градуированными абелевой группой. Доклады Академии наук. 2011. 437, №3. 295– 296. Аткарской А.С. принадлежит формулировка и доказательство основного результата: теоремы об изоморфизмах линейных групп над градуированными кольцами (теоремы 2); Буниной Е.И. принадлежит часть введения, касающаяся градуированных колец и модулей; Михалву А.В. принадлежит историческое введение к статье и общая редакция работы.
[2] Аткарская А.С. Изоморфизмы стабильных линейных групп над ассоциативными кольцами, содержащими 1. Вестн. Моск. ун-та. Матем.
Механ. 2014, №4. с. 28–32.
[3] Аткарская А.С. Стабильные группы над ассоциативными кольцами с 2. Описание изоморфизмов стабильных линейных групп. Фундамент. и прикл. матем. 2013. 18, №1. 3 20.
[4] Аткарская А.С. Стабильные группы над ассоциативными кольцами с 1. Описание изоморфизмов стабильных унитарных групп. Фундамент. и прикл. матем. 2013. 18, №4. 3 21.
[5] Аткарская А.С., Бунина Е.И., Михалв А.В. Изоморфизмы общих лие нейных групп над ассоциативными кольцами, градуированными абелевой группой. Фундамент. и прикл. матем. 2010. 16, №3. 5–40.
Аткарской А.С. принадлежат главы 1-–3 и формулировки и доказательства в главе 4; Буниной Е.И. принадлежит введение к главе 4; Михалву А.В. принадлежит историческое введение к статье и общая редакция работы.