Макаров, Д. А. Подгрупповые m-функторы и ω-примитивные классы групп / Д. А. Макаров. — Текст : непосредственный // Молодой ученый. — 2022. — № 10 (405). — С. 4-8. — URL: https://moluch.ru/archive/405/89327/ (дата обращения: 29.03.2025).
В статье изучаются свойства подгрупповых m-функторов. Доказывается критерий ωрегулярности подгруппового m-функтора, а также устанавливается взаимосвязь решетки всех ωрегулярных подгрупповых m-функторов с решеткой всех ωпримитивных классов конечных групп.
Ключевые слова:
конечная группа, класс групп, подгрупповой m-функтор, ωпримитивный класс групп.
Рассматриваются только конечные группы. В настоящее время такие направления современной алгебры, как теория подгрупповых функторов и теория классов конечных групп, являются интенсивно развивающимися и тесно связанными между собой (см., например, [3]). Среди подгрупповых функторов важное место занимают подгрупповые
m-
функторы, которые сопоставляют каждой группе совокупность всех или некоторых максимальных подгрупп данной группы. Наиболее значимые результаты о свойствах подгрупповых
m-
функторов получены М. В. Селькиным, Р. В. Бородичем и другими алгебраистами (см., например, [6]).
В работе С. В. Каморникова [2] изучены регулярные подгрупповые
m-
функторы и установлена их связь с примитивными классами групп. Естественным обобщением регулярных подгрупповых функторов являются
ω
регулярные подгрупповые функторы, где
— непустое множество простых чисел.
Целью данной работы является исследование
ω
регулярности подгруппового
m-
функтора. Решены следующие задачи: установлена
ω
регулярность
нормального подгруппового
m-
функтора для некоторого
ω
примитивного класса
(теорема 1); доказан изоморфизм решетки всех
ω
регулярных подгрупповых
m-
функторов
и решетки всех
ω
примитивных классов конечных групп
(теорема 2). В доказательствах используются методы теории подгрупповых функторов и классические методы теории групп.
Используемая терминология стандартна (см., например, [3, 5]). Приведем некоторые из них:
– ядро подгруппы
в группе
;
— наибольшая нормальная
ω
подгруппа группы
. Совокупность групп
называется
классом
групп, если из
и
всегда следует, что
. Через
обозначается класс всех конечных групп [5].
Пусть
— непустой класс групп. Максимальную подгруппу
группы
называют
нормальной
максимальной подгруппой группы
, если выполняется следующее условие:
[7, с. 429]. Группа
называется
ωпримитивной
, если в
существует максимальная подгруппа
такая, что
, при этом
называется
ωпримитиватором
группы
[1, с. 1226].
Отображение
, ставящее в соответствие каждой группе
некоторую непустую совокупность
её подгрупп, называется
подгрупповым функтором
, если
для любого изоморфизма
каждой группы
[3, с. 9]. Подгрупповой функтор
называется
подгрупповым m-функтором
, если он выделяет в каждой группе
множество
, содержащее группу
и некоторые ее максимальные подгруппы [3, с. 17]. Подгрупповой функтор
называется
ωрегулярным
, если для любой группы
и для любой ее нормальной
ω
подгруппы
выполняются два условия:
1)
;
2)
[4, с. 11].
Подгрупповой
m-
функтор назовем
нормальным, если он выделяет в каждой группе совокупность все ее
нормальных подгрупп.
В теореме 1 установим критерий
ω
регулярности подгруппового
m
-функтора. Предварительно докажем следующую лемму.
Лемма 1.
Если
, то группа
ωпримитивна и
– её ωпримитиватор.
Доказательство.
Пусть
. Покажем, что
— ω
примитивная группа и
— её
примитиватор.
Введем следующие обозначения:
,
,
. Достаточно показать, что
, то есть достаточно установить, что
(1).
Пусть
(2). Так как
—
нормальная
ω
подгруппа группы
и
, то, в силу леммы 1 [4, с. 11], имеем:
.
Тогда равенство (2) примет вид:
. Следовательно,
, то есть
. Поэтому равенство (1) верно.
Поскольку
, то, ввиду леммы 3.17 (3) [5, с. 112], получаем, что
, то есть
(3). Таким образом, из условий (1) и (3)
группа
ω
примитивна и
— её
ω
примитиватор. Лемма доказана.
Теорема 1.
Пусть
— подгрупповой m-функтор. Тогда и только тогда
является ωрегулярным, когда он
нормален для некоторого ωпримитивного класса
.
Доказательство.
I. Достаточность. Пусть
— ω
примитивный класс групп,
—
нормальный подгрупповой
m
-функтор. Покажем, что
является
ω
регулярным подгрупповым
m-
функтором.
Так как
—
нормальный подгрупповой
m
-функтор, то для любой
такой, что
, получаем
. Следовательно, в силу теоремы 1 (1) [4, с. 11], подгрупповой
m
-функтор
является
ω
регулярным.
II. Необходимость. Пусть
—
ω
регулярный подгрупповой функтор. Покажем, что
является
нормальным подгрупповым функтором для некоторого
ω
примитивного класса
.
Пусть
— класс всех
ω
примитивных групп
,
ω
примитиваторы которых принадлежат
(*).
Пусть
(1). Тогда
. Так как
является
ω
регулярным подгрупповым функтором и
— нормальная
ω
подгруппа группы
, то
(а),
причем, ввиду леммы 1,
—
ω
примитиватор группы
(б).
Из (а) и (б), с учетом (*), имеем, что
. Таким образом, получаем, что
—
нормальная максимальная подгруппа группы
. В силу выбора подгруппового функтора
, имеем, что
(2). Из (1) и (2) следует, что
.
2) Установим, что
.
Пусть
(3). Тогда, ввиду того, что
—
нормальный подгрупповой
m
-функтор, имеем
. Следовательно, группа
ω
примитивна и по лемме 1 получаем, что
— её
ω
примитиватор. Тогда, в силу (*),
.
Поскольку
является
ω
регулярным подгрупповым функтором и
— нормальная
ω
подгруппа группы
, то
(4).
Из (3) и (4) следует, что
.
Из 1) и 2) заключаем, что
и, значит,
—
нормальный подгрупповой функтор. Теорема доказана.
Следуя [2], множество всех
ω
регулярных подгрупповых
m
-функторов обозначим через
. Данное множество образует решетку относительно операций пересечения
и объединения
, заданных следующим образом: для любых
m
-функторов
и
и любой группы
справедливо
и
.
Следуя [2], множество всех
ω
примитивных классов групп обозначим через
. Данное множество образует решетку относительно операций пересечения
и объединения
, заданных следующим образом:
и
.
В теореме 2 установлена взаимосвязь решетки
с решеткой
.
Теорема 2.
Решетки
и
изоморфны
.
Доказательство.
I. Пусть
– отображение, заданное по правилу: для любого подгруппового функтора
справедливо:
(*), где
(**).
Покажем, что отображение
является изоморфизмом. Для этого достаточно проверить, что отображение
является биективным гомоморфизмом решеток
и
.
1) Установим, что отображение
является сюръективным. Для этого достаточно проверить, что для любого
существует
такой, что
.
Пусть
, то есть
– некоторый
ω
примитивный класс групп. Пусть
— отображение, ставящее в соответствии каждой группе
множество
, содержащее группу
и все те её максимальные подгруппы
, для которых
, то есть для любой группы
справедливо
(1).
Тогда, в силу теоремы 1 (1) [4, с. 11], отображение
является
ω
регулярным подгрупповым
m
-функтором и поэтому
. Ввиду (*) и (**),
(***). Покажем, что
.
а) Установим, что
. Пусть
. Покажем, что
.
Так как
, то
и
, где
–
ω
примитиватор группы
, и значит,
. Поскольку
, то
, и в силу равенства
, получаем
. Таким образом,
.
б) Установим, что
. Пусть
. Проверим, что
. В силу (***), достаточно показать, что
. Так как
и
, то
. Пусть
—
ω
примитиватор группы
. Следовательно,
и, поскольку
, получаем, что
.
Тогда
. Так как
и
, то
и поэтому
. Из а) и б) заключаем, что
.
Таким образом, для любого
существует подгрупповой функтор
такой, что
, то есть отображение
является сюръективным.
2) Покажем, что отображение
является инъективным. Пусть
,
и
. Установим, что
. Из (***) следует, что
и, ввиду (**),
, где
,
.
Пусть
.
а) Покажем, что
. По пункту 1), по аналогии с (1)
,
.
Пусть
и
. Тогда
и
. Следовательно,
. Таким образом,
.
б) Покажем, что
. Пусть
и
. Тогда имеет место
и
. Следовательно,
. Таким образом,
.
Из а) и б) заключаем, что
для любой группы
. Следовательно,
.
Таким образом, из того, что
, следует
, то есть отображение
является инъективным.
Из 1) и 2) получаем, что отображение
является биективным.
II. Покажем, что отображение
является решеточным гомоморфизмом. Пусть
.
1) Установим, что
.
Так как для любой группы
по заданию решеточного пересечения на множестве
имеем
, то, ввиду (**), получаем:
.
Таким образом,
.
2) Установим, что
.
Так как для любой группы
по заданию решеточного объединения на множестве
имеем
, то, ввиду (**), получаем:
.
Таким образом,
.
Из 1) и 2) следует, что отображение
является гомоморфизмом решеток
и
.
Таким образом, из I и II заключаем, что решетки
и
изоморфны. Теорема доказана.
Литература:
Ведерников В. А., Сорокина М. М.
проекторы и
покрывающие подгруппы конечных групп // Сиб. матем. журн. – 2016. – Т. 57, № 6. С. 1224–1239.
Каморников С. Ф. Обобщенные подгруппы Фраттини как корадикалы групп // Математические заметки. – 2010. – Т. 87, № 3. – С. 402–411.
Каморников С. Ф., Селькин М. В. Подгрупповые функторы и классы конечных групп. – Минск: Беларуская навука. – 2003. – 254 с.
Макаров Д. А. О свойствах
нормального подгруппового
m
-функтора // Наука России – будущее страны: сборник статей Всероссийской научно-практической конференции. – Пенза: МЦНС «Наука и Просвещение». – 2022. – С. 10–14.
Монахов В. С. Введение в теорию конечных групп и их классов. – Минск: Вышэйшая школа. – 2006. – 207 с.
Селькин М. В., Бородич Р. В. О пересечении максимальных подгрупп конечных групп // Вестн. СамГУ. Естественнонаучн. сер. – 2009. – Т. 74, № 8. – С. 67–77.
Сорокина М. М., Максаков С. П. О нормальности
абнормальных максимальных подгрупп конечных групп // Математические заметки. – 2020. – Т. 48, № 3. – С. 428–440.
Основные термины(генерируются автоматически): группа, функтор, подгрупповой функтор, любой, образ, отображение, подгруппа группы, примитивный класс групп, нормальный подгрупповой функтор, примитивный класс.
Рассматривается операторная матрица в прямой сумме нолчастичного, одночастичного и двухчастичного подпространств фоковского пространства. Изучаются некоторые свойства, в основном связанные с числами собственных значений, соответствующих дополнении Шу...
Эта работа посвящена исследованию предсопряженных пространств JBW-факторов, и приведён полученный результат, что если вещественный JBW-фактор не изоморфен спин-фактору или алгебре тогда его предсопряженное не является SFS-пространством.
Рассматривается самосопряженная обобщенная модель Фридрихса , которая ассоциирована гамильтонианом системы, состоящей из не более чем двух частиц. Обсуждается случай, когда существенный спектр оператора может содержать лакуны. Получено достаточное у...
В настоящей работе сформулированы основные свойства числового образа линейного оператора в комплексном гильбертовом пространстве. Приведены несколько примеров разного характера для вычисления числового образа.
В настоящей работе изучается интегральный оператор, действующий в гильбертовом пространстве функций квадратично интегрируемых по интервалу с весом Спектр этого оператора описан через спектр оператора типа Винера-Хопфа.
В статье автор исследует изоморфизм групп Pin(0,1) и Pin(1,0). Приводится строгое математическое доказательство с использованием информации об алгебре Клифорда, а также конгруэнтность с циклическими группами Z_2 и Z_4. Приводится вся теоретическая ба...
В работе в пространстве -функций, заданных на сфере и обладающих квадратично суммируемыми обобщенными производными порядка , вычислены нормы функционала погрешности весовой кубатурной формулы с производными. А также исследовано выражение нормы фу...
Данная работа посвящена исследованию задачи нахождения k-error линейной сложности бинарной последовательности. Написаны программы нахождения точного решения k-error линейной сложности для частных случаев.
В работе рассматривается ограниченная самосопряженная обобщенная модель Фридрихса. Показывается, что замыкание численного диапазона этой модели состоит из отрезка и исследован его структура.
Формулируется математическая модель одиночной популяции на отрезке, пред-ставляющая собой краевую задачу для нелинейного дифференциального уравнения в частных производных. Исследуются на устойчивость стационарные решения, решение стационарного уравне...
Рассматривается операторная матрица в прямой сумме нолчастичного, одночастичного и двухчастичного подпространств фоковского пространства. Изучаются некоторые свойства, в основном связанные с числами собственных значений, соответствующих дополнении Шу...
Эта работа посвящена исследованию предсопряженных пространств JBW-факторов, и приведён полученный результат, что если вещественный JBW-фактор не изоморфен спин-фактору или алгебре тогда его предсопряженное не является SFS-пространством.
Рассматривается самосопряженная обобщенная модель Фридрихса , которая ассоциирована гамильтонианом системы, состоящей из не более чем двух частиц. Обсуждается случай, когда существенный спектр оператора может содержать лакуны. Получено достаточное у...
В настоящей работе сформулированы основные свойства числового образа линейного оператора в комплексном гильбертовом пространстве. Приведены несколько примеров разного характера для вычисления числового образа.
В настоящей работе изучается интегральный оператор, действующий в гильбертовом пространстве функций квадратично интегрируемых по интервалу с весом Спектр этого оператора описан через спектр оператора типа Винера-Хопфа.
В статье автор исследует изоморфизм групп Pin(0,1) и Pin(1,0). Приводится строгое математическое доказательство с использованием информации об алгебре Клифорда, а также конгруэнтность с циклическими группами Z_2 и Z_4. Приводится вся теоретическая ба...
В работе в пространстве -функций, заданных на сфере и обладающих квадратично суммируемыми обобщенными производными порядка , вычислены нормы функционала погрешности весовой кубатурной формулы с производными. А также исследовано выражение нормы фу...
Данная работа посвящена исследованию задачи нахождения k-error линейной сложности бинарной последовательности. Написаны программы нахождения точного решения k-error линейной сложности для частных случаев.
В работе рассматривается ограниченная самосопряженная обобщенная модель Фридрихса. Показывается, что замыкание численного диапазона этой модели состоит из отрезка и исследован его структура.
Формулируется математическая модель одиночной популяции на отрезке, пред-ставляющая собой краевую задачу для нелинейного дифференциального уравнения в частных производных. Исследуются на устойчивость стационарные решения, решение стационарного уравне...