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

003452512

УДК 510.67-1 512.54+512.55 На правах рукописи

МИНАКОВА Елизавета Викторовна

ТЕОРЕТИКО-МОДЕЛЬНЫЕ И СМЕЖНЫЕ ВОПРОСЫ КОЛЕЦ, АССОЦИИРОВАННЫХ С КОЛЬЦОМ НИЛЬТРЕУГОЛЬНЫХ МАТРИЦ

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

АВТОРЕФЕРАТ

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

Красноярск - 2008 ' 0 п Г' ' ^ ' ^

003452512

Диссертация выполнена на кафедре алгебры и математической логики Сибирского федерального университета

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

профессор ЛЕВЧУК Владимир Михайлович

Официальные оппоненты: доктор физико-математических наук,

профессор ПВРЯЗЕВ Николай Алексеевич,

кандидат физико-математических наук, доцент БУНИНА Елена Игоревна

Ведущая организация: Институт математики СО РАН

Защита состоится 28 ноября 2008 года в 15.30 на заседании диссертационного совета Д 212.099.02 в Сибирском федеральном университете по адресу: С60041, г. Красноярск, пр. Свободный, 79.

С диссертацией можно ознакомиться в библиотеке Сибирского федерального университета.

Автореферат разослан " ¿С) " октября 2008 года.

Г

Бушуева Н.А.

Ученый секретарь диссертационного совета

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ 1

Актуальность темы. В диссертации взаимосвязано исследуются элементарная эквивалентность, автоморфизмы и изоморфизмы нильпотентпых матричных колец и групп.

Зависимость элементарной эквивалентности и других модельных свойств линейных групп от свойств полей или колец коэффициентов, по-видимому, впервые стал изучать А.И. Мальцев. Соответствие между элементарными свойствами унитреугольной группы {/Т(3, К) степени 3 с выделенными параметрами и кольца коэффициентов К с единицей (не обязательно ассоциативного) установлено в статье [1]. Согласно [2], элементарная эквивалентность групп Gn, G = GL, PGL, SL или PSL, степеней n > 3 над полями нулевой характеристики переносится на поля коэффициентов.

Аналог теоремы А.И. Мальцева из [2] устанавливался для случая первичных ассоциативных колец коэффициентов с 1/2 в [3], а для групп Шевалле и их унипотентных подгрупп над полями характеристики ф- 2,3 - в работах A.B. Михалева, Е.И. Буниной, К. Видэла и др., см. обзор [4] и [5]. Методы А.И. Мальцева развивали ЮЛ. Ершов, Б. Роуз, О.В. Белеградек и др., [6] - [10]. Исследования теоретико-модельных свойств линейных групп и колец развивались с 70-х годов в тесной связи с теорией изоморфизмов.

Пусть К и S - произвольные ассоциативные кольца с единицей. Унитреугольная группа UT(n,K) представляется присоеди-

1 Работа выполнена при поддержке Российского фонда фундаментальных исследований (код проекта 06-01-00824а).

ненной группой кольца Я = МТ(п, К) (нижних) нильтреугольных п х п матриц над К; изоморфизм дает отображение а -> е + а с единичной матрицей е. Зависимость элементарной эквивалентности унитреугольных групп и колец нильтреугольных матриц ИТ{п,К) = 7УТ(т, Я) от элементарных свойств колец коэффициентов вызывала интерес с 70-х годов. Группу автоморфизмов Аи1 К описал В.М. Левчук в 1975 году. Пользуясь этим описанием и мальцевским соответствием, К. Видэла интерпретировал в кольце ИТ(п,К) кольцо коэффициентов К и перенес элементарную эквивалентность: ЛГТ(тг, К) = ИТ{т, Б) (п > 3) о п = т, К ен 5, [11]. (Частный случай полей коэффициентов исследовали Роуз [7] и Велер [12].)

Аналогичные вопросы естественно возникают для ассоциированных кольца Ли Л(Я) и Иордана J(R). Свойство группы или кольца иметь ступень нильпотентности п сохраняется при элементарной эквивалентности. В диссертации исследуются вопросы:

(A) Описать зависимость элементарной эквивалентности иТ(п, К) = иТ{п, 5) от элементарных свойств колец коэффициентов;

(Б) Описать связь элементарной эквивалентности колец Ли А(МТ(п, К)) = к{ЫТ(п, в)) и элементарных свойств колец коэффициентов;

(B) Найти изоморфизмы йордановых колец и условия их элементарной эквивалентности 3{ИТ(п,К)) = 7(ЛГГ(п, 5)).

О.В. Белеградек [13] решил вопрос (А), когда одно из колец коэффициентов коммутативно или без делителей нуля. Изоморфизмы колец А7Т(п,К), ассоциированных колец Ли и унитреуголь-ных групп исследованы (с некоторыми ограничениями на К для п = 3,4) в [14] - [16]. Иордановы изоморфизмы мало изучены.

Цель диссертации. Основные результаты диссертации направлены на решение вопросов (А) - (В).

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

Научная новизна и практическая ценность. Все основные результаты диссертации являются новыми. Диссертация носит теоретический характер.

Апробация диссертации. Результаты диссертации были представлены на V Всесибирском конгрессе женщин-математиков (г. Красноярск, 2008), на международных алгебраических конференциях в Красноярске (2007) и Москве (2008), Мальцевких чтениях (г. Новосибирск, 2007), на международном Российско-Китайском семинаре (г.Иркутск, 2007) и на 7-й международной школе-конференции по теории групп (г. Челябинск, 2008), на семинарах НГУ - ИМ "Алгебра и логика" и "Теория вычислимости" (г. Новосибирск, 2008) и на алгебраическом семинаре Сибирского федерального университета (г. Красноярск).

Публикации. Основные результаты диссертации оиубликова-

ны в работах [19]—[28], в том числе, и в изданиях из перечня ВАК.

Структура и объем диссертации. Диссертация включает введение, три главы и список литературы. Номер теоремы, леммы и др. включает последовательно номер главы, параграфа и порядковый номер в параграфе.

Содержание диссертации

Пусть К и 5 - произвольные ассоциативные кольца с единицей, К = 7УТ(п, К) - кольцо нильтреугольных матриц степени п > 3 над К и В! = ЛТ(п, ¿>). Основными в диссертации являются следующие результаты:

- доказано, что элементарная эквивалентность Л{Л) = Л(Д') ассоциированных колец Ли переносится на кольца коэффициентов при условии их коммутативности;

- получают решение для степеней п > 4 вопросы (А), (Б) об элементарной эквивалентности унитреугольных групп иТ(п, К) — иТ(п, 5) и ассоциированных колец Ли;

- построена интерпретация с параметрами кольца коэффициентов в ассоциированные кольца Ли К{Щ и Йордана J(R)^,

- доказано, что каждый автоморфизм кольца Йордана J(R) при п > 4 есть произведение его идемпотентно-кольцевого и ги~ перцентрального высоты < 3 автоморфизмов на автоморфизм кольца Л.

Напомним, что кольцо Ли А(В) := (Л,+,*) с лиевым умножением а * Р = а/3 — Ра и кольцо Йордана 3{В) := (Л, +, о) с умножением а о р = аР + ра ассоциируют с каждым ассоциативным кольцом Д.

Параграф 1.1 первой главы посвящен постановке задач. В параграфах 1.2 и 1.3 единообразно усиливаются теорема об изоморфизмах финитарных колец нильтреугольных матриц из [16] и теорема Видэла [11] об элементарной эквивалентности ИТ(п,К) = АГТ(т, 5). Так, теорему Видэла усиливает

Теорема 1.3.1. Пусть К, Б - кольца с единицами, кольцо К ассоциативное и п > 2. Тогда:

ЫТ{т, 5) = ЫТ{п, К) = 5 = К.

Теоремы 1.3.1 и 1.2.1 опубликованы в [20]. Доказательство теоремы 1.3.1, как и в статье Видэла [11], основано на применении насыщенных алгебраических систем. Её более короткое доказательство в § 2.1 главы 2 использует аппарат ультрапроизведений.

В главе 2 дано решение вопроса (Б) об условиях элементарной эквивалентности колец Ли, ассоциированных с кольцами АГТ(п, К) и ЛТ(гг, 5) (п > 3) в случаях, когда кольца коэффициентов коммутативны или п > 4. При тех же ограничениях, в развитие теоремы О.В. Белеградека, решение получает также вопрос (А).

Центральными в главе 2 и диссертации являются следующие теоремы.

Теорема 2.2.1. Пусть К, 5 - ассоциативные кольца с единицами и п> 4. Тогда каждая из элементарных эквивалептностей

Л(ЛГГ(п, К)) = Л(^Т(п, 5)), иТ(п, К) = иТ(п, 5)

равносильна сугцествоваиию цатральных идемпотентов / в К и дев таких, что

= дв, (1-ПК = {(1-д)3}°г.

Теорема 2.3.1. Пусть К, Б - ассоциативно-коммутативные кольца с единицами и п > 2. Тогда

Л(ЛТ(т, 5)) = Л(ЛГТ(п, К)) п = т, Я = К.

Теоремы опубликованы в [21] (соавтор В.М. Левчук) и [19]. Их доказательство проводится методом ультрапроизведений, обоснование которого приведено в § 2.1.

В связи с теоремами 1.2.1 и 1.3.1 отметим, что остается открытым вопрос О.В. Белеградека [13]: Существуют ли ассоциативное кольцо К и пеассоциативпое 5 такие, что 11Т(3, К) ~ £/Т(3, Б) 9 Для колец А(Д) и J(R), как и для унитреугольных групп, существенно различаются случаи коммутативных и некоммутативных (ассоциативных) колец коэффициентов. Интерпретация с определимыми параметрами подходящего некоммутативного кольца коэффициентов в кольца Л(Д) и не существует, по аналогии с примером О.В. Белеградека [13], см. § 2.1.

При построении мальцевского соответствия в статьях Роуза [7] и Видэла [11] предварительно доказывалась определимость в коль-

це И матричных единиц егь е32> • • • , еп,п-1- Это позволило интерпретировать кольцо коэффициентов К в кольцо Я = ИТ(п, К) баз параметров, а затем исследовать вопросы конечной аксиоматизируемости и разрешимости теории этого кольца. В главе 3 строится интерпретация с параметрами или мальцевское соответствие кольца коэффициентов в ассоциированные кольца Ли Л (Л.) и Йордана J(R) степеней п > 3. Основной в § 3.1 является

Теорема 3.1.1. Ассоциативное кольцо с единицей К интерпретируется в кольца Л(Л) и J{R) с параметрами.

Как следствие, выявляется точная связь наследственной неразрешимости теорий колец Л(Д), J{R) и колец коэффициентов.

Следствие 3.1.5. Теории колец Ли Л(Я) и Иордана J{R) наследственно неразрешимы тогда и только тогда, когда теория Тк(К) основного кольца наследственно неразрешима.

Следствия 3.1.6 и 3.1.7 дают достаточные условия рекурсивной изоморфности вышеназванных теорий.

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

Теорема 3.2.1. Пусть К есть произвольное ассоциативное кольцо с единицей и п > 4. Тогда каждый автоморфизм кольца

Йордана J(R) есть произведение его идемпотентно-кольцевого и гиперцентралъного высоты < 3 автоморфизмов на автоморфизм кольца R.

Частные случаи этой теоремы доказываются в [17], [18] и др. Теоремы 3.1.1 и 3.2.1 опубликованы в [21].

Автор благодарна своему научному руководителю В.М. Левчу-ку за помощь при постановке задач и в подготовке работ.

Признательна сотрудникам кафедры алгебры и математической логики и института математики Сибирского федерального университета за хорошие условия для работы над диссертацией.

Список литературы

[1] Мальцев, А.И. Об одном соответствии между кольцами и группами / А.И. Мальцев // Матем. сборник. - I960. - Т. 50. -С. 257-266.

[2] Мальцев, А.И. Элементарные свойства линейных групп / А.И. Мальцев //В кн.: Некоторые проблемы в Математике и механике. Новосибирск, Изд-во АН СССР. - 1961. - С. 110-132.

[3] Beidar, C.I. On Malcev's theorem on elementary equivalence of linear groups / C.I. Beidar, A.V. Michalev // Contemp. math. -1992. - Vol. 131. - P. 29-35.

[4] Бунина, Е.И. Элементарная эквивалентность линейных и алгебраических групп / Е.И. Бунина, А.В. Михалев // Фунд. и прикл. матем. - 2000. - Т. 6, № 3. - С. 707-722.

[5] Videla, С.К. On the Mal'cev correspondence / C.K. Videla // Proceed. AMS. - 1990. - Vol. 109 - P. 493-502.

[6] Ершов, Ю.Л. Элементарные теории групп / Ю-Л. Ершов // ДАН СССР. - 1972. - Т. 203. - С. 1240-1243.

[7] Rose, B.I. The xi ~categoricity of Strictly Upper Triangular Matrix Rings over Algebraically Closed Fields / B.I. Rose // J. Symbolic Logic. - 1978. - Vol. 43, № 2. - P. 250-259.

[8] Belegradek, О. V. Elementary properties of algebraically closed groups / O.V. Belegradek // Fandam. Math. - 1978. - Vol. 98, № 2. - P. 83-101.

[9] Ремесленников, B.H. Теоретико-модельные и алгоритмические вопросы теории групп / В.Н. Ремесленников, В.А. Ро-маньков // Итоги науки и техники. Серия: Алгебра, топология, геометрия. - 1983. - Т. 21. - С. 3-79.

[10] Bunina, E.I. Elementary properties of linear groups and related questions / E.I. Bunina, A.V. Mikhalev // Math. Sciences. - 2004. - Vol. 123, № 2. - P. 3921-3985.

[11] Videla, C.R. On the Model Theory of the Ring NT(n, R) / C.R. Videla // Pure and Appl. Algebra. - 1988. - Vol. 55. - P. 289-302.

[12] Wheeler, W.H. Model Theory of strictly upper triangular matrix ring / W.H. Wheeler // J. Symbolic Logic. - 1980. - Vol. 45. - P. 455-463.

[13] Belegradek, O.V. Model Theory of Unitriangular Groups / O.V. Belegradek // Amer. Math. Soc. Transl. - 1999. - Vol. 195, № 2.

[14] Левчук, В.М. Автоморфизмы некоторых нильпотентных матричных групп и колец / В.М. Левчук // ДАН СССР. - 1975. -Т. 222, JV® 6. - С. 1279-1282.

[15] Левчук, В.М. Связи унитреугольной группы с некоторыми кольцами Ч. И. Группы автоморфизмов / В.М. Левчук // Сиб. матем. ж. - 1983. - Т. 24, № 4. - С. 543-557.

[16] Kuzucuoglu, F. Isomorphisms of Certain Locally Nilpotent Finitary Groups a,nd Associated Rings / F. Kuzucuoglu, V.M. Levchuk // Acta Appl. Math. - 2004. - Vol. 82, № 2. - P. 169-181.

[17] Wang, X. T. Decomposition of Jordan automorphisms of strictly triangular matrix algebra over local rings / X.T. Wang, H. You // Linear Algebra Appl. - 2004. - Vol. 392. - P. 183-193.

[18] Wang, X. T. Decomposition of Jordan automorphisms of strictly triangular matrix algebra over commutative rings / X.T. Wang // Commun. Algebra. - 2007. - Vol. 35. - P. 1133-1140.

РАБОТЫ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ

[19] Минакова, Е.В. Элементарно эквивалентные кольца Ли ниль-треугольных матриц над коммутативными кольцами коэффициентов / Е.В. Минакова // Вестник НГУ. - 2008. - Т. 8, вып. 3. - С. 100-104.

[20] Минакова, Е.В. К теории моделей колец нильтреугольных матриц / Е.В. Минакова // Журнал Сибирского федерального университета. Математика&физика. - 2008. - JV« 2. - С. 221-227.

[21] Левчук, В.М. Вопросы об автоморфизмах и теории моделей колец Ли и Иордана нильтреугольных матриц и смежные вопросы / В.М. Левчук, Е.В. Минакова // Препринт №2. - Красноярск: ИВМ СО РАН. - 2008. - 19 с.

[22] Минакова, Е.В. О теории модели присоединённой группы кольца NTn{K) и ассоциированного с ним кольца Ли /Е.В. Минакова // Материалы XLIV Международной конфер. "Студент и научно-технический прогресс", Новосибирск: НГУ. -

2006. - С. 36.

[23] Minakova, Е. V. The isomorphisms of the niltriangular matrix rings and related questions / E.V. Minakova // Algebra & logics: Intern. Russian-Chinese Sem., Irkutsk: IGPU. - 2007. - P. 127-129.

[24] Минакова, Е.В. Изоморфизмы колец нильтреугольных матриц и смежные вопросы / Е.В. Минакова // Конф. "Алгебра и её приложения", Красноярск: ИВМ СО РАН. - 2007. - С. 94-95.

[25] Минакова, Е.В. Кольцо нильтреугольных матриц и ассоциированные с ним кольца: автоморфизмы и изоморфизмы / Е.В. Минакова // Межд. конф. "Мальцевские чтения - 2007", Новосибирск: ИМ СО РАН. - 2007. - С. 75.

[26] Минакова, Е.В. Кольцо нильтреугольных матриц и ассоциированные с ним кольца: автоморфизмы и изоморфизмы / Е.В. Минакова // Материалы V Всесибир. конгресса женщин-математиков, Красноярск: СФУ. - 2008. - С. 303-305.

[27] Минакова, Е.В. К теории моделей колец нильтреугольных матриц / Е.В. Минакова // Межд. алгебраическая конф., Москва: МГУ. - 2008. - С 75-76.

[28] Минакова, Е.В. Некоторые числовые и теоретико-модельные характеристики классических линейных групп и ассоциированных колец / Е.В. Минакова, О.В. Радченко // Материалы VII школы-конф. по теории групп, Челябинск: ЮУрГУ. - 2008. - С. 86-87.

[29] Левчук, В.М. Элементарная эквивалентность и изоморфизмы локально нильпотентных матричных групп и колец / В.М. Левчук, Е.В. Минакова // Доклады академии наук (в печати).

Подписано в печать 25.10 08г, Формат 60 х 841/к,. Печать оперативная. Усл. печ. л. У, (9 Тираж 100 экз. Заказ № У/09?

Отпечатано в ИПК СФУ. 660041 Красноярск, пр. Свободный, 79

Введение

Глава 1. Постановка задач и теоремы об изоморфизмах и элементарной эквивалентности колец нильтреугольных матриц

§ 1.1. Постановка задач и их состояние

§ 1.2. Усиление теоремы об изоморфизмах колец нильтреугольных матриц.

§ 1.3. Усиление теоремы Видела.

Глава 2. Вопросы об элементарной эквивалентности унитреуголь-ных групп и ассоциированных колец Ли

§2.1. Метод ультрапроизведений.

§ 2.2. Вопросы (А). (Б) для степени выше 4.

§ 2.3. Случай коммутативных колец коэффициентов.

Глава 3. Группа автоморфизмов и мальцевское соответствие для ассоциированных колец Йордана

§ 3.1. Мальцевское соответствие для колец Ли и Йордана нильтреугольных матриц.

§ 3.2. Автоморфизмы ассоциированных колец Иордана.

В диссертации взаимосвязано исследуются элементарная эквивалентность, автоморфизмы и изоморфизмы нильпотентных матричных колец и групп.

Зависимость элементарной эквивалентности и других модельных свойств линейных групп от свойств полей или колец коэффициентов, по-видимому, впервые стал изучать А.И. Мальцев. Соответствие между элементарными свойствами унитреугольной группы UT(3, К) степени 3 с выделенными параметрами и кольца коэффициентов К с единицей (не обязательно ассоциативного) установлено в статье [1]. Согласно [2], элементарная эквивалентность групп Gn, G = GL, PGL, SL или PSL, степеней п > 3 над полями нулевой характеристики переносится на поля коэффициентов.

Аналог теоремы А.И. Мальцева из [2] для случая первичных ассоциативных колец коэффициентов с 1/2 устанавливали К.И. Бейдар, А.В. Михалев [3], а для групп Шевалле и их унипотентных подгрупп над полями характеристики ф 2,3 - К. Видэла [5], А.В. Михалев, Е.И. Бунина и др., см. обзор [4]. Методы А.И. Мальцева развивали Ю.Л. Ершов, Б. Роуз, О.В. Белеградек и др., [б] - [10]. Исследования теоретико-модельных свойств линейных групп и колец развивались с 70-х годов в тесной связи с теорией изоморфизмов.

Пусть К и S - произвольные ассоциативные кольца с единицей. Унитреугольная группа UT(n, К) представляется присоединенной группой кольца NT(n, К) (нижних) нильтреугольных пхп матриц над К] изоморфизм дает отображение а —> е + а с единичной матрицей е. Зависимость элементарной эквивалентности колец нильтреугольных матриц NT(n, К) = NT(m, S) и унитреугольных групп от элементарных свойств колец коэффициентов вызывала интерес с 70-х годов. Группу автоморфизмов Aut R кольца R = NT(n, К) описал В.М. Левчук в 1975 году. Пользуясь этим описанием и мальцевским соответствием, К. Видэла интерпретировал в кольце R кольцо коэффициентов К и перенес элементарную эквивалентность: NT(n: К) = NT(m, S) (п > 3) 4Ф- п = то, К = S, [11]. (Частный случай полей коэффициентов исследовали Роуз [7] и Велер [12].)

Аналогичные вопросы естественно возникают для ассоциированных кольца Ли A(R) и Иордана J(R). Свойство группы или кольца иметь ступень нильпотентности п сохраняется при элементарной эквивалентности. В диссертации исследуются следующие вопросы:

A) Описать зависимость элементарной эквивалентности UT(n,K) = UT(n,S) от элементарных свойств колец коэффициентов;

Б) Описать связь элементарной эквивалентности колец Ли A(NT(n, К)) — A(NT(n, S)) и элементарных свойств колец коэффициентов;

B) Найти изоморфизмы йордановых колец и условия их элементарной эквивалентности J(NT(n, К)) = J(NT(n, S)).

О.В. Белеградек [13] решил вопрос (А), когда одно из колец коэффициентов коммутативно или без делителей нуля. Изоморфизмы колец NT(n,K), ассоциированных колец Ли и унитреугольных групп исследованы (с некоторыми ограничениями на К для п = 3,4) в работах [14] - [16]. Иордановы изоморфизмы мало изучены.

В диссертации ставится целью исследование вопросов (А) - (В). Основные результаты решают вопросы (А) и (Б) полностью для случая п > 4, см. §§ 2.2 и 2.3. Вопрос (В) разрабатывается в § 3.2.

Диссертация состоит из 3-х глав. Параграф 1.1 первой главы посвящен постановке задач. В параграфах 1.2 и 1.3 единообразно усиливаются теорема об изоморфизмах финитарных колец нильтре-угольных матриц из [16] и теорема Видэла [11] об элементарной эквивалентности NT(n,K) = NT(m,S) (теоремы 1.2.1 и 1.3.1, опубликованные автором в [35]); в обеих известных теоремах опускается условие ассоциативности одного из колец коэффициентов. Так,

Теорема 1.3.1. Пусть К, S - кольца с единицами, кольцо К ассоциативное и п > 2. Тогда:

NT(m, S) 5= NT(n, К) & п = m, S = К.

Доказательство теоремы 1.3.1, как и в статье Видэла [11], основано на применении насыщенных алгебраических систем. Второе её доказательство, приведенное в § 2.1 главы 2, использует аппарат ультрапроизведений.

В главе 2 дано решение вопроса (Б) об условиях элементарной эквивалентности колец Ли, ассоциированных с кольцами NT(n, К) и NT(n, S) (п > 3) в случаях, когда кольца коэффициентов коммутативны или п > 4. При тех же ограничениях, в развитие теоремы О.В. Белеградека, решение получает также вопрос (А).

Центральными в главе 2 и диссертации являются теоремы.

Теорема 2.2.1. Пусть К, S - ассоциативные кольца, с единицами и п > 4. Тогда каждая из элементарных эквивалентностей

A{NT(n, К)) = A(NT(n, S)), UT(n: К) = UT(n, S) равносильна существованию центральных идемпотентов f в К и g в S таких, что fK = gS, (1 - f)K = [(1 - g)Sr.

Теорема 2.3.1. Пусть К, S - ассоциативно-коммутативные кольца с единицами и п > 2. Тогда

A(NT(m, S)) ее a(NT{n, К)) & п = т, S = К.

Теоремы опубликованы в [36] (соавтор В.М. Левчук) и, соответственно, [34]. Их доказательство проводится методом ультрапроизведений, обоснование которого приведено в § 2.1.

В статьях Роуза. [7] и Видэла. [11] при построении мальцевского соответствия предварительно доказывалась определимость в кольце R матричных единиц егь ез2,-- - , еП)„1. Это позволило интерпретировать кольцо коэффициентов К в кольцо R = NT(n, К) без параметров, а затем исследовать вопросы конечной аксиоматизируемости и разрешимости теории этого кольца. В главе 3 строится интерпретация с параметрами или мальцевское соответствие кольца коэффициентов в ассоциированные кольца Ли A(R) и Йордана J(R) порядков п > 3. Основной в § 3.1 является

Теорема 3.1.1. Ассоциативное кольцо с единицей К интерпретируется в кольца A(R) и J(R) с параметрами.

Как следствия теоремы 3.1.1, выявляются точная связь наследственной неразрешимости теорий колец A(R), J(R) и колец коэффициентов (следствие 3.1.5), а также достаточные условия рекурсивной изоморфности этих теорий (следствия 3.1.6 и 3.1.7).

Для колец A(R) и J(R), как и для унитреугольных групп, существенно различаются случаи коммутативных и некоммутативных (ассоциативных) колец коэффициентов: интерпретация с определимыми параметрами в них для подходящего некоммутативного кольца коэффициентов не существует, но аналогии с примером О.В. Бе-леградека [13], см. § 2.1.

Для решения вопроса (В) требуется изучить условия изоморфности йордановых колец нильтреугольных матриц. Сложность в известных описаниях изоморфизмов ассоциированных колец Ли и, аналогично, присоединенных групп заключалась прежде всего в существовании нестандартных автоморфизмов. Основная в § 3.2 теорема 3.2.1 (совместная с В.М. Левчуком) дает описание автоморфизмов кольца Йордана J(R). Частные случаи этой теоремы доказываются в [17], [18] и др.

Теоремы 3.1.1 и 3.2.1 опубликованы в [36].

Результаты диссертации были представлены на V Всесибирском конгрессе женщин-математиков (г. Красноярск, 2008), на международных алгебраических конференциях в Красноярске (2007) и Москве (2008), Мальцевких чтениях (г. Новосибирск, 2007), на международном Российско-Китайском семинаре (г.Иркутск, 2007) и на 7-й международной школе-конференции по теории групп (г. Челябинск, 2008), на семинарах НГУ - ИМ "Алгебра и логика" и "Теория вычислимости" (г. Новосибирск, 2008) и на алгебраическом семинаре Сибирского федерального университета (г. Красноярск).

Основные результаты диссертации опубликованы в [34] - [43].

Автор благодарна своему научному руководителю В.М. Левчуку за помощь при постановке задач и в подготовке работ. Признательна сотрудникам кафедры алгебры и математической логики и института математики Сибирского федерального университета за хорошие условия для работы над диссертацией.

Работа над диссертацией была поддержана Российским фондом фундаментальных исследований, код гранта 06-01-00824а.

1. Мальцев, А.И. Об одном соответствии между кольцами и группами / А.И. Мальцев // Матем. сборник. - 1960. - Т. 50. - С. 257-266.

2. Мальцев, А.И. Элементарные свойства линейных групп /А.И. Мальцев //В кн.: Некоторые проблемы в Математике и механике. Новосибирск, Изд-во АН СССР. 1961. - С. 110-132.

3. Beidar, C.I. Оп Malcev's theorem on elementary equivalence of linear groups / C.I. Beidar, A.V. Michalev // Contemporary math. 1992. - Vol. 131. - P. 29-35.

4. Бунина, Е.И. Элементарная эквивалентность линейных и алгебраических групп / Е.И. Бунина, А.В. Михалев j j Фунд. и прикл. матем. 2000. - Т. 6, № 3. - С. 707-722.

5. Videla, С.К. On the Mal'cev correspondence / С.К. Videla // PAMS. 1990. - Vol. 109 - P. 493-502.

6. Ершов, Ю.Л. Элементарные теории групп / Ю.Л. Ершов j j ДАН СССР. 1972. - Т. 203. - С. 1240-1243.

7. Rose, B.I. The categoricity of Strictly Upper Triangular Matrix Rings over Algebraically Closed Fields / B.I. Rose // J. Symbolic Logic. 1978. - Vol. 43, № 2. - P. 250-259.

8. Belegradek, O.V. Elementary properties of algebraically closed groups / O.V. Belegradek // Fundam. Math. 1978. - Vol. 98, № 2.- P. 83-101.

9. Ремесленников, В. H. Теоретико-модельные и алгоритмические вопросы теории групп / В.Н. Ремесленников, В.А. Романьков // Итоги науки и техники. Серия: Алгебра, топология, геометрия.- 1983. Т. 21. - С. 3-79.

10. Випгпа, E.I. Elementary properties of linear groups and related questions / E.I. Bunina, A.V. Mikhalev // Math. Sciences. 2004.- Vol. 123, № 2. P. 3921-3985.

11. Videla, C.R. On the Model Theory of the Ring NT(n, R) / C.R. Videla 11 Pure and Appl. Algebra. 1988. - Vol. 55. - P. 289-302.

12. Wheeler, W.H. Model Theory of strictly upper triangular matrix ring / W.H. Wheeler // J. Symbolic Logic. 1980. - Vol. 45. - P. 455-463.

13. Belegradek, О. V. Model Theory of Unitriangular Groups / O.V. Belegradek // Amer. Math. Soc. Transl. 1999. - Vol. 195, № 2.

14. Левчук, B.M. Автоморфизмы некоторых нильпотентных матричных групп и колец / В.М. Левчук // Доклады АН СССР. -1975. Т. 222, № 6. - С. 1279-1282.

15. Левчук, В.М. Связи унитреуголыюй группы с некоторыми кольцами. Ч. II. Группы автоморфизмов / В.М. Левчук // Си-6МЖ. 1983. - Т. 24, № 4. - С. 543-557.

16. Kuzucuoglu, F. Isomorphisms of Certain Locally Nilpotent Finitary Groups and Associated Rings / F. Kuzucuoglu, V.M. Levchuk // Acta Appl. Math. 2004. - Vol. 82, № 2. - P. 169-181.

17. Wang, X.T. Decomposition of Jordan automorphisms of strictly triangular matrix algebra over local rings / X.T. Wang, H. You // Linear Algebra Appl. 2004. - Vol. 392. - P. 183-193.

18. Wang, X. T. Decomposition of Jordan automorphisms of strictly triangular matrix algebra over commutative rings / X.T. Wang // Commun. Algebra, 2007. - Vol. 35. - P. 1133-1140.

19. Кейслер, Г. Теория моделей / Г. Кейслер, Ч.Ч. Чэн. М: Мир, 1977. - 615 с.

20. Hodges, W. Model Theory / W. Hodges. Cambridge: Cambridge Univ. Press, 1993. - 772 p.

21. Мальцев, А.И. Алгебраические системы / А.И. Мальцев. -Москва: Наука, 1970. 119 с.

22. Горчаков, Ю.М. Группы с конечными классами сопряженных элементов / Ю.М. Горчаков. Москва: Наука, 1978. - 392 с.

23. Левчук, В.М. Некоторые локально нильпотентные матричные кольца / В.М. Левчук // Мат. заметки. 1987. - Т. 42, № 5. - С. 631-641.

24. Куратовский, К. Теория множеств / К. Куратовский, А. Мо-стовский. М.: Мир, 1970. - 416 с.

25. Сакс, Дж.Е. Теория насыщенных моделей / Дж.Е. Сакс. М.: Мир, 1976. - 192 с.

26. Levchuk, V.M. Sylow subgroups of the Chevalley groups and associated (weakly) finitary groups and rings / V.M. Levchuk // Acta Appl. Math. 2005. - Vol. 85. - P. 225-232.

27. Ершов, Ю.Л. Неразрешимость некоторых полей / Ю.Л. Ершов // ДАН СССР. 1965. - Т. 161. - С. 27-29.

28. Джекобсон, Н. Строение колец / Н. Джекобсон. М.: Иностранная литература, 1961. - 392 с.

29. Бунина, Е.И. Элементарная эквивалентность групп Шевалле над полями /Е.И. Бунина // Фунд. и прикл. математика. 2006. - Т. 12, № 8. - С. 29-77.

30. Випгпа, E.I. Combinatorial and Logical Aspects of Linear Groups and Chevalley Groups / E.I. Bunina, A.V. Mikhalev // Acta Appl. Math. 2005. - V. 85, №№ 1-3. - P. 57-74.

31. Levchuk, V.M. Jordan and Lie niltriangular matrix rings: isomorphisms, elementary equivalence and related questions / V.M. Levchuk, G.S. Suleymanova / Int. conf: MGU. 2008. - P. 154-155.

32. Kuzucuoglu, F. Isomorphisms of the unitriangular groups and associated Lie rings for the exceptional dimensions / F. Kuzucuoglu // Acta Appl. Math. 2005. - V. 85. - P. 209-213.

33. Kuzucuoglu, F. The Automorphism Group of Certain Radical Matrix Rings / F. Kuzucuoglu, V. M. Levchuk // J. Algebra. -2001. V. 243. - P. 473-485.

34. Минакова, E.B. Элементарно эквивалентные кольца Ли ниль-треугольных матриц над коммутативными кольцами коэффициентов / Е.В. Минакова // Вестник НГУ. 2008. - Т. 8, вып. 3. - С. 100-104.

35. Минакова, Е.В. К теории моделей колец нильтреугольпых матриц / Е.В. Минакова // Журнал Сибирского федерального университета. Математика&физика. 2008. - № 2. - С. 221-227.

36. Левчук, В.М. Вопросы об автоморфизмах и теории моделей колец Ли и Йордана нильтреугольных матриц и смежные вопросы / В.М. Левчук, Е.В. Минакова // Препринт №2. Красноярск: ИВМ СО РАН. - 2008. - 19 с.

37. Минакова, Е.В. О теории модели присоединённой группы кольца NTn(K) и ассоциированного с ним кольца Ли /Е.В. Минакова // Материалы XLIV Межд. коифер. "Студент и научно-технический прогресс", Новосибирск: НГУ. 2006. - С. 36.

38. Minakova, Е. V. The isomorphisms of the niltriangular matrix rings and related questions / E.V. Minakova // Algebra &; logics: Intern. Russian-Chinese Sem., Irkutsk: IGPU. 2007. - P. 127-129.

39. Минакова, E.B. Изоморфизмы колец нильтреугольных матриц и смежные вопросы / Е.В. Минакова // Конф. "Алгебра и её приложения", Красноярск: ИВМ СО РАН. 2007. - С. 94-95.

40. Минакова, Е.В. Кольцо нильтреугольных матриц и ассоциированные с ним кольца: автоморфизмы и изоморфизмы / Е.В. Минакова // Межд. конф. "Мальцевские чтения 2007", Новосибирск: ИМ СО РАН. - 2007. - С. 75.

41. Минакова, Е.В. Кольцо нильтреугольных матриц и ассоциированные с ним кольца: автоморфизмы и изоморфизмы / Е.В. Минакова // Материалы V Всесибир. конгресса женщин-математиков, Красноярск: СФУ. 2008. - С. 303-305.

42. Минакова, Е.В. К теории моделей колец нильтреугольных матриц / Е.В. Минакова j j Межд. алгебраическая конф., Москва: МГУ. 2008. - С. 75-76.

43. Минакова, Е.В. Некоторые числовые и теоретико-модельные характеристики классических линейных групп и ассоциированных колец / Е.В. Минакова, О.В. Радченко // Материалы VIIшколы-конф. по теории групп, Челябинск: ЮУрГУ. 2008. - С. 86-87.