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

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

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

Определение

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

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

Значимость

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

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

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

В п-основной

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

Определение

Для прайма п, то п-основной конечной группы определяется как ее наибольшая нормальная p-подгруппа. Это нормальное ядро ​​каждого Силовская p-подгруппа группы. В п-ядро грамм часто обозначается , и, в частности, фигурирует в одном из определений Подгруппа фитингов из конечная группа. Точно так же п'-основной самая большая нормальная подгруппа группы грамм чей порядок взаимно прост с п и обозначается . В области конечных неразрешимых групп, в том числе классификация конечных простых групп, 2'-ядро часто называют просто основной и обозначен . Это вызывает лишь небольшую путаницу, потому что обычно можно различить ядро ​​группы и ядро ​​подгруппы внутри группы. В п′,п-основной, обозначенный определяется . Для конечной группы п′,п-core - самый большой нормальный п-нильпотентная подгруппа.

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

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

Верхний п-серия формируется взятием π2я−1 = п' и π2я = п; есть также ниже п-серии. Конечная группа называется п-нильпотентный тогда и только тогда, когда он равен своему собственному п′,п-основной. Конечная группа называется п-растворимый тогда и только тогда, когда он равен некоторому члену своего верхнего п-серии; это п-длина длина его верхней п-серии. Конечная группа грамм как говорят р-ограниченный для прайма п если .

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

Значимость

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

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

Родственная подгруппа в понятии и обозначениях - разрешимый радикал. В разрешимый радикал определяется как самый большой разрешимый нормальная подгруппа и обозначается . В литературе есть некоторые расхождения в определении п′ -Ядро грамм. Несколько авторов в нескольких статьях (например, Томпсона Статьи 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.