СИБИРСКОЕ ОТДЕЛЕНИЕ РОССИЙСКОЙ АКАДЕМИИ НАУК ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ

СИБИРСКОЕ ОТДЕЛЕНИЕ РОССИЙСКОЙ АКАДЕМИИ НАУК
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ
НАУКИ ИНСТИТУТ МАТЕМАТИКИ ИМ. С.Л. СОБОЛЕВА
СИБИРСКОГО ОТДЕЛЕНИЯ РОССИЙСКОЙ АКАДЕМИИ НАУК
(ИМ СО РАН)
УДК 512
№ госрегистрации 01201067695
Инв.№ 02201151976
УТВЕРЖДАЮ
Директор ИМ СО РАН
д.ф.-м.н., чл.-корр. РАН
______________ С. С. Гончаров
«___»_________ 2012 г.
ОТЧЕТ
О НАУЧНО-ИССЛЕДОВАТЕЛЬСКОЙ РАБОТЕ
В рамках федеральной целевой программы «Научные и научно-педагогические
кадры инновационной России» на 2009-2013 годы
по Государственному контракту от 20 сентября 2010 г. № 14.740.11.0346
Шифр заявки «2010-1.1-111-128-010»
по теме:
АКТУАЛЬНЫЕ ПРОБЛЕМЫ СОВРЕМЕННОЙ АЛГЕБРЫ
Наименование этапа: «Проведение исследований»
(промежуточный, этап № 4)
Руководитель НИР, д.ф.-м.н.
_________________
подпись, дата
Новосибирск 2012
Е. П. Вдовин
СПИСОК ИСПОЛНИТЕЛЕЙ
Руководитель темы
д.ф.-м.н.
______________
Вдовин Е.П. (раздел 1.1,
раздел 1.3)
Исполнители темы
Советник РАН,
д.ф.-м.н., академик РАН
Советник РАН,
д.ф.-м.н., чл.-корр. РАН
г.н.с. ИМ СО РАН,
д.ф.-м.н.
г.н.с. ИМ СО РАН,
д.ф.-м.н.
г.н.с. ИМ СО РАН,
д.ф.-м.н.
в.н.с. ИМ СО РАН,
д.ф.-м.н.
Зав. лаб. ИМ СО РАН,
д.ф.-м.н.
в.н.с. ИМ СО РАН,
д.ф.-м.н.
с.н.с. ИМ СО РАН,
к.ф.-м.н.
с.н.с. ИМ СО РАН,
д.ф.-м.н.
с.н.с. ИМ СО РАН,
к.ф.-м.н.
н.с. ИМ СО РАН,
к.ф.-м.н.
______________
______________
______________
______________
______________
______________
______________
______________
______________
______________
______________
______________
2
Ершов Ю.Л. (раздел 1.3)
Мазуров В.Д. (раздел 1.3)
Васильев А.В. (раздел 1.2)
Желябин В.Н. (раздел 1.1)
Романовский Н.С. (раздел 1.2)
Заварницин А. В. (раздел 1.2)
Колесников П.С. (раздел 1.1)
Ревин Д.О. (раздел 1.2)
Гречкосеева М.А. (раздел 1.2)
Пожидаев А.П. (раздел 1.1)
Чуркин В.А. (раздел 1.3)
Бутурлакин А.А. (раздел 1.2)
н.с. ИМ СО РАН,
к.ф.-м.н.
н.с. ИМ СО РАН,
к.ф.-м.н.
н.с. ИМ СО РАН,
к.ф.-м.н.
н.с. ИМ СО РАН,
к.ф.-м.н.
Преподаватель СУНЦ НГУ,
к.ф.-м.н.
Аспирант НГУ
Студент НГУ
Студент НГУ
______________
______________
______________
______________
______________
______________
______________
______________
Студент НГУ
______________
Студент НГУ
______________
Студент НГУ
______________
Студент НГУ
______________
Студент НГУ
______________
Студент НГУ
______________
Нормоконтролер
______________
3
Мамонтов А.С. (раздел 1.2,
раздел 1.3)
Гончаров М.Е. (подготовка,
раздел 1.1)
Кайгородов И.Б. (раздел 1.1)
Дудкин Ф.А. (раздел 1.2)
Гальт А.А. (введение, реферат,
подготовка)
Манзаева Н.Ч. (раздел 1.2)
Губарев В.Ю. (раздел 1.1)
Воронин В.Ю. (раздел 1.1)
Захаров А.С. (раздел 1.1)
Лыткин Д.В. (раздел 1.2)
Курмазов Р.К. (раздел 1.2)
Насыбулов Т.Р. (раздел 1.1)
Хохлова И.А. (раздел 1.2)
Шабалин Т.И. (раздел 1.1)
Волков Ю.С.
РЕФЕРАТ
Отчет, 57с., 2 прил.
КЛЮЧЕВЫЕ
СЛОВА:
ЙОРДОНОВА
СУПЕРАЛГЕБРА;
АЛГЕБРА
НОВИКОВА−ПУАССОНА; КОНЕЧНАЯ ГРУППА; ХОЛЛОВА ПОДГРУППА;
ПРОСТАЯ
ГРУППА;
КОНЕЧНАЯ
ГРУППА
ЛИЕВА
ТИПА;
ПЕРИОДИЧЕСКАЯ ГРУППА.
Объектами исследования являются фундаментальные проблемы в следующих
направлениях современной алгебры: теория супералгебр и теория конечных
групп.
Выполнение научно-исследовательских работ направлено на проведение
фундаментальных исследований в области современной алгебры с целью
получения новых научных результатов мирового уровня, на подготовку и
закрепление в сфере науки и образования научных и научно-педагогических
кадров, а также формирование эффективных и жизнеспособных научных
коллективов.
Частными целями проведения работ являются:
Выявление более глубоких взаимосвязей между современными аспектами
алгебры и
изучение особенностей возникающих проблем. Привлечение
студентов и аспирантов к научно-исследовательской работе, что позволит:
воспитать у студентов математическую культуру, необходимые интуицию и
эрудицию в вопросах приложения математики; развить системное мышление;
познакомить с ролью теоретической и прикладной математики в современной
жизни; выработать навыки математического исследования, интерпретации
результатов исследования и оценки точности полученного решения; выработать
навыки доведения решения до практически приемлемого результата – числа,
графика, точного качественного вывода с применением для этого современных
компьютерных технологий; выработать умение самостоятельно работать со
специальной математической литературой, получать и осознанно применять
полученные знания; сформировать стиль мышления, необходимый для
успешного использования компьютерных и информационных технологий при
4
исследовании прикладных задач.
В ходе выполнения 4 этапа получены следующие результаты:
Изучено строение абелевых групп симметрий хиггсовского потенциала в
вакууме для N-дублетной хиггсовской модели.
Классифицированы центральные простые конечномерные некоммутативные
йордановы супералгебры характеристики 0.
Построена конструкция кольца частных для обобщенной алгебры НовиковаПуассона.
Доказано, что класс CπF образует формацию и получены критерии частичной
насыщенности этой формации.
Доказана пронормальность холловых подгрупп в конечных простых группах.
Получены аналоги классических теорем Макар-Лиманова-Умирбаева для
алгебр и полей общей Пуассоновой скобки.
Доказана алгоритмическая неразрешимость универсальной теории свободной
разрешимой группы ступени выше 3.
Используя группы с тройственностью, построена серия неассоциативных луп
Муфанг.
Получено описание конечных групп, в которых все максимальные подгруппы
холловы, и доказано, что в таких группах все максимальные подгруппы имеют
дополнения.
Найдены явные формулы для нахождения максимальных порядков элементов
простых симплектических и ортогональных групп над полем характеристики 2.
Доказана локальная конечность групп периода 12, в которых порядок
произведения любых двух инволюций не делится на 6.
В результате исследований получены новые фундаментальные результаты
мирового уровня, которые вошли в дипломные и курсовые работы
исполнителей, доложены на различных научных конференциях, опубликованы
в статьях и внедряются в учебный процесс Института математики им. С.Л.
Соболева СО РАН и Новосибирского государственного университета.
5
СОДЕРЖАНИЕ
ВВЕДЕНИЕ
7
ПРОВЕДЕНИЕ ИССЛЕДОВАНИЙ
1.1
ИЗУЧЕНИЕ СУПЕРАЛГЕБР
9
1.2
ИССЛЕДОВАНИЯ В КОНЕЧНЫХ ГРУППАХ
17
1.3
АНАЛИЗ АКТУАЛЬНОСТИ ПОЛУЧЕННЫХ РЕЗУЛЬТАТОВ
36
2
ПОКАЗАТЕЛИ
45
ЗАКЛЮЧЕНИЕ
46
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
48
ПРИЛОЖЕНИЕ А
СПИСОК ПУБЛИКАЦИЙ ИСПОЛНИТЕЛЕЙ
ПРИЛОЖЕНИЕ Б
СПИСОК СДЕЛАННЫХ ИСПОЛНИТЕЛЯМИ ДОКЛАДОВ
52
6
56
ВВЕДЕНИЕ
Выполнение
НИР
направлено
на
проведение
фундаментальных
исследований в области современной алгебры, с целью получения научных
результатов мирового уровня, на подготовку и закрепление в сфере науки и
образования научных и научно-педагогических кадров, а также формирование
эффективных и жизнеспособных научных коллективов.
В состав разрабатываемой научной продукции входят математические
модели задач; алгоритмы и методы решения поставленных задач; публикации
результатов
исследований
в
отечественных
и
зарубежных
изданиях;
диссертации; дипломные и курсовые работы; отчет о НИР, содержащий
обоснование развиваемых направлений исследований, изложение методик
проведения исследований, а также описание полученных результатов.
Результаты исследований носят фундаментальный характер и могут быть
востребованы во многих сферах научной деятельности: в теории супералгебр,
теории формаций, теории конечных групп, теории групп с условиями
конечности и других областях. Полученные на данном этапе результаты по
абелевым группам были применены для исследования современной стандартной
модели гравитации в физике элементарных частиц.
Результаты исследований вошли в курсовые и дипломные работы
исполнителей, были востребованы в процессе подготовки научных публикаций
и при подготовке докладов на отечественных и международных конференциях.
Результаты НИР внедряются в образовательный процесс: при чтении
математических курсов для студентов и аспирантов; при проведении курсов
повышения
квалификации
молодых
преподавателей
НГУ
и
научных
сотрудников ИМ СО РАН, а также, при проведении специальных семинаров по
современным
разделам
математики
в
Новосибирском
Государственном
университете и Институте математики им. С. Л. Соболева СО РАН.
Результаты
подтверждены
публикациями
в
высокорейтинговых
реферируемых научных журналах, а также выступлениями на российских и
международных конференциях по тематике НИР.
7
За отчетный период исполнителями получен ряд результатов мирового
уровня. Получены новые фундаментальные результаты, найдены новые
подходы, разработаны новые алгоритмы, найдены
новые приложения,
опубликованы и сданы в печать новые научные статьи, защищены выпускные
работы бакалавров и магистерские работы, а также осуществляется внедрение
результатов в учебный процесс.
8
1.1. ИЗУЧЕНИЕ СУПЕРАЛГЕБР
Алгебры Новикова возникли в 1979 году в работе И.М. Гельфанда и И.Я.
Дорфмана [1] как формализм, описывающий условие гамильтоновости
операторов определенного вида, действующих на гладких
конечномерных
многообразиях со значениями в алгебрах Ли векторных полей. В работе А.А.
Балинского и С.П. Новикова [2] алгебры Новикова были введены для изучения
свойств
локальных
алгебр
Ли,
возникающих
из
скобок
Пуассона
гидродинамического типа. Простые конечномерные алгебры Новикова над
полем нулевой характеристики были описаны Е.И. Зельмановым [3]. Как
оказалось, всякая такая алгебра является полем. Примеры неассоциативных
конечномерных простых алгебр Новикова над полем ненулевой характеристики
и
бесконечномерных
простых
алгебр
Новикова
над
полем
нулевой
характеристики получены В.Т. Филипповым [4]. Классификации простых
алгебр Новикова с идемпотентом посвящены работы М. Осборна [5-7]. Полная
классификация простых конечномерных алгебр Новикова над алгебраически
замкнутым полем характеристики p>0 дана К. Ксу [8-10].
Алгебры Новикова-Пуассона, введенные К. Ксу, являются алгебраической
структурой с двумя умножениями. Относительно одного умножения − это
ассоциативная коммутативная алгебра,
относительно другого − это алгебра
Новикова. Как оказалось, каждая алгебра Новикова-Пуассона с ассоциативной
коммутативной
единицей
может
быть
получена
из
коммутативной дифференциальной алгебры. В частности,
ассоциативной
каждая простая
конечномерная алгебра Новикова над алгебраически замкнутым полем
характеристики p>0 является алгеброй Новикова-Пуассона с ассоциативной
коммутативной единицей. В работе А.С. Тихова [11] установлено соответствие
между
алгебрами
Новикова-Пуассона
с
ассоциативной
коммутативной
единицей и йордановыми супералгебрами. В.Н. Желябиным и А.С. Тиховым
[12] были описаны алгебры Новикова-Пуассона, у которых алгебра Новикова не
является простой алгеброй, а соответствующая ей ассоциативная коммутативная
дифференциальная алгебра является дифференциально простой. В частности,
9
доказано, что над полем характеристики не равной 2 алгебра Новикова проста
тогда и только тогда, когда
дифференциально проста ее ассоциативная
коммутативная дифференциальная алгебра. Конструкцию алгебр НовиковаПуассона можно обобщить, если отказаться от требования быть алгеброй
Новикова относительно второго умножения. Такие алгебраические системы
называются обобщенными алгебрами Новикова-Пуассона.
доказано, что
определении
Ранее
было
если для произвольной алгебры Новикова-Пуассона в ее
опустить требование быть алгеброй Новикова, то коммутатор
относительно умножения в алгебре Новикова будет йордановой скобкой, т.е.
соответствующий ей дубль Кантора будет йордановой супералгеброй. Кроме
того, если йорданова супералгебра проста, то ассоциативная коммутативная
алгебра унитальна, и значит, йорданова супералгебра будет супералгеброй
векторного типа. В этом случае алгебра относительно второго умножения будет
простой алгеброй Новикова. Обратно, если у алгебры Новикова-Пуассона
алгебра Новикова проста, и квадрат ассоциативной коммутативной алгебры
совпадает с ней самой, то ассоциативная коммутативная алгебра унитальна. При
этом либо алгебра Новикова является полем,
либо соответствующая ей
йорданова супералгебра является простой супералгеброй векторного типа.
Интерес представляет специальность йордановой супералгебры, построенной
по
алгебре
Новикова-Пуассона.
Йорданова
супералгебра
называется
специальной, если она вложима в некоторую супералгебру, полученную из
ассоциативной
супералгебры
заменой
ассоциативного
умножения
на
суперсимметрическое. Для решения этой задачи была предложена конструкция
кольца частных для обобщенной алгебры Новикова-Пуассона относительно
некоторого мультипликативного множества для ассоциативной коммутативной
алгебры. Если
ассоциативная коммутативная часть алгебры Новикова-
Пуассона содержит хотя бы один не делитель нуля, то мультипликативное
множество может быть выбрано как множество всех степеней этого элемента.
Тогда естественный гомоморфизм из алгебры Новикова-Пуассона в кольцо
частных будет вложением. Доказано, что полученное кольцо частных есть
алгебра Новикова-Пуассона, и что естественный гомоморфизм будет не только
10
вложением ассоциативных алгебр, но и обобщенных алгебр НовиковаПуассона. Таким образом, получили вложение обобщенной алгебры НовиковаПуассона в алгебру Новикова-Пуассона векторного типа.
Из работы К.
МакКриммона [13] известно, что йорданова супералгебра векторного типа
специальна. Поэтому, для исходной обобщенной алгебры с хотя бы одним не
делителем нуля относительно ассоциативного коммутативного умножения
дубль Кантора будет специальной йордановой алгеброй.
Ранее исполнителем данного проекта А.П. Пожидаевым совместно с другими
авторами были классифицированы центральные простые конечномерные
некоммутативные йордановы супералгебры характеристики 0 и степени n>2. На
данном этапе были рассмотрены оставшиеся случаи, а именно, случаи степеней
1 и 2.
Класс некоммутативных йордановых супералгебр чрезвычайно обширен: он
включает в себя альтернативные супералгебры, йордановы супералгебры,
квазиассоциативные супералгебры, квадратичные эластичные супералгебры и
суперантикоммутативные супералгебры.
В случае простых некоммутативных йордановых алгебр характеристики 0
Р.Шейфер доказал, что они являются либо простыми коммутативными
йордановыми алгебрами, либо простыми квазиассоциативными алгебрами,
либо простыми эластичными алгебрами степени два. Р.Оемке перенес
классификацию
Р.Шейфера
на
случай
эластичных
алгебр
со
строго
ассоциативными степенями характеристики не 2 и не 3, К.МакКриммон - на
некоммутативные йордановы алгебры степени >2 и характеристики не 2, а
K.Смит описал такие алгебры степени два; случай нодальных простых алгебр
положительной характеристики в основном рассматривался Л.Кокорисом;
случай бесконечномерных йордановых алгебр рассматривался в работах
И.П.Шестакова и В.Г.Скосырского.
Случай конечномерных простых йордановых супералгебр над алгебраически
замкнутыми полями характеристики ноль был рассмотрен В.Кацем и
И.Кантором.
Изучение
йордановых
супералгебр
положительной
характеристики было инициировано И.Капланским. М.Расин и Е.Зельманов
11
классифицировали
конечномерные
простые
йордановы
супералгебры
характеристики не 2 с полупростой четной частью; К.Мартинез и Е.Зельманов
рассмотрели
случай, когда четная часть не является полупростой, а
Е.Зельманов рассмотрел оставшийся неунитальный случай.
А.П. Пожидаевым было получено описание простых некоммутативных
йордановых
супералгебр
характеристики
0
и
степени
2,
а
также
некоммутативных йордановых супералгебр характеристики 0 и степени 1.
Вопрос
в
данном
случае
сводится
к
описанию
дифференцирований
супералгебры Грассмана, относительно которых она является дифференциально
простой.
Поскольку некоммутативные йордановы супералгебры находятся во взаимно
однозначном соответствии с йордановыми супералгебрами, допускающими
структуру скобки Пуассона, то следствием полученных результатов является
описание
скобок
Пуассона
на
простых
конечномерных
йордановых
супералгебрах характеристики 0. Для супералгебр степени не равной 1, были
явно описаны скобки Пуассона, а для оставшихся супералгебр, исследованных
нами ранее, это описание также получается из доказанного результата.
Для
получения
указанных
результатов
мы
используем
супераналог
разложения Пирса, переход к грассмановой оболочке супералгебры, мутации
супералгебр, и работу с тождествами супералгебр.
Дуальным понятием алгебры над полем является понятие коалгебры.
Наиболее интересными по содержанию объектами являются коалгебры, на
которых задана операция умножения, согласованная, в определенном смысле, с
коумножением. Такие объекты называются биалгебрами. Примером биалгебры
служат алгебры Хопфа в которых коумножение – это гомоморфизм
соотвествующих алгебр. Нассоциативным аналогом алгебр Хопфа являются
алгебры Хопфа-Муфанг которые связаны с лупами Муфанг также как алгебры
Хопфа связаны с группами.
Другими примерами биалгебр являются биалгебры Ли, которые были
введены Дринфельдом для изучения решений классического уравнения Янга12
Бакстера. Биалгебры Ли – это одновременно алгебры Ли и коалгебры Ли,
коумножение которых является 1-коциклом. Коалгебры Ли были введены
Михаэлисом.
Алгебры Мальцева были введены А.И. Мальцевым как касательные алгебры
локальных аналитических луп Муфанг. Они являются обобщением алгебр Ли, и
их теория достаточно хорошо развита. Важным примером нелиевой алгебры
Мальцева является векторное пространство элементов с нулевым следом
алгебры Кэли-Диксона относительно операции
коммутирования в качестве
умножения.
В 2004 И.П. Шестаков и Х. Перез-Искуедро доказали, что любая алгебра
Мальцева
является
подалгеброй
коммутаторной
алгебры
обобщенного
альтернативного центра некоторой неассоциативной алгебры. Среди этих
неассоциативных обертывающих алгебр Мальцева, как и в случае алгебр Ли,
существует универсальная обертывающая алгебра. Во многом свойства этих
универсальных алгебр близки к свойствам универсальных обертывающих
алгебр Ли. В частности, универсальные обертывающие алгебр Мальцева
являются коассоциативными кокоммутативными алгебрами Муфанг-Хопфа.
Между тем до сих пор известно не много примеров некокоммутативных Hбиалгебр. В случае алгебр Хопфа, важные примеры некокоммутативных алгебр
Хопфа возникают при квантовании универсальных обертывающих алгебр для
биалгебр Ли. К сожалению, для биалгебр Мальцева невозможно квантовать
универсальную обертывающую алгебру, построенную И.П. Шестаковым и Х.
Перез-Искуедро в том смысле, в котором строится квантовая универсальная
обертывающая для биалгебр Ли.
П.О. Михеев доказал, что любая алгебра Мальцева вкладывается в некоторую
алгебру алгебру Ли с тройственностью. Гришков и Заварницин доказали, что
произвольная лупа Муфанг вкладывается в группу с тройственностью. Этот
результат позволил Х. Перез-Изкуедро, С. Мадариага и Дж. Бенкарт доказать,
что любая алгебра Муфанг-Хопфа вкладывается в алгебру Хопфа с
тройственностью. Более того, они доказали, что универсальная обертывающая
алгебра произвольной алгебры Ли с тройственностью является алгеброй Хопфа
13
с тройственностью. Данный результат дает новую конструкцию универсальной
обертывающей алгебры для алгебр Мальцева. Перенос результатов Михеева на
случай биалгебры Мальцева в сумме с имеющимеся результатами позволят
искать квантовую универсальную обертывающую алгебру для биалгебр
Мальцева переходя в начале, от биалгебр Ли к биалгебрам Ли с
тройственностью, затем к алгебрам Хопфа с тройственностью, затем строя
квантовую
универсальную
обёртывающую
алгебру
с
тройственностью
полученной биалгебры Ли с тройственностью, и в конце строя алгебру МуфангХопфа.
За отчетные период было доказано, что в коалгебре Мальцева с
тройственностью на множестве симметрических относительно инволюции
элементов можно задать структуру коалгебры Мальцева, связанную
в
некотором смысле со структурой исходной коалгебры Ли. При доказательстве
использовались методы, разработанные Михеевым при работе с алгебрами Ли с
тройственностью. В начале доказывается, что коалгебра Ли с тройственностью
L является прямой суммой множества кососимметрических относительно
инволюции элементов M и подходящего подпространства ρH. Подпространство
M не замкнуто относительно исходного коумножения, то есть не является
подкоалгеброй в L, однако оказывается, что если рассмотреть проекцию
исходного коумножения (ограниченного на M) на M⊗M параллельно ρH, то
пространство M
с построенным таким образом коумножением будет
коалгеброй Мальцева.
Данный результат частично переносит результаты Михеева и ПерезИскуедро на случай коалгебр Мальцева.
В связи с исследованиями в области двумерной конформной теории поля в
80-е годы у Белавина, Замолодчикова и Полякова возникли вертексные
операторы. Изучение вертексных операторов привело Каца в середине 90-х
годов к рассмотрению конформных алгебр, кодирующих сингулярную часть
структуры вертексных алгебр. К настоящему времени теория ассоциативных и
14
лиевых конформных алгебр оформилась в самостоятельное направление
исследований, в котором получены многие глубокие структурные результаты. В
частности, описаны простые и полупростые ассоциативные конформные
алгебры конечного типа и линейного роста.
Колесниковым была обнаружена полезная и неожиданная связь между
конформными
алгебрами
и
диалгебрами
–
пространствами
с
двумя
билинейными операциями, возникшими в работах Ж.-Л. Лодея и соавторов по
алгебраической К-теории. Понятия диалгебр (ассоциативной и лиевой), как и их
естественного
обобщения,
триалгебр,
появились
1993
и
2001
годах,
соответственно. Общий подход для определения диалгебр произвольного
многообразия Var был получен ранее Колесниковым в 2008 году, а для
триалгебр – Колесниковым и Губаревым в 2011 году.
Основным объектом исследования в данной работе являются Г-конформные
алгебры, введённые Кацем и Голенищевой-Кутузовой как дискретные аналоги
конформных алгебр. Именно, структура Г-конформной алгебры кодирует
сингулярную часть разложения операторного произведения полей, имеющего
набор особых точек — простых полюсов (в отличие от «обычных» конформных
алгебр, отвечающих случаю одного полюса произвольной кратности). Для
группы Г= <Z,+> целых чисел по сложению определяются Z-конформные
алгебры. Ранее Колесниковым и Губаревым были введены такие основные
понятия для Z-конформных алгебр, как идеал, простота, полупростота,
конечный тип, функция локальности, и была доказана
Теорема 1. Простая ассоциативная Z-конформная алгебра конечного типа
является алгеброй петель от некоторой простой ассоциативной конечномерной
алгебры.
На данном этапе было получено обобщение данной теоремы для
полупростых алгебр:
Теорема 2. Полупростая ассоциативная Z-конформная алгебра конечного
15
типа разлагается в конечную прямую сумму простых ассоциативных Zконформных алгебр конечного типа.
Ключевой идеей доказательства теоремы 2 является построение пирсовского
разложения для ассоциативных Z-конформных алгебр. Из теорем 1 и 2 следует
полное описание с точностью до изоморфизма ассоциативных Z-конформных
алгебр конечного типа, не содержащих нильпотентных идеалов.
Для исследовавшихся ранее многообразий обобщённых триалгебр дано
эквивалентное определение
в терминах
белого
произведения
операды
gCommTrias и операды, соответствующей рассматриваемому многообразию
Var. Этот результат был проверен для ассоциативных, коммутативных и лиевых
триалгебр на программе manin, написанной Колесниковым. При помощи
указанной программы решена проблема из [14], посвященная вычислению
белого произведения Манина операд Lie и As: показано, что полученная
операда эквивалентна свободной операде многообразия алгебр с двумя
билинейными операциями.
При помощи вычислений в алгебре Хопфа получены следующие результаты:
Теорема 3. На произвольной Г-конформной алгебре многообразия Var можно
задать структуру обобщённой триалгебры многообразия Var.
Теорема 4. В случае основного поля положительной характеристики
триалгебру произвольного многообразия можно вложить в некоторую Гконформную алгебру петель того же многообразия.
Отметим, что доказательство теоремы 4 носит конструктивный характер,
обёртывающая Г-конформная алгебра петель построена явно.
Методика исследований включает структурную и комбинаторную теорию
ассоциативных колец, теорию алгебр Хопфа и методы универсальной алгебры.
16
1.2. ИССЛЕДОВАНИЯ В КОНЕЧНЫХ ГРУППАХ
Пусть G - конечная группа подстановок, действующая транзитивно на
некотором (конечном) множестве X. Размером базы группы G называется такое
конечное число k, что существуют k точек x1, ... , xk, поточечный стабилизатор
которых тривиален, т.е. из того, что элемент g из G стабилизирует каждую из
точек x1, ... , xk следует, что g=1. При этом сам этот набор точек называется
базой группы G. Нахождения размера базы и самой базы - одна из важнейших
задач современной теории конечных групп. Размер базы особенно важен для
изучения сложности алгоритмов, в основе которых лежат вычисления в
конечных группах, а также для исследования самих групп с помощью
компьютерных вычислений. В настоящее время существуют тысячи работ,
написанных сотнями авторов, в которых исследуется размер базы и связанные с
ним инварианты группы. В частности, в серии работ различных авторов
доказано, что для произвольной почти простой группы размер базы,
действующей транзитивно и примитивно, либо не превышает 7, либо цоколь
этой группы - знакопеременная или классическая группа, а стабилизатор точки
- параболическая подгруппа. Несмотря на столь существенные продвижения в
изучении размера базы для различных классов групп (в частности, для
конечных почти простых групп), вопрос о размере базы для произвольной
группы ещё очень далёк от своего решения. На данный момент не существует
даже
правдоподобных
гипотез
в
этом
направлении.
Таким
образом,
исследования размера базы с одной стороны являются актуальным и бурно
развивающимся направлением современной математики, а с другой стороны,
все результаты, полученные в данном направлении, носят лишь частичный
характер и справедливы для частных случаев.
В рамках работы над настоящим проектом разработана техника, которая
позволяет
сводить
изучение
размера
базы
произвольной
группы
к
исследованию размера базы её композиционных факторов. В частности, если
стабилизатор точки разрешим и имеет тривиальное пересечение с разрешимым
радикалом всей группы, то доказано, что оценка для размера базы всей группы
17
может быть получена в терминах размеров баз неабелевых композиционных
факторов этой группы. Более точно, получен следующий результат.
Теорема. Пусть G - конечная группа, действующая транзитивно на
множестве X. Предположим, что стабилизатор точки S разрешим и либо не
пересекается с разрешимым радикалом группы G, либо содержит этот радикал.
Рассмотрим некоторый композиционный ряд
1=G0<G1<...<Gn=G,
являющийся уплотнением некоторого главного ряда группы G. Предположим,
что для любого неабелева композиционного фактора Gi/Gi-1 группы G и для
любой разрешимой подгруппы T группы AutG(Gi/Gi-1) размер базы этой группы
G-индуцированных
автоморфизмов,
действующей
на
смежных
классах
AutG(Gi/Gi-1) по T правыми умножениями, не превосходит некоторого k. Тогда
размер базы группы G не превосходит максимального из чисел 6 и k.
Тем самым исследование размеров базы в группах с разрешимым
стабилизатором
точки
сводится
к
аналогичному
вопросу
для
групп
индуцированных автоморфизмов их композиционных факторов. Напомним, что
для произвольной секции A/B группы G нормализатором N(G,A/B) этой секции
называется
пересечение
подгрупп
N(G,A)
и
N(G,B),
а
образ
этого
нормализатора в группе Aut(A/B) обозначается через AutG(A/B) и называется
группой индуцированных автоморфизмов секции A/B.
Основным техническим инструментом при доказательстве этой теоремы
является следующая конструкция. Если обобщённая подгруппа Фиттинга
группы G является произведением нескольких копий изоморфных неабелевых
простых групп T и сама группа G действует сопряжениями транзитивно на этих
группах, то можно построить каноническое вложение G в подстановочное
сплетение AutG(T) г Sn. При этом многие свойства относительно данного
вложения можно контролировать. В частности, удаётся оценить размер базы
группы G в терминах размера базы AutG(T). Отметим, что разработанная
техника не имеет аналогов в мире и вызвала активный интерес у ведущих
18
специалистов, работающих в этой области.
Пусть π − некоторое множество простых чисел. Для произвольного
натурального числа n через π(n) обозначим множество простых делителей числа
n. В 1928 году Ф.Холл, обобщая понятие силовской подгруппы, предложит
определение Sπ-подгруппы, которые позже стали называть π-холловыми
подгруппами. Подгруппа H группы G называется π-холловой, если её порядок
делится на простые числа только из π (такие группы ещё называются πгруппами), а её индекс |G:H| не делится на простые числа из π. Исследования
холловых подгрупп составляют заметную часть исследований по теории
конечных групп. В частности, начиная с 1992 года в известном классификаторе
Американского математического общества исследованиям холловых подгрупп
присвоен специальный код. Вторым классическим вопросом в теории групп
является исследование нормальных подгрупп и их обобщений. Одним из таких
обобщений является понятие пронормальной подгруппы. Напомним, что
подгруппа H группы G называется пронормальной, если для любого элемента g
из G подгруппы H и Hg сопряжены в подгруппе, ими порождённой. Данным
понятиям порождено множество работ исследователей по теории групп, а их
приложения находят место в самых различных отраслях теории групп.
Мы будем использовать термин «группа» в значении «конечная группа», если
не оговорено противное. Через π, как и ранее, обозначается некоторое
фиксированное множество простых чисел, а через p − некоторое простое число.
Символом π' обозначается множество всех простых чисел, не лежащих в π,
символом π(n) − множество всех простых делителей натурального числа n, а
символом π(G) − множество π(|G|) для группы G.
Напомним, что группа G называется π-группой, если π(G) ⊆ π.
Подгруппа H группы G называется π-холловой подгруппой, если π(H) ⊆ π и
π(|G:H|) ⊆ π'.
Будем говорить, что группа G обладает свойством Eπ, если в G имеется хотя
бы одна π-холлова подгруппа. Если в группе G со свойством Eπ любые две πхолловы подгруппы сопряжены, то будем говорить, что G обладает свойством
19
Cπ. Если любая π-подгруппа группы G, обладающей свойством Cπ, содержится в
некоторой π-холловой подгруппе, то будем говорить, что G обладает свойством
Dπ. Группу со свойством Eπ (Cπ, Dπ) будем называть также Eπ-группой
(соответственно Cπ-группой, Dπ-группой). Символы Eπ, Cπ и Dπ будут
использоваться также для обозначения классов всех Eπ-,
Cπ- и Dπ-групп
соответственно. Если X − некоторый класс групп, то через EπX обозначается
класс всех групп, обладающих по крайней мере одной π-холловой подгруппой,
принадлежащей X, а через CπX и DπX − классы Cπ∩(EπX) и Dπ∩(EπX)
соответственно.
Напомним, что класс F групп называется формацией, если он замкнут
относительно гомоморфных образов и конечных подпрямых произведений
(другими словами, если для любой группы G и ее нормальных подгрупп M и N
из G ЄF следует G/M Є F, а из G/M Є F и G/N Є F следует G/(M∩N) ЄF.
Формация F называется:
1) p-насыщенной ( p− простое число), если из G/N Є F, N≤ Op(Φ(G)) всегда
следует G Є F (здесь и далее Op(G) − наибольшая нормальная π-подгруппа
группы G для фиксированного множества π простых чисел, а Φ(G)$ −
подгруппа Фраттини группы G, т.е. пересечение всех максимальных подгрупп);
2) насыщенной, если F является p-насыщенной для любого простого p;
3) p-разрешимо насыщенной, если из G/N Є F, N≤ Op(Φ(Gp-σ)), где Gp-σ − pразрешимый радикал группы G, всегда следует G Є F;
4) разрешимо насыщенной, если из G/N Є F, N≤ Φ(Gσ), где Gσ − разрешимый
радикал группы G, всегда следует G Є F.
В 2011 году с использованием классификации конечных простых групп
доказано, что класс Eπ является формацией (отметим, что доказательство этого
утверждения в работе В.А.Ведерникова 1996 года содержит пробел). В серии
работ Вдовина и Ревина с использованием классификации конечных простых
групп доказано, что группа обладает свойством Dπ тогда и только тогда, когда
каждый ее композиционный фактор обладает этим свойством. Отсюда следует,
что класс Dπ − формация. Ввиду нильпотентности подгруппы Фраттини обе
20
формации Eπ и Dπ являются насыщенными.
Блессенолем в 1974 году было доказано, что если F – насыщенная формация,
то класс всех разрешимых CπF -групп также является насыщенной формацией.
В 1978 году Л.А. Шеметковым в его известной монографии «Формации
конечных групп» была сформулирована следующая гипотеза.
Гипотеза. Пусть π − некоторое множество простых чисел, F − насыщенная
формация. Тогда CπF − насыщенная формация.
Позднее в 1996 году для произвольной насыщенной формации F такой, что
CπF − формация, Л.А.Шеметковым и А.Ф.Васильевым был получен критерий
насыщенности CπF. Как следствие, было установлено, что формация CπN, где N
− формация всех
нильпотентных групп, вообще говоря, не является
насыщенной, и, таким образом, опровергнута гипотеза Л.А.Шеметкова в ее
оригинальной постановке. Тем не менее, оставался до конца неисследованным
вопрос, в каких случаях гипотеза верна. Этот вопрос сводится к следующему:
будет ли формацией класс CπF для произвольной формации F, и, в частности,
для случая, когда F − класс всех групп. Кроме того, представляют интерес
условия, при которых класс CπF будет разрешимо насыщенной, p-насыщенной
или p-разрешимо насыщенной формацией.
В рамках работы над настоящим проектом в статье Е. П. Вдовин, Д. О.Ревин,
Л. А. Шеметков, «Формации конечных
Cπ-групп» Алгебра и анализ, 24:1
(2012), доказано, что для любой формации F класс CπF является формацией
(см. теорему 1 ниже). Это утверждение опирается на результаты работы
Е.П.Вдовина
и
Д.О.Ревина
2010
года,
в
которой
с
использованием
классификации простых групп получен критерий того, что группа обладает
свойством Cπ в терминах нормального строения этой группы и установлено,
что свойство Cπ наследуется некоторыми подгруппами индекса, не делящегося
на числа из π, а также факторгруппами. Выяснено также, в каких случаях
формация CπF оказывается p-насыщенной или p-разрешимо насыщенной.
21
Сформулируем основные результаты работы Е. П. Вдовин, Д. О.Ревин, Л. А.
Шеметков, «Формации конечных Cπ-групп».
Теорема 1. Справедливы следующие утверждения:
1) класс Cπ − формация;
2) для любой формации F класс CπF является формацией.
Следствие 1.1. В любой конечной группе существует Cπ -корадикал, т.е.
наименьшая нормальная подгруппа, фактор по которой является Cπ-группой.
Теорема 2. Если F − p-разрешимо насыщенная формация, то CπF − также pразрешимо насыщенная формация.
Следствие 2.1. Пусть F − p-разрешимо насыщенная формация, содержащая
все p-группы. Предположим, что группа G имеет нормальную подгруппу A и
нормальную p-подгруппу B такие, что B≤A и A/B Є CπF.
Если B содержится в подгруппе Фраттини p-разрешимого радикала группы G,
то A Є CπF.
Следствие 2.2. Если F − разрешимо насыщенная формация, то CπF − также
разрешимо насыщенная формация.
Следствие
2.3.
Пусть
CπF
−
разрешимо
насыщенная
формация.
Предположим, что группа G имеет нормальные подгруппы A и B такие, что
B≤A и A/B Є CπF. Если B содержится в подгруппе Фраттини разрешимого
радикала группы G, то AЄ CπF.
В оставшихся двух утверждениях, приведенных ниже, мы используем
22
следующие
обозначения
и
понятия.
Через
O{p',p}(G)
обозначается
p-
нильпотентный радикал группы G (наибольшая среди нормальных подгрупп,
обладающих нормальной p'-холлловой подгруппой). Если X − класс групп, то
через form(X) обозначается наименьшая формация, содержащая X (пересечение
всех формаций, содержащих X). Группа называется монолитической, если она
обладает единственной минимальной нормальной подгруппой. Класс всех pгрупп обозначается через
Np. Если X − формация, то NpX − класс всех
расширений p-групп с помощью X -групп.
Теорема 3. Пусть F − p-насыщенная формация, p Є π. Тогда формация CπF
будет p-насыщенной в том и только в том случае, когда π-холлова подгруппа
любой
монолитической
CπF−группы
с
неабелевым
цоколем
порядка,
делящегося на p, принадлежит формации Npform(G/ O{p',p}(G) | GЄF).
Следствие 3.1. Пусть F − насыщенная формация. Тогда формация CπF
насыщена в том и только в том случае, когда π-холлова подгруппа любой
монолитической CπF−группы H с неабелевым цоколем N принадлежит
формации Npform(G/ O{p',p}(G) | GЄF) для любого p Є π(N)∩π.
В соответствии с определением Ф.Холла, подгруппа H группы G называется
пронормальной, если для любого элемента g ЄG подгруппы H и Hg сопряжены
в подгруппе < H, Hg >.
Классическими примерами пронормальных подгрупп являются:
нормальные подгруппы;
максимальные подгруппы;
силовские подгруппы конечных групп;
картеровы (т.е. нильпотентные самонормализуемые) подгруппы конечных
разрешимых групп;
холловы подгруппы (т.е. подгруппы, у которых порядок и индекс взаимно
просты) конечных разрешимых групп.
23
Пронормальность подгрупп в последних трёх примерах следует из
сопряжённости
силовских,
картеровых
и
соответствующих классах конечных групп.
холловых
подгрупп
в
Е.П.Вдовину ранее удалось
доказать сопряжённость картеровых подгрупп в произвольных конечных
группах. Как следствие, картеровы подгруппы конечных групп пронормальны.
В отличие от картеровых подгрупп, холловы подгруппы в произвольной
конечной группе могут оказаться несопряжёнными. Таким образом, важно
исследовать вопрос, для каких классов конечных групп выполнена гипотеза о
пронормальности холловых подгрупп. В работе Е. П. Вдовина и Д. О. Ревина
«Пронормальность холловых
подгрупп
в конечных простых группах»
выполненной в рамках данного проекта получен следующий результат.
Теорема. Холловы подгруппы конечных простых групп пронормальны.
Эта теорема даёт положительный ответ на вопрос 17.45(а) из «Коуровской
тетради» [15] и была анонсирована авторами в их обзорной работе 2011 года в
«Успехах математических наук». В дальнейшем предполагается использовать
этот результат для исследования наследуемости холлова свойства Cπ
надгруппами π-холловых подгрупп для произвольного множества π простых
чисел.
Доказательство данного результата естественно разбивается на два случая.
Первый случай − когда холлова подгруппа H конечной простой группы G имеет
нечетный порядок (эквивалентно, четный индекс). Разбор этого случая сводится
к применению теоремы Ф.Холла 1956 года о сопряженности холловых
подгрупп, имеющих силовскую башню одного типа, и теоремы Ф.Гросса 1987
года о том, что в конечных простых группах холловы подгруппы нечетного
порядка обладают силовскими башнями.
Во втором случае, когда холлова
подгруппа H имеет четный порядок (эквивалентно, нечетный индекс), техника
доказательства принципиально другая. Используются тот факт, что H содержит
24
силовскую 2-подгруппу S группы G, и лемма, согласно которой для
доказательства
пронормальности
подгруппы
H
достаточно
установить
сопряженность подгрупп H и Hg в < H, Hg > только для тех g, которые
нормализуют подгруппу S. После этого применяется описание нормализаторов
силовских
2-подгрупп
в
конечных
простых
группах,
полученное
А.С.Кондратьевым. Возможно, данная техника применима в более общей
ситуации. Например, можно исследовать следующую гипотезу:
Гипотеза. В конечных простых группах подгруппы нечетного индекса
пронормальны.
Ввиду теоремы Кондратьева, данная гипотеза справедлива для всех конечных
простых групп, в которых силовская 2-подгруппа совпадает со своим
нормализатором
(например,
согласно
теореме
А.С.
Кондратьева,
в
знакопеременных группах степени большей 5, ортогональных группах, а также
в большинстве спорадических и исключительных групп).
В 1979г. на знаменитой конференции по конечным группам в г.Санта-Круз
Х.Виланд поставил следующий вопрос.
Проблема. В каких известных простых группах верна «сильная π-теорема
Силова»: для любых двух π-подгрупп A и B существует t Є < A, B > такой, что
< A, Bt > является π-группой?
В «Коуровскую тетрадь» [15] под номером 17.43(а) записан вопрос,
эквивалентный проблеме Виланда.
Вопрос 17.43(а). В каких конечных простых Dπ-группах любая подгруппа
является Dπ-группой?
Легко показать, что в конечной группе G выполнена сильная π-теорема
Силова в том и только в том случае, когда любая подгруппа группы G является
25
Dπ-группой (в частности, проблема Виланда и проблема 17.43a из «Коуровской
тетради» [15] эквивалентны).
Обозначим через Wπ класс всех конечных групп, в которых любая подгруппа
является Dπ-группой. В силу вышесказанного, множество простых групп из
класса Wπ является полным решением проблемы Виланда. С другой стороны,
полное решение проблемы Виланда дает нам описание всего класса Wπ,
поскольку верна
Теорема. Пусть π − некоторое множество простых чисел и G − конечная
группа. Тогда G Є Wπ если и только если каждый композиционный фактор
группы G принадлежит Wπ.
Известно, что знакопеременные Dπ-группы лежат в классе Wπ. В рамках
данного проекта получено полное решение проблемы Виланда и вопроса
17.43(а) для спорадических групп. А именно, доказана следующая
Теорема. Пусть π − некоторое множество простых чисел, G − спорадическая
группа. Тогда группа G принадлежит классу Wπ, если и только если выполнено
одно из условий:
 |π∩\π(G)|≤1;
 π(G)⊆ π;
 пара (G, π∩π(G)) представлена в таблице ниже.
π∩π(G)
|G|π
G
M11
{5, 11}
5∙11
O’N
M12
{5, 11}
5∙11
M22
{5, 11}
5∙11
M23
{5, 11}
5∙11
G
26
π∩π (G)
|G|π
{5, 11}
5∙11
{5, 31}
5∙31
Ru
{7, 29}
7∙29
Ly
{11, 67}
11∙67
M24
J1
J4
{11, 23}
11∙23
Co1
{11, 23}
11∙23
{5, 11}
5∙11
Co2
{11, 23}
11∙23
{11, 23}
11∙23
Co3
{11, 23}
11∙23
{3, 7}
3∙7
Fi23
{11, 23}
11∙23
{3, 19}
3∙19
Fi24
{11, 23}
11∙23
{5, 11}
5∙11
B
{11, 23}
11∙23
{5, 11}
5∙113
{23, 47}
23∙47
{5, 31}
5∙31
{23, 47}
23∙47
{7, 29}
7∙29
{29, 59}
29∙59
{7, 43}
7∙43
M
Основная идея решения данной проблемы состоит в следующем. Так как
любая подгруппа содержится в некоторой максимальной, достаточно доказать,
что любая максимальная подгруппа M группы G
лежит в классе Wπ, в
частности, является Dπ-группой. Ввиду теоремы 1, для доказательства факта M
Є Wπ достаточно показать, что неабелевы композиционные факторы группы M
лежат в классе Wπ. Были рассмотрены таблицы максимальных подгрупп, а
также использована статья А. В. Заварницина «Finite simple groups with narrow
prime spectrum», в которой
перечислены все неабелевы простые группы S
такие, что все простые делители |S| не превосходят 1000.
Теоретико-групповое описание π-холловых подгрупп в конечных простых
группах известно и получено в сотнях различных работ десятками авторов,
среди которых такие специалисты, как Ф.Холл, Дж. Томпсон, Ф.Гросс, В.Д.
Мазуров, Е.П. Вдовин, Д.О, Ревин и др. Однако, во-первых, во многих случаях
это описание требует дополнительных рассуждений для нахождения πхолловых подгрупп
в конкретной группе, а во-вторых, не является
единообразным.
Используя известное теоретико-групповое описание π-холловых подгрупп в
группах PSLn(q) мы приводим описание холловых подгрупп в терминах
естественных арифметических характеристик группы PSLn(q) (то есть в
27
терминах n и q), а также полностью исследуем
вопрос о вложимости π-
холловой подгруппы группы PSLn(q) в π-холлову подгруппу группы F, где
PSLn(q) ≤ F ≤ Aut(PSLn(q)).
В рамках исполнения данного госконтракта получено требуемое описание
для групп PSLn(q).
В качестве следствия, в случае, когда характеристика поля лежит в
множестве π, получено, что π-холлова подгруппа либо лежит в подгруппе
Бореля группы PSLn(q), либо может быть получена как стабилизатор некоторых
подпространств. В первом случае полученные результаты (критерии и вид πхолловой подгруппы) приведены в следующей таблице:
Условия на множество π
Представитель класса сопряжённости
π∩π(L)⊆ π(q-1)∪ {p},
π∩π(n!)⊆{p}.
P
–
полупрямое
произведение
UTn(q) и Z, где Z=ℤ(q-1)π×…×ℤ(q-1)π .
При этом установлено, что все подгруппы такого типа сопряжены.
Основным массивом конечных простых групп являются конечные группы
лиева типа. Пусть G − конечная группа лиева типа над конечным полем,
характеристику которого мы будем обозначать через ch(G). Предположим, что
G задана как подгруппа в GL(n, q), порожденная некоторым множеством
матриц X. Одной из задач вычислительной̆ теории групп является нахождение
ch(G) по X за полиномиальное время.
В работе Кантора и Сереша (2009) был разработан алгоритм Монте-Карло
для нахождения характеристики простой группы лиева типа над полем
нечетной характеристики, основанный на следующем утверждении: если G и H
− простые группы лиева типа над полями нечетных характеристик такие, что в
множествах порядков элементов групп G и H совпадают три самых больших
числа, то ch(G) = ch(H). Также в данной работе была высказана гипотеза о том,
что условие нечетности характеристик может быть опущено. В рамках
выполнения госконтракта была исследована данная гипотеза.
28
Разработанные Кантором и Серешем методы оказались применимы к
простым линейным, унитарным и исключительным группам над полями
характеристики 2. Ограничение на характеристику в работе Кантора и Сереша
обусловлено сложностями, возникающими при подсчете максимальных
порядков элементов симплектических и ортогональных групп над полями
характеристики 2. Как показывают примеры, зависимость этих чисел от
размерности группы и порядка поля определения может быть довольно
сложной.
С
помощью
большого
объёма
компьютерных
вычислений
исполнителю проекта Д.В. Лыткину удалось получить предположительный вид
двух наибольших порядков элементов в симплектических группах над полями
характеристики
2.
Затем
полученные
формулы
были
обоснованы
с
использованием стандартных теоретико-числовых методов. Наконец, на основе
этих формул было доказано, что симплектические группы над полями четных
составных порядков можно отличить от простых групп лиева типа над полями
нечетных порядков по двум наибольшим порядкам элементов. А именно, была
доказана следующая
Теорема. Пусть G=Sp(2n, q), где q=2k >2 и H — простая группа лиева типа
такая, что m1(G)=m1(H) и m2(G)=m2(H), где m1(G) и m2(G) обозначают два
наибольших порядка элементов группы G. Тогда ch(H)=2.
Напомним, что группой периода n называется группа с тождественным
соотношением xn=1. В этом смысле группы периодов 2, 3, 4 и 6 являются
группами периода 12. Еще Бернсайд задавался вопросами о том, что делает
группу конечной, и предложил обратить внимание на период группы. Тем
самым появилась известная проблема Бернсайда: является ли группа данного
периода n локально конечной. Группа называется локально конечной, если
любое конечное множество элементов этой группы порождает конечную
подгруппу. Из результатов П.С. Новикова, С.И. Адяна и И.Г. Лысенка [16, 17]
следует, что для любого n>8000 существует не локально конечная группа
периода n. С другой стороны, установлена локальная конечность некоторых
29
групп малого периода. Так, группы периода 2, очевидно, являются локально
конечными. Из результатов Леви, ван дер Вардена и Санова [18-20] следует
локальная конечность групп периода 3 и 4. Д.В.Лыткина [21] позднее описала
строение групп, порядок каждого элемента которой не превосходит числа 4.
М.Холл [22] доказал локальную конечность групп периода 6, 2-длина и 3-длина
таких групп равна 1, и в частности, они разрешимы длины не больше 4.
Вопросы о локальной конечности групп периодов 5 и 12 являются открытыми и
вызывающими. В рамках данного проекта исследуются группы периода 12.
Показано, что если G − группа периода 12, в которой порядок произведения
любых двух инволюций не делится на 6, то группа G локально конечна. Этот
результат обобщает теорему Санова, согласно которой группа периода 12 без
элементов порядка 6 локально конечна.
При исследовании групп периода 12, в которых порядок произведения любых
двух инволюций не делится на 6 важно изучить нормальную подгруппу,
порожденную всеми инволюциями из группы. На первом этапе изучаются
подгруппы,
порожденные
небольшим
числом
(3-4)
инволюций,
и
удовлетворяющие условию выше. При изучении таких подгрупп важную роль
играют вычисления и исследования с использованием пакета программ
компьютерной алгебры GAP, в частности, алгоритм перечисления смежных
классов позволяет доказать конечность изучаемых подгрупп. Среди изучаемых
подгрупп, порождаемых тремя инволюциями, можно выделить подгруппу,
обозначим ее через R, которая является расширением экстраспециальной 3группы порядка 27 посредством инволюции. Показывается, что если в G нет
подгрупп, изоморфных R, то порядок любого элемента из G не превосходит
числа 4. Используя методы теории конечных групп, удается описать конечные
группы, которые порождаются инволюциями, удовлетворяют условию теоремы
и содержат подгруппу, изоморфную R. Используя это описание, разбирается
оставшийся случай. Таким образом, в исследованиях наряду с компьютерными
вычислениями используются методы теории конечных групп, рассуждения по
индукции, а также классические методы (теорема Шмидта).
30
В
работе
Г.Н.
[23]
сформулированную
Аржанцева
первоначально
доказала
Громовым
следующую
в
[24].
Для
теорему,
каждой
квазивыпуклой подгруппы бесконечного индекса H гиперболической группы
без кручения G существует элемент бесконечного порядка g Є G, такой что
подгруппа, порожденная g и H, квазивыпукла и является свободным
произведением <g> * H. Очевидно, что без дополнительных ограничений на
подгруппу H эта теорема не верна для гиперболических групп с кручением. В
качестве контрпримера можно привести прямое произведение F и H, где F свободная группа конечного ранга r≥1 и H - нетривиальная конечная группа.
Такая группа будет гиперболической, так как F – гиперболическая и Р –
конечная.
Возникает вопрос, при каких дополнительных ограничениях на подгруппу H
эта теорема верна для гиперболических групп с кручением. Важный частный
случай этого вопроса, когда H является конечной подгруппой, был рассмотрен
К. С. Свиридовым [25].
Пусть G – группа, h – элемент группы G. Обозначим через F(h) множество
таких элементов g из группы G, что никакая ненулевая степень g не
централизует h в группе G.
Будем говорить, что подгруппа H дополняется свободным множителем ранга
n в группе G, если в группе G существует свободная подгруппа Fn ранга n такая,
что подгруппа группы G, порожденная Fn и H изоморфна свободному
произведению Fn и H. Основным результатом работы К.С. Свиридова [25]
является
Теорема. Пусть G – гиперболическая группа, не являющаяся почти
циклической, и H − её конечная подгруппа. Подгруппа H дополняется
свободным множителем ранга 2 в группе G тогда и только тогда, когда для
каждого неединичного элемента h подгруппы H существует элемент
бесконечного порядка g(h) группы G, принадлежащий F(h).
В этой же работе доказано, что для данной гиперболической группы G и ее
31
конечной подгруппы H условия теоремы проверяются алгоритмически.
Следующий естественный шаг – отказаться от конечности подгруппы H.
Заметим, что всякая квазивыпуклая подгруппа гиперболической группы сама
является гиперболической (см., например, [26]). В рамках выполнения данного
проекта доказана следующая
Теорема. Пусть G – гиперболическая группа, не являющаяся почти
циклической, H – её квазивыпуклая подгруппа бесконечного индекса и d’ –
константа
гиперболичности
подгруппы
H.
Подгруппа
H
дополняется
свободным множителем ранга 2 в группе G тогда и только тогда, когда для
каждого неединичного элемента конечного порядка h подгруппы H длины не
более 2d’+1 существует элемент бесконечного порядка g(h) группы G,
принадлежащий F(h).
Каждый элемент гиперболической группы G действует левым умножением
на границе группы G. В силу следствия 2.14 [25], необходимое и достаточное
условие теоремы можно представить следующим образом:
каждый неединичный элемент конечного порядка h подгруппы H длины не
более 2d’+1 нетривиально действует на границе группы G.
Замечание 1. Существует алгоритм для проверки условий приведенной
теоремы.
Замечание 2. Пусть G и H как в теореме и m, n – натуральные числа.
Подгруппа H дополняется свободным множителем ранга n в группе G тогда и
только тогда, когда подгруппа H дополняется свободным множителем ранга m в
группе G.
Замечание 3. Пусть G и H как в теореме. Если H удовлетворяет критерию
теоремы, то подгруппа F2*H группы G, построенная в доказательстве теоремы,
квазивыпукла.
32
В теореме предполагается, что группа G – не почти циклическая, а подгруппа
H − бесконечного индекса в группе G и квазивыпуклая. Если мы хотим, чтобы
подгруппа H дополнялась свободным множителем ранга 2 в группе G, то
первые два условия необходимы. Попытки отказаться от квазивыпуклости
подгруппы H наталкиваются на следующий контрпример.
Для G=F2 существует такое натуральное число n (см. [27]), что группа
G/Gn=B(2,n) – бесконечна. Так как в G нет элементов конечного порядка, то
условия теоремы выполнены, однако Gn невозможно дополнить свободной
группой ранга 2. Заключение теоремы неверно, потому что такая подгруппа не
квазивыпукла и даже не конечно порождена.
Сначала мы доказываем, что для произвольного h из H достаточно большой
длины или бесконечного порядка можно найти элемент g=g(h), который
порождает циклическую группу, которая выделяется свободным множителем с
элементом h. Это верно для произвольной неэлементарной гиперболической
группы.
Пользуясь условиями теоремы доказываем, что такие g=g(h) находятся и для
элементов h из H конечного порядка и малой длины. Это уже верно только для
тех гиперболических групп, которые подпадают под условия теоремы.
Самая трудоемкая часть теперь заключается в том, чтобы по найденным
элементам g построить один общий элемент g, такой, что подгруппа,
порожденная g и H изоморфна свободному произведению групп <g> и H.
Алгоритмичность проверки условий тероемы следует из аналогичного факта
в работе Свиридова.
Если G - конечная группа, то классическая теорема Бернсайда утверждает,
что число классов сопряженных элементов группы
G равно числу классов
эквивалентности ее неприводимых унитарных представлений. В настоящее
время активно изучается аналог этой теоремы для скрученной сопряженности,
утверждающий,
что
число
классов
скрученной
сопряженности
для
автоморфизма φ совпадает с числом неподвижных точек отображения,
индуцированного этим
автоморфизмом на множество всех унитарных
представлений группы G (в случае конечности одного из этих чисел). В связи с
33
этой проблемой возникает задача об описании групп, у которых число классов
скрученной сопряженности бесконечно для всякого автоморфизма. Про такие
группы говорят, что они обладают свойством R∞.
Вопрос о том, какие группы обладают свойством R∞, сформулировали
А.Фельштын и Р.Хилл около 20 лет назад. Для следующих групп было
показано, что они обладают свойством R∞:
Неэлементарные гиперболические (по Громову) группы
Группы Баумслага-Солитера BS(m,n)=‹a, b | bamb-1=an›, при (m, n)≠ (1, 1)
Группы Григорчука и группы Гупты-Сидки.
Некоторые свободные нильпотентные группы.
Исполнителем госконтракта Ф.А. Дудкиным установлено, что общая
линейная группа GLn(K) и специальная линейная группа SLn(K) при
n≥3обладают свойством R∞, если K - бесконечное целостное кольцо с
тривиальной группой автоморфизмов, либо K - целостное кольцо нулевой
характеристики, у которого группа автоморфизмов периодична.
Доказательство этих теорем основывается на знании строения группы
автоморфизмов линейных групп над областями целостности при n≥3, которое
получил О’Мира в 1967 году.
Для каждого автоморфизма φ строится бесконечное семейство матриц,
которые не могу быть
автоморфизма.
скрученно
сопряженными
с
помощью
этого
Они и будут представителями бесконечного числа классов
скрученной сопряженности для данного автоморфизма. Для этого используется
необходимое условие φ-сопряженности матриц для каждого φ, полученное
также в ходе работы. Для получения необходимого условия используются
понятие следа матрицы и свойство того, что он не меняется при сопряжении.
Также
введено
понятие
антиследа
матрицы
2×2,
и
для
некоторых
автоморфизмов φ необходимое условие φ-сопряженности матриц строится при
помощи свойств антиследа.
Из этих теорем вытекает несколько интересных следствий. Например, о том,
что общая и специальная линейные группы над кольцом целых чисел, над
полями рациональных, вещественных и p-адических чисел, а так же над
34
конечными сепарабельными расширениями поля рациональных чисел обладают
свойством R∞.
А.И.Мальцев доказал, что свободная разрешимая группа ступени > 1 имеет
алгоритмически неразрешимую элементарную теорию. О.Шапю установил, что
свободная метабелева группа и левоитерированные сплетения абелевых групп
без кручения имеют разрешимые универсальные теории. В частности, он
заметил, что нециклическая свободная метабелева группа универсально
эквивалентна сплетению двух нетривиальных абелевых групп без кручения. В
последующих работах О.Шапю, В.Н.Ремесленникова и Р.Штера исследование
универсальных теорий свободных метабелевых и близких к ним групп было
продолжено: найдена аксиоматика, изучены свойства теорий.
В случае свободных разрешимых групп данной ступени разрешимости
большей 2 группы разных рангов также универсально эквивалентны между
собой. О.Шапю исследовал задачу о разрешимости их универсальной теории.
Он установил, что с помощью Е-формул в свободной разрешимой группе
ступени > 2 интерпретируется произвольное диофантово уравнение над полем
рациональных чисел, однако, вопрос о разрешимости таких уравнений до сих
пор является открытым. На данном этапе в этом направлении был получен
следующий результат
Теорема. Универсальная теория или, что равносильно, Е-теория свободной
разрешимой группы ступени > 3 алгоритмически неразрешима.
35
1.3. АНАЛИЗ АКТУАЛЬНОСТИ ПОЛУЧЕННЫХ РЕЗУЛЬТАТОВ
В физике элементарных частиц для введения в современную стандартную
модель гравитации используется, так называемый, хиггсовский механизм
спонтанного нарушения симметрии электрослабого взаимодействия. Этот
механизм описывается полем, задаваемым одним дублетом. В случае вакуума
дублет можно рассматривать как пару комплексных чисел. Проверка этого
механизма осуществляется в данный момент на Большом адронном коллаедре, и
заключается в поисках, так называемого, бозона Хиггса. Однако хиггсовское
поле может быть задано более, чем одним дублетом, и таким образом возникает
N-дублетная модель. Основной задачей при построении N-дублетной модели в
вакууме является изучение потенциала хиггсовского поля, который включает в
себя как квадраты, так и четвёртые степени координат дублетов. Важным
этапом при этом является построение группы симметрий потенциала, т.е.
нахождение всех преобразований, сохраняющих потенциал инвариантным. Изза
наличия
четвёртых
степеней
задача
не
сводится
к
изучению
полуторалинейных квадратичных форм и потому её не удаётся решить
методами линейной алгебры. Отметим, что в мире существует несколько
десятков групп физиков-теоретиков, которые исследуют этот потенциал. Нами
получена
классификация
всех
возможных
абелевых
групп
симметрий
потенциалов, возникающих во всех возможных N-дублетных хиггсовых полях.
В частности, мы доказали, что порядок конечной абелевой группы симметрий в
N-дублетной модели не превосходит 2N-1 и эта оценка является точной.
Отметим, что потенциалы, имеющие аналогичную форму, встречаются и в
других физических задачах, например, при изучении распределения и
поведения тёмной материи, поэтому полученные результаты позволяют делать
выводы о природе тёмной материи (и некоторые группы физиков уже
используют их для этого).
Понятие алгебры Лейбница, впервые появившееся в [28] и позже независимо
в [29], дало начало серии исследований, посвящённых теории диалгебр. По
36
определению (левая) алгебра Лейбница является векторным пространством с
билинейной операцией [∙, ∙], которая удовлетворяет тождеству Якоби в форме
[x,[y,z]] = [[x,y],z] + [y,[x,z]], то есть оператор левого умножения [x, ∙] является
дифференцированием. Это один из наиболее изученных некоммутативных
аналогов алгебр Ли.
Разные классы диалгебр появлялись в литературе, поскольку они связаны с
алгебрами Лейбница тем же образом, каким соответствующие классы обычных
алгебр связаны с алгебрами Ли. Ассоциативные диалгебры были представлены
в [30] как аналог ассоциативных обёртывающих алгебр для алгебр Лейбница,
альтернативные диалгебры появились в [31] при изучении универсальных
центральных расширений для алгебр Лейбница, йордановы диалгебры (сначала
под названием квазийордановых алгебр) были предложены в [32], смотри также
[33] и [34]. Все диалгебры этих классов являются линейными пространствами,
снабжёнными двумя билинейными операциями
и
такими, что выполняются
определённые, так называемые 0-тождества. Эти тождества общие для
ассоциативных, альтернативных, йордановых диалгебр упомянутых выше, они
также выполняются для алгебр Лейбница, если положить a b = [a,b], a b = [b,a]. Другие определяющие тождества этих многообразий изначально
появились из рассмотрений, вызванных связью с алгебрами Лейбница.
Например, диалгебра ассоциативна, если выполняются три тождества, которые
получаются из тождеств ассоциативных алгебр выбором центральной буквы.
Тогда то же самое пространство относительно новой операции [a,b] = a b - b a
является алгеброй Лейбница. Систематическое изучение этих связей между
алгебрами Лейбница и ассоциативными диалгебрами может быть найдено в
[35].
Идея более концептуального подхода к определению, что следует называть
Var-диалгеброй для данного многообразия Var обычных алгебр, была
предложена на примере Var =As (ассоциативные алгебры). Было показано, что
операда, управляющая многообразием ассоциативных диалгебр в смысле [30],
совпадает с адамаровым произведением As×Perm (здесь мы отождествляем
обозначения для классов алгебр и их управляющих операд), где Perm – это
37
операда
ассоциативных
алгебр,
удовлетворяющих
соотношению
левой
коммутативности (xy)z - (yx)z =0.
Если Var – это произвольное многообразие обычных алгебр с одной
бинарной операцией, тогда алгоритм, предложенный в [34] и [36] позволяет
получить определяющие тождества для класса (ди-)алгебр управляемых
операдой Var×Perm, исходя из определяющих тождеств Var. В [37] этот
алгоритм был обобщён до случая произвольного многообразия алгебр любого
типа (т. е. линейных пространств с семейством полилинейных операций
произвольной арности). В настоящей работе показано, что этот обобщённый
алгоритм также приводит к классу Var×Perm-алгебр. Следовательно, Varдиалгебра (или diVar-алгебра) является просто Var×Perm-алгеброй.
Этот
факт
позволяет
рассматривать
серию
вопросов,
посвященных
элементарным свойствам и связям между разными классами диалгебр, с
обобщённой точки зрения. В частности, морфизм операд ω: P → R всегда
порождает функтор из категории R-алгебр в категорию P-алгебр.
Для каждой тройки (P, R, ω) имеет смысл общая проблема специальности:
совпадает ли многообразие порождённое всеми P-алгебрами, полученными из
R-алгебр, с многообразием всех P-алгебр? Если нет, то какие тождества
разделяют эти классы (специальные тождества)? Точно такие же вопросы
актуальны для диалгебр, так как соответствующие многообразия diR- и diPалгебр связаны функтором, получающимся из морфизма операд ω×id.
В рамках исполнения данного госконтракта было доказано, что проблема
специальности для диалгебр, возникающая из тройки (diP, diR, ω×id), всегда
может быть решена по модулю аналогичной проблемы для обычных алгебр.
Хорошо известна теорема Пуанкаре-Биркгофа-Витта о вложении алгебры Ли
в коммутаторную алгебру подходящей ассоциативной алгебры. Среди таких
ассоциативных алгебр имеется класс алгебр, обладающий универсальным
свойством относительно вложения исходной алгебры Ли в коммутаторную
алгебру
ассоциативной алгебры. Алгебры
из этого класса называются
универсальными обертывающими. Универсальные обертывающие алгебры
38
встречались
еще в работах Г. Вейля под названием инфинитезимальных
групповых колец. В настоящее время теория универсальных обертывающих
алгебр Ли хорошо изучена. Среди основных результатов этой теории можно
отметить теорему К. Шевалле о строении центра универсальной обертывающей
полупростой конечномерной алгебры Ли над полем нулевой характеристики,
теорему Б. Константа, которая утверждает, что в этом случае универсальная
обертывающая алгебра является свободным модулем над своим центром.
Значительный вклад в изучение универсальных обертывающих внесли работы
И.М. Гельфанда и Хариш-Чандры. Центр
универсальной обертывающей
простой трехмерной алгебры Ли sl_2 над полем простой характеристики
изучался А.Н.Рудаковым и И.Р.Шафаревичем [38].
Алгебры Мальцева были введены А.И. Мальцевым как касательные алгебры
локальных аналитических луп Муфанг [39]. Они являются обобщением алгебр
Ли, и их теория достаточно хорошо развита. Важным примером нелиевой
алгебры Мальцева является векторное пространство элементов с нулевым
следом алгебры Кэли-Диксона относительно операции
коммутирования в
качестве умножения. Более обще, для любой альтернативной алгебры
коммутаторная алгебра является алгеброй Мальцева. В связи с этим фактом,
универсальные обертывающие алгебр Мальцева вначале рассматривались лишь
в классе альтернативных алгебр. При этом, их свойства значительно отличались
от свойств универсальных обертывающих алгебр Ли: например, альтернативная
универсальная обертывающая нелиевой алгебры Мальцева может быть
конечномерной и содержать делители нуля. Кроме того, до сих пор неизвестно,
является
ли
универсальный
гомоморфизм
алгебры
Мальцева
в
ее
универсальную альтернативную обертывающую инъективным. Х.М.ПерезИскердо и И.П.Шестаковым [40] были введены универсальные обертывающие
алгебр Мальцева в более широком контексте. Ими показано, что над полем
характеристики, не равной 2,3, всякая алгебра Мальцева является подалгеброй
коммутаторной алгебры обобщенного альтернативного центра некоторой
неассоциативной (не обязательно альтернативной) алгебры. Соответствующая
универсальная обертывающая алгебра при этом обладает базисом Пуанкаре39
Биркгофа-Витта. Более того, эта алгебра не имеет делителей нуля, и
ассоциированная с ней градуированная алгебра, как и в случае алгебр Ли,
изоморфна симметрической алгебре векторного пространства исходной
алгебры
Мальцева.
В.Н.
Желябин
и
И.П.
Шестаков
описали
центр
универсальной обертывающей полупростой конечномерной алгебры Мальцева
над полем нулевой характеристики [41]. В случае поля простой характеристики
центр универсальной обертывающей простой нелиевой алгебры Мальцева был
описан Х.М.Перез-Искердо и И.П.Шестаковым [42].
Известно, что простая нелиева алгебра Мальцева является суммой трех
простых алгебр Ли размерности три. В связи с этим фактом возникает вопрос о
строении централизатора трехмерной простой подалгебры Ли в универсальной
обертывающей простой алгебры Мальцева.
Исполнителями госконтракта В.Н. Желябиным и Т.И. Шабалиным изучался
данный
вопрос. А именно,
было показано, что над
любым полем
характеристики, не равной 2,3, искомый централизатор является расширением
центра универсальной обертывающей простой алгебры Мальцева, элементом
Казимира трехмерной простой подалгебры Ли. В случае поля характеристики
ноль этот результат был ранее получен К.А.Шемонаевым [43]. Отметим, что
предложенное доказательство покрывает и случай поля характеристики ноль.
В случае, когда основное поле имеет характеристику три, простая алгебра
Мальцева, полученная из алгебры Кели-Диксона, является алгеброй Ли. Здесь
строение централизатора в значительной степени отличается от предыдущего
случая. Найдены три новых элемента централизатора.
Кроме того, показано,
что подалгебра, порожденная в центральном замыкании универсальной
обертывающей этими тремя элементами, элементом Казимира, а также центром
универсальной обертывающей, совпадает с централизатором трехмерной
простой подалгебры Ли в центральном замыкании.
Из описания централизатора простой трехмерной подгебры Ли, получены
результаты В.Н.Желябина и И.П.Шестакова, а также Х.М.Перез-Искердо и
И.П.Шестакова о строении центра универсальной обертывающей простой
нелиевой алгебры Мальцева.
40
В
случае
поля
характеристики
централизатора. Показано,
3
найдены
три
новых
элемента
что центральное замыкание централизатора
порождается как алгебра, найденными элементами.
Алгебры Пуассона, как векторное пространство с двумя умножениями,
связанными тождеством Лейбница, где векторное пространство с одним
умножением является ассоциативно-коммутативной алгеброй, а с другим
умножением - алгеброй Ли, широко известны не только в классической теории
колец, но и математической физике и алгебраической геометрии. Так, алгебры
Пуассона были использованы при доказательстве классического результата о
дикости автоморфизма Нагаты (И. Шестаков и У. Умирбаев). Естественным
обобщением алгебр Пуассона являются алгебры общей скобки Пуассона,
впервые предложенные И. Шестаковым в 1998 г. Интерес к алгебрам общей
скобки Пуассона обуславливается тем, что в данном классе алгебр, помимо
алгебр Пуассона содержатся также другие интересные и важные объекты, так он
содержит Пуассон-Мальцевские алгебры, Пуассон-бинарнолиевы алгебры, а
также, ассоциированные алгебры с универсальной обертывающей алгебры
Мальцева, алгебры Бола и, более общо, алгебры Сабинина. В тоже время,
структура свободных алгебр общей скобки Пуассона имеет схожее строение со
свободными ассоциативно-коммутативными алгебрами, свободными алгебрами
Пуассона, но и имеет отличия. В свое время, свободные алгебры общей скобки
Пуассона использовались М. Аренасом и Л. Аренас-Кормоной для построения
универсальной Пуассоновой обертывающей для бинарнолиевых алгебр.
Широкое изучение свободных Пуассоновых алгебр и полей было инициировано
Л. Макар-Лимановым и У. Умирбаевым. Ими был доказан аналог знаменитой
теоремы Бергмана о централизаторе в свободной алгебре Пуассона. В
дальнейшем, они описали локально-нильпотентные дифференцирования и
автоморфизмы свободной алгебры Пуассона от двух порождающих. А именно,
были получены аналоги известных результатов Р. Рентшлера и Х. Джунга о том,
что все автоморфизмы такой алгебры являются ручными. Также, Л. МакарЛиманов и У. Умирбаев доказали теорему "о свободе" для свободных алгебр
41
Пуассона. В результате, Л. Макар-Лимановым, И. Шестаковым и У.
Умирбаевым была изучена связь между полиномиальной зависимостью и
пуассоновой зависимостью двух элементов в свободных Пуассоновых алгебрах
и полях. Участником проекта И. Кайгородовым совместно с И. Шестаковым
были получены аналоги теорем Макар-Лиманова-Умирбаева для алгебр общей
скобки Пуассона. А именно, было показано, что локально-нильпотентные
дифференцирования свободной алгебры общей скобки Пуассона от двух
порождающих являются триангулируемыми, автоморфизмы свободной алгебры
общей скобки Пуассона от двух порождающих являются ручными. Построены
универсальные мультипликативные обертывающие для свободных алгебр и
полей общей скобки Пуассона. А также, была установлена зависимость между
полиномиальной и пуассоновой зависимостью двух элементов в свободных
алгебрах и полях общей скобки Пуассона и левозависимостью их образов в
универсальной
мультипликативной
обертывающей
алгебре.
В рамках исследования, применялись уже известные результаты Л. МакарЛиманова и У. Умирбаева для свободных алгебр Пуассона, но также,
классическая теория свободных антикоммутативных и свободных лиевых
алгебр, разработанная А. Ширшовым, Е. Виттом, Дж. Левиным. Полученные
результаты обобщают хорошо известные результаты мирового уровня Л.
Макар-Лиманова и У. Умирбаева.
В настоящее время известно лишь немного универсальных конструкций для
построения новых луп Муфанг. Одним из примеров подобных конструкций
является так называемое удвоение Чейна, с помощью которого по данной
некоммутативной группе можно получить неассоциативную лупу Муфанг
вдвое большего порядка. Любые новые способы построения луп Муфанг, а в
особенности их бесконечных серий, являются важными и актуальными,
поскольку позволяют пролить свет на строение луп Муфанг, глубже понять их
свойства, подтверждать или опровергать различные гипотезы.
Исследование так называемых циклических над абелевыми луп Муфанг (то
есть луп, являющихся восходящим расширением абелевой группы с помощью
42
циклической группы) представляет интерес в связи со следующей проблемой,
поставленной М.Киньоном:
Проблема. Пусть M – лупа Муфанг с нормальной абелевой подгруппой (т.е.
ассоциативной подлупой) N нечётного порядка такой, что M/N – циклическая
группа порядка, большего 3. Является ли M группой? Если порядки N и M/N
взаимно просты, то является ли M группой?
Примеры циклических над абелевыми луп Муфанг нечётного порядка 3q3 для
простого q, сравнимого с 1 по модулю 3, появились в работе [44], где
рассматривалась проблема существования неассоциативных луп Муфанг
порядка pq3 для простых p,q.
Недавно открытая связь между группами с тройственностью и лупами
Муфанг стала фундаментом для построения новых подходов к исследованию
луп Муфанг, поскольку позволила применять мощные методы хорошо развитой
теории групп для решения луповых проблем. Так, с помощью групп с
тройственностью М.Либек завершил классификацию конечных простых
неассоциативных луп Муфанг, А.Гришков и А.Заварницин доказали аналоги
теорем Лагранжа и Силова для конечных луп Муфанг, а С.Гагола - аналог
теоремы Ф.Холла.
На данном этапе мы конструируем новую серию групп с тройственностью, и
затем выводим явную формулу умножения для соответствующих луп Муфанг.
В частности, мы получаем серию циклических над абелевыми луп Муфанг.
Более конкретно, пусть R – произвольное ассоциативно-коммутативное кольцо
с единицей и R0 – циклическая группа обратимых элементов кольца R. Мы
показываем, что множество четвёрок (r,x,y,z), где r из R0 и x,y,z из R
относительно умножения
(r1, x1,y1, z1)(r2, x2, y2, z2) =(r1r2, x1 + r1x2, y1 + r1y2, r2z1 + z2 + (1 − 2r1−1r2)x1y2 −
x2y1)
43
является циклической над абелевой лупой Муфанг вида R0.(R+R+R) в случае,
когда либо R0 имеет порядок 3, либо R имеет характеристику 2.
Минимальные конечные лупы такого типа, очевидно, возникают когда R0
имеет простой порядок p и R – минимальное конечное поле, содержащее
элемент
мультипликативного
порядка
p.
Например,
так
получаются
циклические над абелевыми собственные лупы Муфанг порядков 3.26, 7.29, 3.56,
3.73, и т.д.
Несмотря на то, что построенные нами новые лупы Муфанг не дают
контрпримера к вышеупомянутой гипотезе, есть основания считать, что они, по
сути, являются единственным типом луп Муфанг, для которых порядки M и
M/N взаимно просты. Из результата о единственности луп порядка 3q3 для
простого q≡1(mod 3) в [44] следует, что они являются частными случаями
полученной нами серии.
Отметим, что мы построили лупы Муфанг как подкласс более широкого
класса луп Ma,b, где a,b из R, не все из которых являются циклическими над
абелевыми, но все имеют общую структуру R0.(R+R).R для данной подгруппы
R0 мультипликативной группы кольца R. Мы также показываем, что некоторые
члены этого более широкого класса вложимы в лупу обратимых элементов
алгебры Кэли O(R).
Полученные результаты находятся на высоком научно-техническом уровне и
превосходят лучшие мировые достижения в данной области.
44
2 ПОКАЗАТЕЛИ
За время выполнения НИР за отчетный период поступили в магистратуру
ММФ НГУ 3 студента – исполнителя НИР:
Курмазов Роман Константинович;
Хохлова Ирина Александровна;
Насыбулов Тимур Ринатович.
Количество подготовленных научных трудов за отчетный период:
Опубликовано 7 научных статей (см. Приложение А),
Сдано в печать 16 научных статей (см. Приложение А).
Количество сделанных научных докладов за отчетный период:
Сделано 2 доклада на отечественных и 7 докладов на международных
научных форумах и конференциях (см. Приложение Б).
45
ЗАКЛЮЧЕНИЕ
В ходе исполнения 4 этапа «Проведение исследований» получены
следующие результаты:
Изучено строение абелевых групп симметрий хиггсовского потенциала в
вакууме для N-дублетной хиггсовской модели.
Классифицированы центральные простые конечномерные некоммутативные
йордановы супералгебры характеристики 0.
Построена конструкция кольца частных для обобщенной алгебры НовиковаПуассона.
Доказано, что класс CπF образует формацию и получены критерии частичной
насыщенности этой формации.
Доказана пронормальность холловых подгрупп в конечных простых группах.
Получены аналоги классических теорем Макар-Лиманова-Умирбаева для
алгебр и полей общей Пуассоновой скобки.
Доказана алгоритмическая неразрешимость универсальной теории свободной
разрешимой группы ступени выше 3.
Используя группы с тройственностью, построена серия неассоциативных луп
Муфанг.
Получено описание конечных групп, в которых все максимальные подгруппы
холловы, и доказано, что в таких группах все максимальные подгруппы имеют
дополнения.
Найдены явные формулы для нахождения максимальных порядков элементов
простых симплектических и ортогональных групп над полем характеристики 2.
Доказана локальная конечность групп периода 12, в которых порядок
произведения любых двух инволюций не делится на 6.
Выполненные на 4 этапе работы соответствуют требованиям технического
задания, календарного плана и нормативной документации.
Приведены списки опубликованных и сданных в печать научных работ,
выступлений на российских и международных форумах, а также другие
показатели успешной работы в рамках данного проекта.
46
Полученные
результаты
имеют
мировой
уровень,
а
исполнители
представляют передовой фронт науки в указанных областях.
По результатам НИР напрашивается вывод о целесообразности продолжения
работ.
47
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
[1] Гельфанд И.М., Дорфманд И. Я., Гамильтоновы операторы и связанные с
ними алгебраические структуры // Функциональный анализ и приложения,
13(1979), 248-262.
[2] Балинский А.А., Новиков С.П., Скобки Пуассона гидродинамического
типа // фробениусовы алгебры и алгебры Ли, ДАН СССР, 283(1985), no. 5, 10361039.
[3] Зельманов Е.И. Об одном классе локальных трансляционно инвариантных
алгебр Ли // ДАН СССР, 292(1987), no. 6, 1294-1297.
[4] Филиппов В.Т. Об одном классе простых неассоциативных алгебр //
Математические заметки, 45(1989), вып. 1, 101-105.
[5] Osborn J.M., Modules for Novikov algebras // in Proceedings of the II
International Congres on Algebra, Barnaul, 1991.
[6] Osborn J.M., Novikov algebras // Nova J. Algebra Geom., 1(1992), 1-14.
[7] Osborn J.M., Simple Novikov algebras with an idempotent // Comm. Algebra
20(9) (1992), 2729-2753.
[8] Xu X., On Simple Novikov Algebras and Their Irreducible ModulesU // J. of
Algebra 185 (1996), 905-934.
[9] Xu X., Novikov-Poisson algebras // J. of Algebra 190, (1997), 253-279.
[10] Xu X., Classification of simple Novikov algebra and their irreducible modules
of characteristic 0 // J. of Algebra 246 (2001) 673-707.
[11] Тихов А.С., Алгебры Новикова-Пуассона и йордановы супералгебры,
"Проблемы теоретической и прикладной математики", Труды 37-ой
Региональной молодежной конференции 30 января - 3 февраля 2006 г. с. 76-79.
[12] Желябин В.Н., Тихов А.С. Алгебры Новикова-Пуассона и ассоциативные
коммутативные дифференциальные алгебры // Алгебра и логика 47, 2 (2008),
186-202.
[13] D. King, K. McCrimmon, The Kantor doubling process revisited // Comm., in
Algebra, 23, №1 (1995), 357−372.
[14] Loday J.-L., Some problems in operad theory, Operads and universal algebra,
48
Proceedings of the International Conference, Tianjin, China, 5–9 July 2010.
[15] Коуровская тетрадь. Нерешённые проблемы в теории групп. Редакторы
В.Д. Мазуров и Е.И. Хухро. 17-е издание, Институт математики СО РАН,
Новосибирск, 2010.
[16] С.И.Адян, Проблема Бернсайда и тождества в группах, Москва, Наука,
1975
[17] И.Г. Лысeнок, Бесконечные бернсайдовы группы четного периода, Изв.
РАН. Сер. матем., 60:3 (1996), 3–224
[18] F. Levi, B.L. van der Waerden, Uber eine besondere Klasse von Gruppen,
Abh. Math. Semin. Hamb. Univ., 9:2 (1932), 154–158
[19] F.W. Levi, Groups in which the commutator operation satisfies certain
algebraic conditions, J. Indian Math. Soc. New Ser., 6 (1942), 87–97
[20] И.Н. Санов, Решение проблемы Бернсайда для показателя 4, Учен. зап.
Ленингр. гос. ун-та. Сер. матем., 10 (1940), 166–170
[21] Д.В. Лыткина, Строение группы, порядки элементов которой не
превосходят числа 4, Сиб. матем. ж., 48:2 (2007), 353–358
[22] М. Hall, Jr., Solution of the Burnside problem for exponent six, 111. J. Math.
2, N 3 (1958), 764-786
[23] G.N. Arzhantseva, On Quasiconvex Subgroups of Word Hyperbolic Groups,
Geometriae Dedicata 2001, 87, 191 - 208.
[24] M. Gromov, Hyperbolic groups, Essays in group theory (S.M. Gersten, ed.),
MSRI Publ. 8, Springer-Verlag, 1987. 75-263.
[25] К.С. Свиридов, Дополнение конечной подгруппы гиперболической
группы свободным множителем, Алгебра и логика, 49, № 4 (2010), 520-554.
[26] M.R. Bridson, A. Haefliger, Metric Spaces of Non-Positive Curvature,
Grundlehren 319, Springer-Verlag, 1999.
[27] П.С. Новиков, С.И. Адян, О бесконечных периодических группах. I, Изв.
АН СССР. Сер. матем., 32:1 (1968), 212-244; П.С. Новиков, С.И. Адян, О
бесконечных периодических группах. II, Изв. АН СССР. Сер. матем., 32:2
(1968), 251-524; П. С. Новиков, С. И. Адян, О бесконечных периодических
группах. III, Изв. АН СССР. Сер. матем., 32:3 (1968), 709-731.
49
[28] A. Bloch, On a generalization of the concept of Lie algebra (Russian), Dokl.
Akad. Nauk SSSR 165 (1965) 471-473.
[29] J.-L. Loday, Une version non commutative des algebres de Lie: les algebres de
Leibniz, Enseignement Mathematique (2) 39 (1993) no.3-4, 269-293.
[30] J.-L. Loday, T. Pirashvili, Universal enveloping algebras of Leibniz algebras
and (co)homology, Math. Ann. 296 (1993) 139-158.
[31] D. Liu, Steinberg-Leibniz algebras and superalgebras, J. Algebra 283 (2005)
no. 2, 199-221.
[32] R. Velasquez, R. Felipe, Quasi-Jordan algebras, Comm. Algebra, 36 (2008)
N.4, 1580-1602.
[33] M.R. Bremner, On the definition of quasi-Jordan algebra, Comm. Algebra, 38
(2010) N.12, 4695-4704. ArXiv:1008.2009.
[34] П.С. Колесников, Многообразия диалгебр и конформные алгебры, Сиб.
мат. журн. 49, 2 (2008) 322-339. ArXiv:math/0611501.
[35] J.-L. Loday, Dialgebras and related operads, Springer-Verl., Berlin, 2001,
pp.1-61. (Lectures Notes in Math., vol. 1763). ArXiv:math.QA/0102053
[36] A.P. Pozhidaev, 0-Dialgebras with bar-unity, ternary Leibniz algebras
and Rota-Baxter algebras, In: A. Giambruno, et al., ed., Groups, Rings and Group
Rings, Contemporary Mathematics 499 (2009) 245-256.
[37] M.R. Bremner, R. Felipe, J. Sanchez-Ortega, Jordan triple disystems,
Computers
and
Mathematics
with
Applications,
63
(2012)
1039-1055.
ArXiv:1105.5475
[38] А.Н. Рудаков, И.Р. Шафаревич, Неприводимые представления простой
трехмерной алгебры над полем конечной характеристики // Мат. заметки, 2, 5
(1967), 439-454.
[39] А.И. Мальцев, Аналитические лупы // Матем. сб., 36(78), 3(1955), 569576.
[40] J.M. P’erez-Izquierdo, I.P. Shestakov, An envelope for Malсev algebras // J.
Algebra, 272, 1 (2004), 379-393.
[41] В.Н. Желябин, И.П. Шестаков, Теоремы Шевалле и Константа для алгебр
Мальцева // Алгебра и Логика, 46, 5 (2007), 560-584.
50
[42] J.M. P'erez-Izquierdo, I.P. Shestakov, On the center of the universal
enveloping algebra of the central simple non-Lie Maltsev algebra in characteristic p //
Proceedings of Jordan Structures in Algebra and Analysis Meeting, Editorial Circulo
Rojo, Almeria, 2010, 227-242.
[43] К.А.Шемонаев, Централизаторы трехмерных простых подалгебр Ли в
универсальной обертывающей семимерной простой алгебры Мальцева //
Тезисы докладов, Мальцевские чтения, 2009, 140.
[44] A. Rajah, Moufang loops of odd order pq3, J. Algebra, 235, N1 (2001), 66-93.
51
ПРИЛОЖЕНИЯ
ПРИЛОЖЕНИЕ A. Список публикаций исполнителей
Опубликованные статьи:
1.
E.P.Vdovin, On the base size of a transitive group with solvable point stabilizer
// Journal of Algebra and Application, v. 11 (2012), N 1, 1250015 (14 pages).
Импакт-Фактор :0.44
(см.http://www.researchgate.net/journal/02194988_Journal_of_Algebra_and_Its_Applications)
2.
Е.П.Вдовин, Д.О.Ревин, Пронормальность холловых подгрупп в конечных
простых группах // Сибирский математический журнал, т. 53 (2012), N 3,
527-542.
Импакт-Фактор :0.573
(см.
http://www.mathnet.ru/php/ifactor.phtml?jrnid=smj&wshow=IF_details&
year=2010&IFTYPE=2&option_lang=rus&goto=b860f27490450838988b27732b
6ac502_0)
3.
Igor P Ivanov, Venus Keus, and Evgeny Vdovin, Abelian symmetries in multiHiggs-doublet models // J. Phys. A: Math. Theor., v. 45 (2012), 215201
(29pages).
Импакт-Фактор :1.641
(см. http://iopscience.iop.org/1751-8121/)
4.
Е.П.Вдовин, Д.О.Ревин, Л.А.Шеметков, Формации конечных Cπ-групп //
Алгебра и анализ, т. 24 (2012), №1, 40–51.
Импакт-Фактор :0.500
(см.
http://www.mathnet.ru/php/ifactor.phtml?jrnid=aa&wshow=IF_details&
year=2010&IFTYPE=2&option_lang=rus&goto=b860f27490450838988b27732b
6ac502_0)
5.
В.Н. Желябин, Йордановы супералгебры векторного типа и проективные
модули, Сибирский математический журнал, т. 53 (2012), N 3, 566-579.
Импакт-Фактор :0.573
52
(см.
http://www.mathnet.ru/php/ifactor.phtml?jrnid=smj&wshow=IF_details&
year=2010&IFTYPE=2&option_lang=rus&goto=b860f27490450838988b27732b
6ac502_0)
6.
И. Б. Кайгородов,
O δ-супердифференцированиях
полупростых
конечномерных йордановых супералгебр, Математические заметки, 91:2
(2012), 200–213.
Импакт-Фактор :0.353
(см.
http://www.mathnet.ru/php/ifactor.phtml?jrnid=mzm&wshow=IF_details&
year=2010&IFTYPE=2&option_lang=rus&goto=b860f27490450838988b27732b
6ac502_0)
7.
V. Voronin, Special and exceptional Jordan dialgebras, Journal of Algebra and
Its Applications, 11, 2 (2012).
Импакт-Фактор :0.44
(см.http://www.researchgate.net/journal/0219-4988_Journal_of_Algebra _and_Its
_Applications)
53
Статьи, сданные в печать:
1.
P. S. Kolesnikov, V. Yu. Voronin, On special identities for dialgebras // Linear
and Multilinear Algebra.
2.
V.Yu. Gubarev, P. S. Kolesnikov, Embedding of dendriform algebras into
Rota-Baxter algebras // Central European Journal of Mathematics.
3.
Ф.А. Дудкин, К.С. Свиридов, Дополнение подгруппы гиперболической
группы свободным множителем // Алгебра и Логика.
4.
В. Н. Желябин, Новые примеры простых йордановых супералгебр над
произвольным полем характеристики ноль // Алгебра и анализ.
5.
A.N.Grishkov,
A.V.Zavarnitsine,
Abelian-by-cyclic
Moufang
loops
//
Communications in Algebra
6.
A.S. Zaharov, Novikov-Poisson algebras and superalgebras of Jordan brackets
// Communications in algebra
7.
И. Б. Кайгородов, О δ-дифференцированиях n-арных алгебр // Известия
РАН. Серия математическая, 76:6 (2012)
8.
И. Б. Кайгородов, О йордановых δ-дифференцированиях ассоциативных
алгебр // Фундаментальная и прикл. математика, 17 (2012)
9.
И. Б. Кайгородов,
(n+1)-арные
дифференцирования
простых n-арных
алгебр Мальцева // Алгебра и анализ
10.
И. Б. Кайгородов, (n+1)-арные дифференцирования полупростых алгебр
Филиппова // Математические заметки
11.
Н.Ч. Манзаева, Решение проблемы Виланда для спорадических групп //
Сибирские электронные математические известия.
12.
Т.Р. Насыбуллов , Классы скрученной сопряженности в линейных
группах // Алгебра и логика.
13.
А.П.
Пожидаев,
И.П.
Шестаков,
Простые
конечномерные
некоммутативные йордановы супералгебры характеристики 0 // Сибирский
математический журнал.
14.
Н.В. Маслова, Д.О. Ревин, Конечные группы, все максимальные
подгруппы которых холловы // Матем. труды.
54
15.
Е.П. Вдовин, Д.О. Ревин, О пронормальности холловых подгрупп в
конечных группах // Сибирский математический журнал.
16.
Н.С. Романовский, Об универсальной теории свободной разрешимой
группы // Алгебра и Логика.
55
ПРИЛОЖЕНИЕ Б. Список сделанных исполнителями докладов
На всероссийских конференциях и семинарах:
1. Лыткин Д.В., Два наибольших порядка элементов простых симплектических
групп в характеристике 2 // 43-я Всероссийская молодежная школа–
конференция «Современные проблемы математики», Екатеринбург, 29
января – 5 февраля 2012.
2. Хохлова
И.А.,
Арифметический
критерий
существования
холловых
подгрупп в линейных группах // 43-я Всероссийская молодежная школа–
конференция «Современные проблемы математики», Екатеринбург, 29
января – 5 февраля 2012.
56
На международных конференциях и семинарах:
 Воронин В.Ю. Специальные тождества многообразий диалгебр // 50-я
Международная научная студенческая конференция «Студент и научнотехнический прогресс», Новосибирск, 13-19 апреля 2012 г.
 Губарев В.Ю., О вложении дендриформных алгебр в алгебры Рота-Бакстера
//
Международная
Научно-практическая
Студенческая
Конференция
«Студент и научно-технический прогресс» , Новосибирск, 13-19 апреля 2012
г.
 Захаров А.С. Йордановы супералгебры, связанные с алгебрами НовиковаПуассона,
и
Международной
их
специальность
студенческой
//
Материалы
конференции
50-й
«Студент
юбилейной
и
научно-
технический прогресс» 13-19 апреля 2012 г.
 Лыткин Д.В., Наибольшие порядки элементов и характеристика простых
симплектических групп // 50-я юбилейная Международная научная
студенческая конференция «Студент и научно-технический прогресс»,
Новосибирск, 13–19 апреля 2012.
 Манзаева Н.Ч., Решение проблемы Виланда для спорадических групп // 50-я
Международная научная студенческая конференция «Студент и научнотехнический прогресс», Новосибирск, 13-19 апреля 2012 г.
 Хохлова
И.А.,
Арифметический
критерий
существования
холловых
подгрупп в линейных группах // 50-я юбилейная Международная научная
студенческая конференция «Студент и научно-технический прогресс»,
Новосибирск, 13–19 апреля 2012.
 Курмазов Р.К., О пересечении сопряженных нильпотентных подгрупп
симметрической группы // 50-я юбилейная Международная научная
студенческая конференция «Студент и научно-технический прогресс»,
Новосибирск, 13–19 апреля 2012.
57