RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Тр. ИММ УрО РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Тр. ИММ УрО РАН, 2018, том 24, номер 3, страницы 109–132 (Mi timm1556)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Стабилизаторы вершин графов с примитивными группами автоморфизмов и усиленная версия гипотезы Симса. IV

А. С. Кондратьевab, В. И. Трофимовab

a Институт математики и механики им. Н. Н. Красовского Уральского отделения РАН, г. Екатеринбург
b Уральский федеральный университет им. первого Президента России Б. Н. Ельцина, г. Екатеринбург

Аннотация: Четвертая из цикла статей, результаты которого влекут справедливость усиленной версии гипотезы Симса о конечных примитивных группах подстановок. Данная статья посвящена рассмотрению случая примитивных групп подстановок с простым цоколем ортогонального лиева типа и непараболическим стабилизатором точки. Пусть $G$ - конечная группа и $M_1$, $M_2$ - различные сопряженные максимальные подгруппы группы $G$. Для каждого $i\in \mathbb N$ индуктивно определим подгруппы $(M_1,M_2) ^{i}$ и $(M_2,M_1)^{i}$ из $M_1\cap M_2$, называемые нами $i$-ми взаимными ядрами подгруппы $M_1$ относительно $M_2$ и подгруппы $M_2$ относительно $M_1$ соответственно. Положим $(M_1,M_2)^{1} = (M_1\cap M_2)_{M_1}$ и $(M_2,M_1)^{1} = (M_1\cap M_2)_{M_2}.$ Для $i\in \mathbb N$, предполагая, что $(M_1,M_2)^{i}$ и $(M_2,M_1)^{i}$ уже определены, положим $(M_1,M_2)^{i+1} = ((M_1,M_2)^{i}\cap (M_2,M_1)^{i})_{M_1}$ и $(M_2,M_1)^{i+1} = ((M_1,M_2)^{i}\cap (M_2,M_1)^{i})_{M_2}.$ Нас интересует случай, когда $(M_1)_G = (M_2)_G = 1$ и $1 < |(M_1,M_2)^{2}| \leq |(M_2,M_1)^{2}|$. Множество всех таких троек $(G, M_1, M_2)$ обозначается через $\Pi$. Мы рассматриваем тройки из $\Pi$ с точностью до следующей эквивалентности: тройки $(G,M_1,M_2)$ и $(G',M'_1,M'_2)$ из $\Pi$ эквивалентны, если существует изоморфизм $G$ на $G'$, отображающий $M_1$ на $M'_1$ и $M_2$ на $M'_2$. В данной статье доказана следующая теорема. Теорема. Пусть $(G, M_1, M_2)\in\Pi$, $L=\mathrm {Soc}(G)$ - простая ортогональная группа степени $\geq 7$ и $M_1\cap L$ - непараболическая подгруппа в $L$. Тогда $\mathrm {Soc}(G)\cong P\Omega^+_8(r)$, где $r$ - некоторое нечетное простое число, $(M_1, M_2)^3=(M_2,M_1)^3=1$ и выполняется одно из следующих утверждений$:$ $\mathrm (a)$ $r\equiv\pm1 (mod 8)$, группа $G$ изоморфна $P\Omega^+_8(r):{\mathbb Z}_3$ или $P\Omega^+_8(r):S_3$, $(M_1, M_2)^2=Z(O_2(M_1))$ и $(M_2, M_1)^2=Z(O_2(M_2))$ - элементарные абелевы группы порядка $2^3$, $(M_1, M_2)^1=O_2(M_1)$ и $(M_2, M_1)^1=O_2(M_2)$ - специальные группы порядка $2^9$, группа $M_1/O_2(M_1)$ изоморфна $L_3(2)\times {\mathbb Z}_3$ или $L_3(2)\times S_3$ соответственно и $M_1\cap M_2$ - силовская $2$-подгруппа в $M_1$; $\mathrm (b)$  $r\leq 5$, группа $G/L$ либо содержит $Outdiag(L)$, либо изоморфна ${\mathbb Z}_4$, $(M_1, M_2)^2=Z(O_2(M_1\cap L))$ и $(M_2, M_1)^2=Z(O_2(M_2\cap L))$ - элементарные абелевы группы порядка $2^2$, $(M_1, M_2)^1=(O_2(M_1\cap L))'$ и $(M_2, M_1)^1=(O_2(M_2\cap L))'$ - элементарные абелевы группы порядка $2^5$, $O_2(M_1\cap L)/(O_2(M_1\cap L))'$ - элементарная абелева группа порядка $2^6$, группа $(M_1\cap L)/O_2(M_1\cap L)$ изоморфна $S_3$, $|M_1:M_1\cap M_2|=24$, $|M_1\cap M_2\cap L|=2^{11}$, элемент порядка $3$ из $M_1\cap M_2$ (если он существует) индуцирует на группе $L$ ее графовый автоморфизм. В каждом из случаев $\mathrm (a)$ и $\mathrm (b)$ тройки $(G, M_1, M_2)$ существуют и образуют один класс эквивалентности.

Ключевые слова: конечная примитивная группа подстановок, стабилизатор точки, гипотеза Симса, почти простая группа, группа ортогонального лиева типа.

Финансовая поддержка Номер гранта
Российский научный фонд 14-11-00061-П
Работа выполнена за счет гранта Российского научного фонда (проект 14-11-00061-П).


DOI: https://doi.org/10.21538/0134-4889-2018-24-3-109-132

Полный текст: PDF файл (401 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 512.542+519.175
MSC: 20B15, 20D06, 05C25
Поступила в редакцию: 25.12.2017

Образец цитирования: А. С. Кондратьев, В. И. Трофимов, “Стабилизаторы вершин графов с примитивными группами автоморфизмов и усиленная версия гипотезы Симса. IV”, Тр. ИММ УрО РАН, 24, № 3, 2018, 109–132

Цитирование в формате AMSBIB
\RBibitem{KonTro18}
\by А.~С.~Кондратьев, В.~И.~Трофимов
\paper Стабилизаторы вершин графов с примитивными группами автоморфизмов и усиленная версия гипотезы Симса. IV
\serial Тр. ИММ УрО РАН
\yr 2018
\vol 24
\issue 3
\pages 109--132
\mathnet{http://mi.mathnet.ru/timm1556}
\crossref{https://doi.org/10.21538/0134-4889-2018-24-3-109-132}
\elib{http://elibrary.ru/item.asp?id=35511281}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/timm1556
  • http://mi.mathnet.ru/rus/timm/v24/i3/p109

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. В. В. Кораблева, “Усиленная версия гипотезы Симса для примитивных параболических подстановочных представлений конечных простых групп лиевых типов $G_2$, $F_4$ и $E_6$”, Сиб. электрон. матем. изв., 15 (2018), 1595–1604  mathnet  crossref
  • Труды Института математики и механики УрО РАН
    Просмотров:
    Эта страница:88
    Полный текст:9
    Литература:10
    Первая стр.:4
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020