Ядро (теория групп) - Core (group theory) - Wikipedia

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

Нормальное ядро

Определение

Для группы грамм, то нормальное ядро или же нормальный интерьер^[1] подгруппы ЧАС самый большой нормальная подгруппа из грамм что содержится в ЧАС (или, что то же самое, пересечение из конъюгирует из ЧАС). В более общем смысле, ядро ЧАС относительно подмножества S⊆грамм является пересечением конъюгатов ЧАС под S, т.е.

${\displaystyle \mathrm {Core} _{S}(H):=\bigcap _{s\in S}{s^{-1}Hs}.}$

Согласно этому более общему определению нормальное ядро ​​- это ядро ​​по отношению к S=грамм. Нормальным ядром любой нормальной подгруппы является сама подгруппа.

Значимость

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

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

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

В п-основной

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

Определение

Для прайма п, то п-основной конечной группы определяется как ее наибольшая нормальная p-подгруппа. Это нормальное ядро ​​каждого Силовская p-подгруппа группы. В п-ядро грамм часто обозначается ${\displaystyle O_{p}(G)}$, и, в частности, фигурирует в одном из определений Подгруппа фитингов из конечная группа. Точно так же п'-основной самая большая нормальная подгруппа группы грамм чей порядок взаимно прост с п и обозначается ${\displaystyle O_{p'}(G)}$. В области конечных неразрешимых групп, в том числе классификация конечных простых групп, 2'-ядро часто называют просто основной и обозначен ${\displaystyle O(G)}$. Это вызывает лишь небольшую путаницу, потому что обычно можно различить ядро ​​группы и ядро ​​подгруппы внутри группы. В п′,п-основной, обозначенный ${\displaystyle O_{p',p}(G)}$ определяется ${\displaystyle O_{p',p}(G)/O_{p'}(G)=O_{p}(G/O_{p'}(G))}$. Для конечной группы п′,п-core - самый большой нормальный п-нильпотентная подгруппа.

В п-core также можно определить как уникальное наибольшее субнормальное п-подгруппа; то п′ -Кор как единственное наибольшее субнормальное п′ -Подгруппа; и п′,п-кор как самый крупный субнормальный п-нильпотентная подгруппа.

В п' и п′,п-кор начало верхний п-серии. Для наборов π₁, π₂, ..., π_п+1 простых чисел, определяется подгруппа O_{π1, π2, ..., πп+1}(грамм) к:

${\displaystyle O_{\pi _{1},\pi _{2},\dots ,\pi _{n+1}}(G)/O_{\pi _{1},\pi _{2},\dots ,\pi _{n}}(G)=O_{\pi _{n+1}}(G/O_{\pi _{1},\pi _{2},\dots ,\pi _{n}}(G))}$

Верхний п-серия формируется взятием π_2я−1 = п' и π_2я = п; есть также ниже п-серии. Конечная группа называется п-нильпотентный тогда и только тогда, когда он равен своему собственному п′,п-основной. Конечная группа называется п-растворимый тогда и только тогда, когда он равен некоторому члену своего верхнего п-серии; это п-длина длина его верхней п-серии. Конечная группа грамм как говорят р-ограниченный для прайма п если ${\displaystyle C_{G}(O_{p',p}(G)/O_{p'}(G))\subseteq O_{p',p}(G)}$.

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

Значимость

Так же, как нормальные ядра важны для групповые действия на съемках, п-очки и п′ -Очки важны в модульная теория представлений, который изучает действия групп на векторные пространства. В п-ядро конечной группы - это пересечение ядер неприводимые представления над любым полем характеристики п. Для конечной группы п′ -Ядро - это пересечение ядер обычных (комплексных) неприводимых представлений, лежащих в главном п-блокировать. Для конечной группы п′,п-core - это пересечение ядер неприводимых представлений в главном п-блокировать любое поле характеристики п. Кроме того, для конечной группы п′,п-core - это пересечение централизаторов абелевых главных факторов, порядок которых делится на п (все из которых являются неприводимыми представлениями над полем размера п лежащий в основном блоке). Для конечного п-ограниченная группа, неприводимый модуль над полем характеристики п лежит в главном блоке тогда и только тогда, когда п′ -Ядро группы содержится в ядре представления.

Решаемые радикалы

Родственная подгруппа в понятии и обозначениях - разрешимый радикал. В разрешимый радикал определяется как самый большой разрешимый нормальная подгруппа и обозначается ${\displaystyle O_{\infty }(G)}$. В литературе есть некоторые расхождения в определении п′ -Ядро грамм. Несколько авторов в нескольких статьях (например, Томпсона Статьи N-группы, но не его более поздние работы) определяют п′ -Дор нерастворимой группы грамм как п′ -Ядро его разрешимого радикала, чтобы лучше имитировать свойства 2'-основной.

Рекомендации

1. Робинсон (1996) стр.16

• Ашбахер, М. (2000), Теория конечных групп, Издательство Кембриджского университета, ISBN  0-521-78675-4
• Doerk, K .; Хоукс, Т. (1992). Конечные разрешимые группы. Вальтер де Грюйтер. ISBN  3-11-012892-6.
• Huppert, B .; Блэкберн, Н. (1982). Конечные группы II. Springer Verlag. ISBN  0-387-10632-4.
• Робинсон, Дерек Дж. С. (1996). Курс теории групп. Тексты для выпускников по математике. 80 (2-е изд.). Springer-Verlag. ISBN  0-387-94461-3. Zbl  0836.20001.