Нормальная подгруппа

редактировать

В абстрактной алгебре - нормальная подгруппа (также известная как инвариантная подгруппа или самосопряженная подгруппа ) - это подгруппа, инвариантная относительно сопряжения членами группы, из которых это часть. Другими словами, подгруппа N группы G нормальна в G тогда и только тогда, когда gng ∈ N для всех g ∈ G и n ∈ N. Обычное обозначение этого отношения: $N ◃ G {\ displaystyle N \ треугольникleft G}$ ${\ displaystyle N \ треугольникleft G }$ .

Нормальные подгруппы важны, потому что они (и только они) могут использоваться для построения факторгрупп данной группы. Кроме того, нормальные подгруппы группы G являются в точности ядрами гомоморфизмов групп с областью определения G, что означает, что они могут использоваться для внутренней классификации этих гомоморфизмов.

Эварист Галуа был первым, кто осознал важность существования нормальных подгрупп.

Содержание

1 Определения
- 1.1 Эквивалентные условия
2 Примеры
3 Свойства
- 3.1 Решетка нормальных подгрупп
4 Нормальные подгруппы, факторгруппы и гомоморфизмы
5 См. Также
- 5.1 Операции, переводящие подгруппы в подгруппы
- 5.2 Свойства подгрупп, дополняющие (или противоположные) нормальности
- 5.3 Свойства подгрупп сильнее, чем нормальность
- 5.4 Свойства подгруппы слабее, чем нормальность
- 5.5 Связанные понятия в алгебре
6 Примечания
7 Ссылки
8 Дополнительная литература
9 Внешние ссылки

Определения

A подгруппа N группы G называется нормальной подгруппой группы G, если она инвариантна относительно сопряжения ; то есть сопряжение элемента N элементом G всегда находится в N. Обычное обозначение этого отношения: $N ◃ G {\ displaystyle N \ треугольникleft G}$ ${\ displaystyle N \ треугольникleft G }$ .

Условия эквивалентности

Для любой подгруппы N группы G следующие условия эквивалентны тому, что N является нормальной подгруппой G. Следовательно, любое из них может быть взято за определение:

Образ сопряжения N любым элементом G является подмножеством N. '
Образ сопряжения N любым элементом G равен N.
Для всех g в G, левая и правые смежные классы gN и Ng равны.
Наборы левых и правых смежных классов из N в G совпадают.
Произведение элемента левого смежного класса по N по g, а элемент левого смежного класса N по h является элементом левого смежного класса N по gh: ∀x, y, g, h ∈ G, если x ∈ gN и y ∈ hN тогда xy ∈ (gh) N.
N является объединением классов сопряженности группы G.
N сохраняется посредством в Дополнительные автоморфизмы группы G.
Существует некоторый гомоморфизм групп G → H, ядро которого равно N.
Для всех $n ∈ N {\ displaystyle n \ in N}$ $n \ in N$ и $g ∈ G {\ displaystyle g \ in G}$ $g \ in G$ , коммутатор $[n, g] = n - 1 g - 1 ng {\ displaystyle [n, g] = n ^ {- 1} g ^ {- 1} ng}$ ${\ displaystyle [n, g] = n ^ {- 1} g ^ {- 1} ng}$ находится в N.
Любые два элемента коммутируют относительно отношения принадлежности к нормальной подгруппе: ∀g, h ∈ G, gh ∈ N ⇔ hg ∈ N.

Примеры

Тривиальная подгруппа {e}, состоящая только из единичного элемента группы G и Сама G всегда является нормальными подгруппами группы G. Если это единственные нормальные подгруппы, то G называется простой.
Каждая подгруппа N в абелевой группе G нормальна, потому что $g N = {gn} n ∈ N = {ng} n ∈ N = N g. {\ displaystyle gN = \ {gn \} _ {n \ in N} = \ {ng \} _ {n \ in N} = Ng.}$ ${\ displaystyle gN = \ {gn \} _ {n \ in N} = \ {ng \} _ {п \ in N} = Ng.}$ Группа, которая не является абелевой, но для которой каждое подгруппа нормальна, называется гамильтоновой группой.
Центр группы является нормальной подгруппой.
В общем, любая характеристическая подгруппа нормальна, поскольку сопряжение всегда является автоморфизмом.
Коммутатор подгруппа $[G, G] {\ displaystyle [G, G]}$ $[G,G visible$ является нормальной подгруппой $G {\ displaystyle G}$ $G$ .
группа трансляций является нормальной подгруппой евклидовой группы в любом измерении. Это означает: применение жесткого преобразования, за которым следует перевод, а затем обратное жесткое преобразование, имеет тот же эффект, что и одиночный перевод (хотя обычно он отличается от того, который мы использовали ранее). Напротив, подгруппа всех вращений относительно начала координат не является нормальной подгруппой евклидовой группы, если размерность не менее 2: сначала перенос, затем вращение вокруг начала координат, а затем перенос назад обычно не фиксирует исходную точку и, следовательно, не будет иметь такого же эффекта, как одиночный поворот вокруг исходной точки.
В группе кубика Рубика подгруппы, состоящие из операций, которые влияют только на ориентации либо угловых частей, либо кромочных частей являются нормальными.

Свойства

Если H - нормальная подгруппа группы G, а K - подгруппа группы G, содержащая H, то H - нормальная подгруппа группы K.
Нормальная подгруппа нормальной подгруппы группы не обязательно должна быть нормальной в группе. То есть нормальность не является транзитивным отношением. Наименьшей группой, демонстрирующей это явление, является группа диэдра порядка 8. Однако характеристическая подгруппа нормальной подгруппы является нормальной. Группа, в которой нормальность транзитивна, называется T-группой.
Две группы G и H являются нормальными подгруппами своего прямого произведения G × H.
Если группа G является полупрямым продуктом $G = N ⋊ H, {\ displaystyle G = N \ rtimes H,}$ $G = N \ rtimes H,$ , тогда N является нормальным в G, хотя H не обязательно нормальна в G.
Нормальность сохраняется при сюръективных гомоморфизмах, т. е. если G → H - гомоморфизм сюръективных групп и N нормален в G, то образ f (N) нормален в H.
Нормальность сохраняется путем взятия прообраза, т.е. если G → H является гомоморфизмом группы и N нормален в H, то прообраз f (N) нормален в G.
Нормальность сохраняется при взятии прямых произведений, т. Е. Если $N 1 ◃ G 1 {\ displaystyle N_ {1} \ треугольникleft G_ {1}}$ ${\ displaystyle N_ {1} \ треугольникleft G_ {1}}$ и $N 2 ◃ G 2 {\ displaystyle N_ {2} \ треугольникleft G_ {2}}$ ${\ displaystyle N_ { 2} \ треугольникleft G_ {2}}$ , затем $N 1 × N 2 ◃ G 1 × G 2 {\ displaystyle N_ {1} \ times N_ {2} \; \ triangleleft \; G_ {1} \ times G_ {2}}$ ${\ displaystyle N_ {1} \ times N_ {2} \; \ треугольникleft \; G_ {1} \ times G_ {2}}$ .
Каждая подгруппа индекс 2 в норме. В более общем смысле, подгруппа H конечного индекса n в G содержит нормальную в G подгруппу K с индексом, делящим n! называется нормальным ядром. В частности, если p - наименьшее простое число, делящее порядок группы G, то любая подгруппа индекса p нормальна.
Тот факт, что нормальные подгруппы G являются в точности ядрами гомоморфизмов групп, определенных на G, объясняет некоторые о важности нормальных подгрупп; они представляют собой способ внутренней классификации всех гомоморфизмов, определенных на группе. Например, нетождественная конечная группа является простой тогда и только тогда, когда она изоморфна всем своим нетождественным гомоморфным образам, конечная группа является совершенной тогда и только тогда, когда она не имеет нормальных подгрупп простого индекса, и группа является несовершенной тогда и только тогда, когда производная подгруппа не дополняется какой-либо надлежащей нормальной подгруппой.

Решетка нормальных подгрупп

Даны две нормальные подгруппы N и M группы G, их пересечение $N ∩ M {\ displaystyle N \ cap M}$ ${\ displaystyle N \ cap M}$ и их произведение $NM = {нм ∣ N ∈ N и m ∈ M} {\ displaystyle NM = \ {nm \ mid n \ in N \; {\ text {and}} \; m \ in M \}}$ ${\ displaystyle NM = \ {nm \ mid n \ in N \; {\ text {and}} \; m \ in M \}}$ также являются нормальными подгруппами G.

Нормальные подгруппы G образуют решетку при включении подмножества с наименьшим элементом, {e}, и наибольший элемент, G. пересечение двух нормальных подгрупп, N и M, в этой решетке является их пересечением, а join - их произведением.

Решетка полная и модульная.

Нормальные подгруппы, факторгруппы и гомоморфизмы

Если N нормальная подгруппа, мы можем определить умножение на смежные классы:

(a 1 N) (a 2 N): = (a 1 a 2) N. {\ displaystyle (a_ {1} N) (a_ {2} N): = (a_ {1} a_ {2}) N.}

{\ displaystyle (a_ {1} N) (a_ {2} N): = (a_ {1} a_ {2}) N.}

Это отношение определяет отображение

G / N × G / N → G / N {\ displaystyle G / N \ times G / N \ to G / N}

{\ displaystyle G / N \ times G / N \ to G / N}

. Чтобы показать, что это отображение правильно определено, нужно доказать, что выбор репрезентативных элементов

a 1, a 2 {\ displaystyle a_ {1}, a_ {2}}

a_{1},a_{2}

не влияет результат. Для этого рассмотрим некоторые другие репрезентативные элементы

a 1 ′ ∈ a 1 N, a 2 ′ ∈ a 2 N {\ displaystyle a_ {1} '\ in a_ {1} N, a_ {2}' \ in a_ {2} N}

a_{1}'\in a_{1}N,a_{2}'\in a_{2}N

. Тогда существуют

n 1, n 2 ∈ N {\ displaystyle n_ {1}, n_ {2} \ in N}

{\ displaystyle n_ {1}, n_ {2} \ in N}

такие, что

a 1 ′ = a 1 n 1, a 2 ′ = a 2 n 2 {\ displaystyle a_ {1} '= a_ {1} n_ {1}, a_ {2}' = a_ {2} n_ {2}}

a_{1}'=a_{1}n_{1},a_{2}'=a_{2}n_{2}

. Отсюда следует, что

a 1 ′ a 2 ′ N = a 1 n 1 a 2 n 2 N = a 1 a 2 n 1 ′ n 2 N = a 1 a 2 N, {\ displaystyle a_ {1} 'a_ {2} 'N = a_ {1} n_ {1} a_ {2} n_ {2} N = a_ {1} a_ {2} n_ {1}' n_ {2} N = a_ {1} a_ {2 } N,}

a_{1}'a_{2}'N=a_{1}n_{1}a_{2}n_{2}N=a_{1}a_{2}n_{1}'n_{2}N=a_{1}a_{2}N,

, где мы также использовали тот факт, что

N {\ displaystyle N}

N

является нормальной подгруппой, и поэтому существует

n 1 ′ ∈ N {\ displaystyle n_ {1} '\ in N}

n_{1}'\in N

такое, что

n 1 a 2 = a 2 n 1 ′ {\ displaystyle n_ {1} a_ {2} = a_ {2} n_ {1}' }

n_{1}a_{2}=a_{2}n_{1}'

. Это доказывает, что это произведение является четко определенным отображением смежных классов.

С помощью этой операции набор смежных классов сам по себе является группой, называемой факторгруппой и обозначаемой G / N. Существует естественный гомоморфизм, f: G → G / N, задаваемый формулой f (a) = aN. Этот гомоморфизм отображает $N {\ displaystyle N}$ $N$ в единичный элемент G / N, который является смежным классом eN = N, то есть $ker ⁡ (f) = N {\ displaystyle \ ker (f) = N}$ ${\ displaystyle \ ker (f) = N}$ .

В общем случае гомоморфизм группы f: G → H переводит подгруппы G в подгруппы H. Кроме того, прообраз любой подгруппы H является подгруппой G. прообраз тривиальной группы {e} в H ядро гомоморфизма и обозначим его через ker (f). Как выясняется, ядро всегда нормально, а образ G, f (G), всегда изоморфен G / ker (f) (первая теорема об изоморфизме ). Фактически, это соответствие является биекцией между множеством всех фактор-групп G, G / N и множеством всех гомоморфных образов G (с точностью до изоморфизма). Также легко видеть, что ядром фактор-отображения f: G → G / N является само N, поэтому нормальные подгруппы - это в точности ядра гомоморфизмов с областью определения G.

См. Также

Операции преобразование подгрупп в подгруппы

Свойства подгруппы, дополняющие (или противоположные) нормальности

Свойства подгруппы сильнее, чем нормальность

Свойства подгруппы слабее, чем нормальность

Связанные понятия в алгебре

Идеал (кольцо теория)

Примечания

Ссылки

Дополнительная литература

I. Н. Герштейн, Разделы алгебры. Второе издание. Издательство Xerox College Publishing, Лексингтон, Массачусетс - Торонто, Онтарио, 1975. xi + 388 стр.

Внешние ссылки