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

Нормальная подгруппа
Группа (математика)
Rubik's cube.svg
Теория групп
См. также: Портал:Физика

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

Содержание

Определения

Подгруппа N группы G называется нормальной, если она инвариантна относительно сопряжений, то есть для любого элемента n из N и любого g из G, элемент g n g^{-1} лежит в N:

N \triangleleft G\, \iff\, \forall\, n\in N, g\in G \, gng^{-1}\in{N}

Следующие условия нормальности подгруппы эквивалентны:

  1. Для любого g из G, gNg^{-1} \sube N.
  2. Для любого g из G, gNg^{-1} = N.
  3. Множества левых и правых смежных классов N в G совпадают.
  4. Для любого g из G, gN = Ng.
  5. N — объединение классов сопряженных элементов.

Условие (1) логически слабее, чем (2), а условие (3) логически слабее, чем (4). Поэтому условия (1) и (3) часто используются при доказательстве нормальности подгруппы, а условия (2) и (4) используются для доказательства следствий нормальности.

Примеры

  • \{ e \} и G — всегда нормальные подгруппы G. Они называются тривиальными. Если других нормальных подгрупп нет, то группа G называется простой.
  • Все подгруппы N абелевой группы G нормальны, так как g N = N g. Неабелева группа, у которой любая подгруппа нормальна, называется гамильтоновой.
  • Группа параллельных переносов в пространстве любой размерности — нормальная подгруппа евклидовой группы; например, в трёхмерном пространстве поворот, сдвиг и поворот в обратную сторону приводит к простому сдвигу.
  • В группе кубика Рубика, подгруппа, состоящая из операций, действующих только на угловые элементы, нормальна, так как никакое сопряжённое преобразование не заставит такую операцию действовать на краевой, а не угловой элемент. Напротив, подгруппа, состоящая лишь из поворотов верхней грани, не нормальна, так как сопряжения позволяют переместить части верхней грани вниз.

Свойства

  • Нормальность сохраняется при сюрьективных гомоморфизмах и взятии обратных образов.
  • Ядро гомоморфизма — нормальная подгруппа.
  • Нормальность сохраняется при построении прямого произведения.
  • Нормальная подгруппа нормальной подгруппы не обязана быть нормальной в группе, то есть нормальность не транзитивна. Однако характеристическая подгруппа нормальной подгруппы нормальна.
  • Каждая подгруппа индекса 2 нормальна. Если p — наименьший простой делитель порядка G, то любая подгруппа индекса p нормальна.
  • Если N — нормальная подгруппа в G, то на множестве левых (правых) смежных классов G / N можно ввести групповую структуру по правилу
(g_1 N)(g_2 N)=(g_1 g_2)N
Полученное множество называется факторгруппой G по N.
  • N нормальна тогда и только тогда, когда она тривиально действует на левых смежных классах G / N.

Исторические факты

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

Ссылки

  • Винберг Э. Б. Курс алгебры — М.:Издательство «Факториал Пресс», 2002, ISBN 5-88688-060-7
  • Кострикин А.И. Введение в алгебру. Часть III. Основные структуры. — 3-е изд. — М.: ФИЗМАТЛИТ, 2004. — 272 с. — ISBN 5-9221-0489-6

Wikimedia Foundation. 2010.

Смотреть что такое "Нормальная подгруппа" в других словарях:

  • нормальная подгруппа — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN normal subground …   Справочник технического переводчика

  • НОРМАЛЬНАЯ ПОДГРУППА — то же, что нормальный делитель …   Математическая энциклопедия

  • Минимальная нормальная подгруппа — Минимальная нормальная подгруппа  неединичная нормальная подгруппа , такая, что между ней и единичной подгруппой нет других нормальных подгрупп всей группы. Минимальная нормальная подгруппа имеются далеко не во всякой группе. Если группа… …   Википедия

  • МИНИМАЛЬНАЯ НОРМАЛЬНАЯ ПОДГРУППА — неединичная нормальная подгруппа Нтакая, что между ней и единичной подгруппой нет других нормальных подгрупп всей группы. М. н. п. имеются далеко не во всякой группе. Если группа конечна, то любая ее М. н. п. является прямым произведением… …   Математическая энциклопедия

  • Подгруппа — Группа (математика) Теория групп …   Википедия

  • ДИСКРЕТНАЯ ПОДГРУППА — подгруппа Г топологич. группы G(в частности, подгруппа группы Ли), являющаяся дискретным подмножеством топологич. пространства G. В локально компактных топологич. группах (в частности, в группах Ли) выделяют решетки Д. п., для к рых… …   Математическая энциклопедия

  • Инвариантная подгруппа — В абстрактной алгебре нормальная подгруппа  это особый класс подгрупп, у которых левый и правый смежные классы совпадают. Они особенно важны потому, что позволяют строить факторгруппу по заданной группе. Содержание 1 Определения 2 Примеры 3… …   Википедия

  • Характеристическая подгруппа — Характеристическая подгруппа  подгруппа, инвариантная относительно всех автоморфизмов группы. Содержание 1 Связанные определения 2 Примеры 3 Свойства …   Википедия

  • НОРМАЛЬНЫЙ ДЕЛИТЕЛЬ — нормальная подгруппа, инвариантная подгруппа, подгруппа Нгруппы G, для к рой левостороннее разложение группы Gпо подгруппе Нсовпадает с правосторонним, т. е. такая подгруппа, что для любого элемента смежные классы аН и На равны (в смысле… …   Математическая энциклопедия

  • Глоссарий теории групп — Группа (математика) Теория групп …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»