Групповые свойства разрешимых алгебраических групп тема диссертации и автореферата по ВАК РФ 01.01.06, доктор физико-математических наук Пономарев, Константин Николаевич

• Пономарев, Константин Николаевич
• доктор физико-математических наук
• 1997

Оглавление диссертации доктор физико-математических наук Пономарев, Константин Николаевич

Оглавление

Введение

1 Центроиды колец и фактор-морфизмы нильпотентных групп

1.1 Центроид и максимальные поля скаляров конечномерных алгебр

1.1.1 Коиндуцированные модули

1.1.2 Центроид и поля скаляров конечномерных алгебр

1.1.3 Поля констант и поля представителей

1.2 Фактор-морфизмы нильпотентных групп

1.2.1 Кольцо фактор-морфизмов Ф(С?)

1.2.2 Идеалы кольца фактор-морфизмов

1.2.3 Симметричные когомологии групп

1.2.4 Прямые разложения

1.2.5 Правильные группы

1.3 Группы точек унипотентных групп

1.4 Плотность структурных факторморфизмов

2 Экспоненциальное действие

2.1 Точность экспоненциального действия

2.2 Доказательство теоремы

2.2.1 Случай поля нулевой характеристики

2.2.2 Случай абелевой группы автоморфизмов

2.2.3 Доказательство предложения

3 Минимальные алгебраические группы

3.1 Квазиминимальные группы

3.2 Минимальные неразрешимые группы

3.3 Абстрактные свойства квазиминимальных групп

3.3.1 Абстрактность изогении

в стандартную группу

3.3.2 Квазиминимальные группы

и ядра стандартных групп

3.3.3 Классы абстрактного изоморфизма квазиминимальных групп

3.3.4 Поле определения

группы класса QM(L,T)

3.3.5 Группа Вейля класса абстрактно изоморфных ядер стандартной группы

3.3.6 Некоторые свойства групповых колец

3.3.7 Основные утверждения

4 Групповые свойства точек

разрешимых алгебраических групп

4.1 Некоторые свойства точек

алгебраических групп

4.1.1 Делимая часть нильпотентной группы

4.1.2 Нильпотентный радикал точек алгебраических групп

4.1.3 Подгруппы Картана

4.2 Свойства точек разрешимых групп

4.2.1 Полупростые автоморфизмы нильпотент-ных групп

4.2.2 Подобие алгебраических групп

4.3 Точки квазиминимальных групп

4.4 Достаточность условий теоремы о

подобных группах

4.4.1 Кольцо определения подобной группы

4.4.2 Структуры алгебраических групп

на подобной группе

4.4.3 Точки

почти прямо неразложимых алгебраических групп

4.5 Оболочки Вейля прямо неразложимых

подобных групп

4.6 Абстрактные изоморфизмы

алгебраических групп

4.6.1 Изоморфизмы

сохраняющие полупростоту

4.6.2 Изоморфизмы алгебраических групп над полями алгебраических чисел

4.7 Некоторые примеры

4.7.1 Необходимость сохранения полупростоты

4.7.2 Класс точек алгебраических групп

с тривиальным центром

не определяется групповыми свойствами

Литература

Введение диссертации (часть автореферата) на тему «Групповые свойства разрешимых алгебраических групп»

Введение.

Диссертация посвящена теории алгебраических групп над полями определения нулевой характеристики. Во введении укажем место этой теории в современной теории групп.

Само зарождение теории групп связано с изучением классических линейных групп - групп матриц с коэффициентами из некоторого кольца. Групповое строение классических групп - до сих пор актуальная тема исследований [23]. Алгебраическая группа - такая подгруппа общей группы матриц элементы которой выделяются некоторыми алгебраическими уравнениями.

Возникновение понятия алгебраической группы связано с теорией дифференциальных уравнений. В начале этого века Ш.Э.Пикар и Э.П.Ж.Вессио изучили возможность интегрирования обыкновенных дифференциальных уравнений в квадратурах. Для таких уравнений им удалось построить теорию параллельную теории Галуа алгебраических уравнений.

Как и в теории Галуа в теории Пикара - Вессио по произвольному дифференциальному уравнению определяется группа инвариантных преобразований уравнения. Такая группа оказывается алгебраической группой. А разрешимость уравнения в квадратурах равносильна разрешимости этой группы [10].

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

Законченный вид теория алгебраических групп над алге-

браически замкнутыми полями определения получила в работах К.Шевалле и А.Бореля середины этого века. Произвольная алгебраическая группа обладает разрешимым радикалом гсм10. Радикал - разрешимая алгебраическая подгруппа, а фактор 0/гайО образует полупростую группу. Так что исследование произвольной алгебраической группы сводится к исследованию некоторой разрешимой группы и полупростой группы. Основным инструментом изучения алгебраических групп служит понятие тора и унипотентной части (унипотентного радикала) таких групп. Торы представляют алгебраические группы изоморфные прямому произведению мультипликативных групп поля определения.

Строение разрешимых алгебраических групп было установлено в начале пятидесятых в работах М.Розенлихта. Такая группа представляется полупрямым произведением любого максимального тора на унипотентную часть.

К началу шестидесятых исследование строения полупростых групп над алгебраически замкнутыми полями тоже было в основном завершено. Было показано, что любая такая группа представляется почти прямым произведением (в котором слагаемые пересекаются конечным образом) простых алгебраических групп. Было получено описание простых алгебраических групп [43]. Основная особенность этих исследований - их независимость от поля определения. Реально на строение алгебраической группы в случае алгебраически замкнутого поля определения влияет только характеристика этого поля.

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

этому моменту алгебро - геометричесие методы. Дальнейшее развитие теории алгебраических групп (и алгебраической геометрии в целом) связано с изучением алгебраических групп над незамкнутыми полями определения. Необходимой основой такого изучения служит теория групповых схем А.Гротендика, созданная в шестидесятые. Современный подход состоит в рассмотрении алгебраической группы О как представимого функтора на категории полей. Произвольному полю К ставится в соответствие группа точек О (К) (см. введение в книге [4]). Именно такой подход используется автором диссертации.

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

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

Исследования диссертации относятся к проблеме теоретико-группового описания групп точек разрешимых алгебраических групп. В случае классических линейных групп, то есть

простых алгебраических групп класических типов, это старая хорошо изученная проблема [7].

Раоцепимые простые группы - группы Шевалле. Групповое описание групп Шевалле в терминах порождающих и соотношений известно [39]. Из этого описания легко получить групповую характеризацию унипотентных подгрупп таких групп, а также их подгрупп Бореля - максимальных разрешимых алгебраических подгрупп. В настоящее время О.В.Белеградеком приведено групповое описание унипотен-тых частей простых групп типа Ап даже для ассоциативного кольца определения [47]. Однако в целом класс точек унипотентных групп и класс точек разрешимых алгебраических групп не был описан. Данная диссертация заполняет этот пробел для разрешимых алгебраических групп определённых над полем характеристики нуль.

Следует обратить внимание на работы В.Н.Ремесленни-кова и А.Г.Мясникова по исследованию билинейных отображений итоги которых подведены в статье [18]. Эти работы вдохновили автора на исследование точек унипотентных групп. В данной работе автор в теоремах 6 и 7 устанавливает теоретико-групповое описание класса групп точек унипотентных групп над полем определения нулевой характеристики. В отличие от указанных подход автора основан на использовании иных когомологический методов исследования.

В теореме 8 характеризуются точки прямо неразложимых унипотентных групп. В теореме 15 описываются группы точек всех разрешимых алгебраических групп с конечным центром без каких-либо ограничений типа изотропности.

Автоморфизмы классических групп - старая область ис-

следований. Для унипотентных подгрупп групп Шевалле в работах В.М.Левчука описаны группы автоморфизмов таких групп даже для ассоциативных колец с единицей [15]. В случае же произвольных алгебраических групп классическим направлением исследования служит изучение классов изоморфных групп точек таких групп. В частности, таким является изучение вопроса об изоморфности алгебраических групп имеющих изоморфные группы точек.

Начало таким исследованиям положено в статье А.Бореля и Ж.Титса [48] 1973 года. В этой статье показано, что в случае простых изотропных алгебраических групп над произвольным бесконечным полем определения из изоморфности групп точек следует изоморфизм алгебраических групп. Кроме того, изоморфизм групп точек таких групп является в определённом смысле стандартным.

Эта работа вызвала целую серию исследований по строению абстрактных изоморфизмов классических простых групп. Обзор полученных в семидесятые годы результатов см. [50].

Исследование изоморфизмов общих и специальных линейных групп было завершено в восьмидесятые. И.3.Голубчиком и А.В.Михалёвым получено описание изоморфизмов общих линейных групп даже для произвольных ассоциативных колец [5]. Впоследствии строение гомоморфизмов групп других классических типов изучалось учениками А.В.Михалёва.

Простые алгебраические группы почти прямо неразложимы, центр такой группы конечен, а система корней неприво-дима. В 1975 году А.А.Шаромет делает попытку установить аналогичные результаты для класса разрешимых алгебраических групп [45]. Он показал, что при названных выше условиях любой изоморфизм групп точек расщепимых раз-

решимых алгебраических групп является стандартным.

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

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

За прошедшее десятилетие автор разработал оригинальный метод исследования строения алгебраических групп. Авторский подход к изучению групп точек выбранного класса

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

В случае разрешимых алгебраических групп с конечным центром без условия расщепимости соответствующий класс минимальных групп имеет достаточно сложное строение. Для случая поля определения нулевой характеристики автор полностью исследует этот класс в третьем разделе диссертации. В случае поля ненулевой характеристики исследование такого класса было открытой проблемой. Препятствием служил поставленый автором в [13] вопрос 11.79. Положитель-

V V 1

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

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

Первая глава отведена изучению групп точек унипотент-ных алгебраических групп над полем определения нулевой характеристики. Эти группы - в точности конечнопорож-дённые степенные группы. Такие группы нильпотентны не имеют кручения и делимы. Поэтому можно использовать формулу Кемпбелла - Хаусдорфа и определить на такой группе структуру кольца Ли.

Структура алгебраической группы и степенной группы определяется структурой конечномерной алгебры на этом коль-

це Ли. Так что этот раздел отведён выделению свойств "конечномерности" колец, нильпотентных делимых групп - при которых эти объекты наделяются структурой конечномерной алгебры, степенной группы.

В первом разделе этой главы изучается введённый Н.Дже-кобсоном в [6] функтор центроида Г в категории произвольных (не обязательно ассоциативных, возможно без единицы) колец. С его использованием на языке теории колец получена характеристика конечномерных алгебр, прямо неразложимых конечномерных алгебр. Приведём некоторые определения.

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

Кольцо V называется правильным , если его аннулятор содержится в квадрате АппУ С V2.

Центроид Г (V) произвольного кольца У обладает аннулирующим идеалом А(У) фактор по которому Т(У)/А(У) образует коммутативное кольцо.

Теорема 1. Произвольное кольцо У нулевой характеристики конечномерно тогда и только тогда когда выполнены следующие условия:

1)центроид Г (У) содержит поле рациональных чисел,

2)фактор Т(У)/А(У) - конечномерная алгебра,

3) фактор-кольцо У ¡АппУ- конечнопорожденный Г(У)/А(У)-модуль,

4)если кольцо не является правильным, то мощность

фактора У/У2 совпадает с мощностью АппУ/АппУ П У2.

Кроме того, каждому полю скаляров фактора Т(У)/А(У) отвечает некоторое поле скаляров кольца У.

Фактор центроида Т(У)/А(У) служит аналогом функтора эндоморфизмов модуля для категории конечномерных алгебр. Выполняется аналог теоремы Фиттинга о неразложимых модулях для алгебр и фактора центроида.

Теорема 2. Пусть У алгебра с ненулевым умножением.

Тогда если У правильная алгебра и Г(У)/Л(У) локальное кольцо, то У прямо неразложима.

Наоборот, если У конечномерная алгебра и У прямо неразложима, то она правильная алгебра и кольцо Т(У)/А(У) локальное.

Этот результат указывает на важность исследования полей скаляров коммутативных локальных колец.

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

Алгебру У называем жёсткой если фактор ее центроида Г(У)/А(У) является полем.

Два поля скаляров К и Ь называются подобными , если их действия на фактор-кольце У/АппУ одинаковы. Подробнее, поля скаляров К и Ь подобны, если найдётся такой изоморфизм полей ф: К Ь для которого при любых а € 6 У выполняется включение ф(а)у - ау £ АппУ.

Если У.алгебра с нулевым умножением У - АппУ, то У/АппУ = 0 и все поля скаляров подобны. Так что введённое

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

Кроме того, легко видеть, что и в случае жёсткой алгебры все поля скаляров подобны. Так что и в этом случае такое понятие малосодержательно.

Доказана

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

Во второй части главы понятие центроида кольца прилагается к категории нильпотентных групп. Аналогом этого понятия служит построенный автором функтор фактор-морфизмов Ф. Здесь установлены основные свойства этого функтора категории нильпотентных групп. Строится под-функтор £) этого функтора. Для произвольной нильпотент-ной группы £ значения 0(0) образуют двусторонний идеал в кольце Ф((т), при этом фактор Ф (£)/£)(£) - коммутативное кольцо.

Нильпотентная группа & с центром Ъ называется плоской группой если её вторая группа симметричных когомологий тривиальна. В этом разделе показано, что плоскими группами служат нильпотентные группы с делимым центром. Доказывается

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

лов.

Определение. Группа II называется правильной если её центр не имеет кручения и любой центральный элемент и в некоторой степени принадлежит коммутанту группы и.

Для правильных групп получаем такое усиление теоремы

4.

Теорема 5. Пусть (7 правильная нилъпотентная группа центр которой есть делимая группа без кручения.

Тогда эта группа разлагается в прямое произведение только и только если коммутативное кольцо Ф ((?)/£ (С?) разлагается в прямую сумму.

В третьей части главы на языке теории групп получена характеристика групп точек унипотентных групп определённых над полем нулевой характеристики. А также групп точек прямо неразложимых унипотентных групп. Для этого используется формула Кемпбелла - Хаусдорфа и понятие центроида переносится на класс нильпотентных делимых групп. Аналогом служит понятие кольца структурных фактор- морфизмов Г - подкольца кольца фактор- морфизмов группы. Доказываются такие теоремы.

Теорема б. Группа II есть точки унипотентной группы тогда и только тогда, когда выполнены следующие условия:

1) II нильпотентная полная группа без кручения,

2) нецентральные факторы верхнего центрального ряда группы II являются конечнопорождёнными модулями относительно действия фактора Г((/)/Д(С/),

3) фактор-кольцо Г(и)/А(и) является конечномерной алгеброй,

4) если группа II не является правильной, то мощность

фактора группы по коммутанту 11/11' равна мощности

г{и)/и'пг(и).

Кроме того, любое поле скаляров алгебры Г((/)/А(11) поднимается до поля определения соответствующей алгебраической группы.

Гораздо удобнее взамен кольца структурных фактор- мор-физмов использовать кольцо фактор- морфизмов. Для такого кольца установлен аналог приведённой теоремы.

Теорема 7.Группа и есть точки унипотентной группы тогда и только тогда, когда выполнены следующие условия:

1) II нилъпотентная делимая группа без кручения,

2) нецентральные факторы верхнего центрального ряда группы и являются конечнопорождёнными модулями относительно действия фактора Ф(II)/0(11),

3) фактор-кольцо Ф(и)/Б(и) является конечномерной алгеброй,

4) если группа II не является правильной, то мощность фактора группы по коммутанту 11/11' равна мощности

г(и)/и'пг{и).

Кроме того, любое поле скаляров алгебры Ф (и)/И (II) поднимается до поля определения соответствующей алгебраической группы.

Теорема 8. Пусть и неабелева нилъпотентная делимая группа.

Тогда если V правильная группа и Ф(и)/И(II) локальное кольцо, то II прямо неразложима.

Наоборот, если и группа точек унипотентной группы которая прямо неразложима, то эта группа правильная и кольцо Ф(и)/Б(II) локальное.

Вторая глава диссертации посвящена решению проблемы 11.79 из "Коуровской тетради"[13]. Опишем решаемые здесь задачи.

Пусть .Р поле характеристики р, а С группа автоморфизмов этого поля. Пусть К = Р® - поле инвариантов этой группы. Известная теорема Артина утверждает, что Р)К -расширение Галуа с группой Галуа (?.

Ограничимся рассмотрением действия группы (3 на мультипликативной группе поля Кроме этого на Р* действует кольцо целых Ъ, элементы поля возводятся в целые степени. Получаем действие на Р* группового кольца ЪО. Это действие называется экспоненциальным и обозначается экспоненциальным образом.

ВМ V

данной главе получен утвердительным ответ на вопрос 11.79 из Коуровской тетради. Доказана теорема 9.

Теорема 9. Пусть Р бесконечное поле характеристики р, а О - конечная группа автоморфизмов поля Р) пусть К = Р° - пом инвариантов.

Пусть / Е Z(J,^ ^ 0} а п - такое натуральное, что Р Е рпЪО\рпНЮ.

Предположим, что 5 такое подполе в поле что для любого х Е F* имеем включение х^ Е 5.

Тогда поле £ содержит поле КрПу 5 Э КрП.

Этот результат обобщает следствие известной леммы И.Кап-ланского:

Лемма И.Капланского, [51]. Пусть Ь/К - расширение полей и пусть для любого х Е Ь найдётся такое натуральное п для которого хп Е К.

Тогда либо Ь = К, либо расширение Ь/К чисто несепа-рабельно, либо это - алгебраическое расширение простого

конечного поля.

Следствие состоит в том, что если Ь/К расширение полей характеристики р, а / € Ъ\рЪ, причём V С К, то Ь = К.

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

Для счётных полей обобщение леммы Капланского - пока открытая проблема, поставленная автором ([13]).

Доказанный здесь результат интересен по ряду причин. Хорошо известно, что категория ^-определённых /^-разложимых торов дуальна категории ZG-мoдyлeй без кручения конечного типа. Двойственность устанавливается посредством функтора характеров тора (см. [4]).

Характеры тора квазиразложимой группы - ограничения Вейля - Яр!КОсщр образуют свободный одномерный модуль ZG. Группа точек этой квазиразложимой группы совпадает с мультипликативной группой поля F^ А действие характеров из Ю на этой группе определяется экспоненциальным образом: Если / Е ЯС?, / = Е п(Та) то для

любого х Е F* полагаем

х1 = п (жТ*.

<т€<?

Таким образом получается определённое выше экспоненциальное действие.

В силу указанной двойственности произвольный К-подтор Т в алгебраической группе Яр/к^т^ как группа К-точек представляет собой группу алгебраических единиц некоторого правого идеала I группового кольца ЪС при указанном действии (см. [46]): Т(К) = {я Е Р*\х! = 1}. Известно (см. [23], стр. 69), что произвольный ^-разложимый А'-тор вкладывается в некоторый квазиразложимый тор - прямое про-

изведение торов вида Яр/к^т^- В частности, точки произвольного такого тора вкладываются в прямое произведение указанных групп алгебраических единиц.

В произвольной алгебраической /^-группе группа точек тора реализуется в качестве орбит действия на корневых подгруппах. Корневая подгруппа несёт в определённом смысле полную информацию о поле разложения F если соответствующая группа алгебраических единиц в Р* порождает поле, содержащее поле инвариантов К. Так что теорему можно рассматривать как утверждение об определении поля разложения произвольного тора по его группе точек.

В первой части этой главы доказывается точность экспоненциального действия. А вторая часть посвящена доказательству теоремы. Оно состоит в постепенном сужении класса расширений для которых проводится доказательство теоремы.

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

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

Важность этого понятия объясняется тем, что первым шагом на пути исследования групп класса Л служит изучение минимальных групп. Так при изучении полупростых алгебраических групп вначале изучаются минимальные такие группы - группы Р(х£2 и их формы (см. [43]).

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

тром. Приведём примеры.

Пусть Ь произвольное поле. Стандартной Ь-группой называем алгебраическую ¿-группу Ч группа Ь-точек которой определяется как подгруппа общей линейной группы СЬ2 формулами:

Такал группа представляет полупрямое произведение одномерного тора на одномерную унипотентную группу. Поэтому такая группа минимальна. Она - разрешимая алгебраическая группа.

Показывается, что минимальная алгебраическая группа которая разрешима по-сути есть форма стандартной группы. Это устанавливается в теореме первой части главы.

Теорема 10. Пусть О - квазиминимальная группа определенная над полем К.

Тогда найдётся конечное сепарабельное расширение Ь/К и К-морфизм ц>: С -4 Ящ-Я в ограничение Вейля стандартной Ь-группы Н, ядром которого служит конечный центр С (С) группы О.

Кроме того) ограничение этого морфизма на унипотентную часть II группы Сг есть К-изоморфизм,

Вторая часть этой главы посвящена минимальным неразрешимым группам. Доказывается, что такие группы - в точности простые анизотропные группы полупростого ранга один. То есть это - #-формы группы РОЬ2 или её универсальной накрывающей - БЬ^. Такие формы /^-изоморфны специальной ортогональной группе 50з(/ и её накрывающей - спинорной группе 5рт3)/ для анизотропной квадратичной

формы / от трёх переменных (см. [23]).

Теорема 11. Пусть К - произвольное поле, а £ - связная алгебраическая неразрешимая К-группа. Группа (7 минимальна тогда и только тогда, когда она является простой анизотропной К-группой полупростого ранга один.

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

Эти изоморфизмы в значительной мере определяются абстрактными изоморфизмами минимальных групп указанного вида (в дальнейшем просто минимальных групп).

В теореме 10 предыдущего раздела показано, что для произвольной минимальной группы С?, определенной над полем К, найдутся конечное расширение Ь/К и К-морфизм (р : @ ~* Н-ь/кН в ограничение Вейля стандартной ^-группы Я, этот морфизм имеет ядро - центр С(Сг) группы (7. Морфизм <р индуцирует изоморфизм на унипотентной части группы

и = и(в).

Вначале показываем, что указанная выше стандартная группа Я, ее поле определения Ь и К-морфизм определяются в категории абстрактных групп уже группой точек С(К). Это делается в теореме 12.

Теорема 12. Пусть выполнены все условия теоремы 10, а Ь,Н,ф построенные в этой теореме расширение поля К, стандартная Ь-группа и К-морфизм соответственно.

Тогда по группе К-точек О (К) в категории абстрактных групп определяется поле Ь, группа Ь-точек Н(Ь) =

{Я>ь/кН)(Ю и ограничение ф на группу К-точек

ф(К): 0(К) (ЯцкШУ

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

Теорема 13. Пусть К\ и Кч - поля характеристики нуль, а <?1 и (?2 ~ связные К\- и Кг группы соответственно, причём группа С^ квазиминималъна. Пусть О^К^ ^(.Кг) ~ изоморфизм групп точек. Тогда существуют конечные расширения полей и Кч — Ь\ и Ь2, стандартные Ь\ и Ьч-группы Н{ и Н2 соответственно и К\ и К2-морфизмы с конечным ядром

а также изоморфизм замены поля определения Ь\ на Ьч: Н¡(¿1) ч- Яг^г) такие, что коммутативна следующая диаграмма:

с?1 №) -+ (%/к, №) = »1 (¿0

; ;

№) (Лад (к,) = я2 (£,)

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

Теорема 14. Пусть С\ — квазиминимальная К\-группа с тривиальным центром, — Кг группа. Предположим, что (р: ^1(^1) -> £2(^2) ~~ изоморфизм групп точек.

Тогда найдутся конечные расширения полей Ь{/К{ (г = 1,2), кеазиминималъная Ь\-группа Н, изоморфизм полей <т: Ь\ ¿2, для которых = Я^/к^Н, С?2 = Яь21к2^ и ком~ мутативна диаграмма точек:

И(1п) А °Н(Ь2)

ЯыкгЩЪ) -А Иык/Н где а — изоморфизм переноса, аН — группа, полученная из Н переносом поля определения.

В последней главе устанавливается теоретико - групповая характеризация групп точек таких связных разрешимых алгебраических групп с тривиальным центром которые определены над полями нулевой характеристики (теорема 15).

Список литературы диссертационного исследования доктор физико-математических наук Пономарев, Константин Николаевич, 1997 год

Литература

[1] Атья Мм Макдональд И. Коммутативная алгебра. - М.: Наука, 1972.

[2] Вурбаки Н. Алгебра (Многочлены и поля. Упорядоченные группы). - М.: Наука, 1965.

[3] Борель А. Линейные алгебраические группы. - М.: Мир, 1972.

[4] Воскресенский В.В. Алгебраические торы. - М.: Наука, 1977.

[5] Голубчик И.З., Михалёв A.B. Изоморфизмы полной линейной группы над ассоциативным кольцом. - Вестник Московского университета. Сер.математика и механика, 1983, N3, с.61 -72.

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

[7] Дьедонне Ж. Геометрия классических групп. - М.: Мир, 1974.

[8] Зарисский О., Самюэль П. Коммутативная алгебра. Т.1.

- М.: ИЛ, 1963.

[9] Зарисский О., Самюэль П. Коммутативная алгебра. Т.2.

- М.: ИЛ, 1963.

[10] Капланский И. Введение в дифференциальную алгебру.

- М.: ИЛ, 1959.

[11] Каргаполов М.И. и др.. Алгоритмические вопросы для степенных групп. - Алгебра и логика, 1969, 8, N6, с.643-659.

[12] Каргаиолов М.Й., Мерзляков Ю.И. Основы теории групп. - М.: Наука, 1977.

[13] Коуровская тетрадь. Нерешённые вопросы теории групп. - Новосибирск, 1992.

[14] Ламбек И. Кольца и модули. - М.,Мир, 1971.

[15] Левчук В.М.. Автоморфизмы унипотентных подгрупп групп Шевалле. - Алгебра и логика, 1990, 29, N3, с.315-338.

[16] Ленг С. Алгебра. - М.: Мир, 1968.

[17] Маклейн С.. Гомология. - М. Мир, 1966.

[18] Мясников А.Г., Ремесленников В.Н. Классификация степенных нильпотентных групп по элементарным свойствам. - В сб. Тр.ИМ СОАН СССР.Математическая логика и теория алгоритмов. Новосибирск, 1982. с.56 - 87.

[19] Мясников А.Г., Ремесленников В.Н. Формульность множества мальцевских баз и элементарные теории конечномерных алгебр.Часть 1. - Сиб.Мат.Ж., 1982, 23, N5, с.152-167.

[20] Мясников А.Г., Ремесленников В.Н. Формульность множества мальцевских баз и элементарные теории конечномерных алгебр.Часть 2. - Сиб.Мат.Ж., 1983, 24, N2, с.97-113.

[21] А.Г.Мясников. Строение моделей и критерий разрешимости полных теорий конечномерных алгебр. - Известия АН СССР. Серия математическая, 1989, 53, N2, с.379-397.

[22] Пирс Р. Ассоциативные алгебры. - М.:Мир, 1986.

[23] Платонов В.П., Рапинчук A.C. Алгебраические группы и теория чисел. - М.: Наука, 1991.

[24] Пономарёв К.Н. Абстрактные изоморфизмы изотропных разрешимых групп. -19 Всесоюзная алгебраическая конференция, тезисы собщений, ч.2, Львов, 1987, с.227-228.

[25] Пономарев К.Н. Фактор- морфизмы нильпотентных групп. - Сибирская школа по многообразиям алгебраических систем, Барнаул, 1988, с.58-60.

[26] Пономарёв К.Н. Абстрактные изоморфизмы алгебр и унипотентных групп - Новосибирск, 1989, Деп. в ВИНИТИ. 4202-В89.

[27] Пономарёв К.Н. Абстрактные изоморфизмы связных разрешимых алгебраических групп. - Международная конференция по алгебре памяти А.И.Мальцева, тезисы докладов по теории групп, Новосибирск, 1989.

[28] Пономарёв К.Н. Фактор- морфизмы нильпотентных групп с кручением. - 6 Всесоюзная школа по теории многообразий алгебраических систем, Магнитогорск, 1990, с.28-29.

[29] Пономарёв К.Н. Группы автоморфизмов конечномерных алгебр. - 6 симпозиум по теории колец, алгебр и модулей, Львов, 1990, с.103.

[30] Пономарёв К.Н. Фактор-морфизмы нильпотентных групп. - Сиб.Мат.Ж., 1991, 32, N3, с.119-125.

[32

[33

[34

[35

[36

[37

[38 [39

Пономарёв К.Н. Алгебраические группы и экспоненциальное действие. - Известия ВУЗов. Математика, 1991, N7, с.58-61.

Пономарёв К.Н. Минимальные разрешимые алгебраические группы и их абстрактные изоморфизмы. - Ма-тем.сб., 1991, 182, N8, с.1129-1139.

Пономарёв К.Н. Минимальные разрешимые алгебраические группы с конечным центром. - Матем.заметки, 1991, 50, N2, с.120-124.

Пономарёв К.Н. О действии группового кольца группы автоморфизмов поля. - Сиб.мат.ж., 1992, 33, N6, с.162-168.

Пономарёв К.Н. Минимальные алгебраические группы с конечным центром. - Сиб.мат.ж., 1993,34, N6, с.153-157.

Пономарёв К.Н. Абстрактные изоморфизмы квазиминимальных групп. - Алгебра и логика, 1996, 35, N5, с.567-586.

Пономарёв К.Н. Абстрактность унипотентных групп. -Актуальные проблемы соаременной математики, том 3, Новосибирск.: Издательство НИИ МИОО, 1997. с.147-154.

Серр Ж.-П.. Группы Ли и алгебры Ли - М.: Мир, 1969.

Стейнберг Р. Лекции о группах Шевалле. - М.: Мир, 1975.

[40] Фейс К. Алгебра: кольца, модули, категории. Том 2. М.: Мир, 1979.

[41] Фукс JI. Бесконечные абелевы группы. Том 1. - М.: Мир, 1974.

[42] Фукс Л. Бесконечные абелевы группы. Том 2. - М.: Мир, 1977.

[43] Хамфри Дж. Линейные алгебраические группы. - М.: Наука, 1980.

[44] Холл Ф. Нильпотентные группы. - Математика. Сб. переводов, 12, N1, с.3-36.

[45] Шаромет А.А. Абстрактные изоморфизмы разрешимых алгебраических групп. - Докл.АН СССР, сер.математика, 1975, 223, N1, с.53 - 55.

[46] Шевалле К. Теория групп Ли. Том 3 - М.: Изд-во ино-стр.лит., 1958.

[47] Belegradek O.V. The model theory of unitriangular groups. - Annals of pure and applied logic, 1994, 68, p.225-261.

[48] Borel A., Tits J. Homomorphismes "abstraits"de groupes algebriques simples. - Ann.Math., 1973, 97, p.499-571.

[49] Borel A., Springer T.A. Rationality properties of linear algebraic groups. - Tohoku Math.J., 1968, 20, N4, p.443-497.

[50] James D., Waterhouse W., Weisfeiler R. Abstract homomorphisms of algebraic groups. Problems and bibliography. - Comm.m Alg., 1981, 9, N1, p.95-114.

[51] Kaplansky I. A theorem on division rings. - Canad.J.math., 1951, 3, N3, p.290-292.

[52] Kambayashi T. Unipotent algebraic groups. - Lect.Notes in Math., 414. BerlinrSpringer-Verlag, 1974.

[53] Ponomaryov K.N. Abstract isomorphisms of algebraic quasisplit groups. - Int. alg. conf. in memory of A.I.Shirshov, Papers on group theory, Novosibirsk, 1991, p.157.

[54] Ponomaryov K.N. Abstract isomorphisms of algebraic solvable groups. - Contemp.Math., 1992, 131, p.279-284.

[55] Ponomaryov K.N. Abstract isomorphisms of algebraic solvable groups. - Inter, alg. conf. in memory of M.I.Kargapolov, Krasnoyarsk, 1993, p.427-428.

[56] LSatake. Classification theory of semi-simple algebraic groups. - M. Dekker Inc, N.-Y., 1971.