Нормальное замыкание (теория групп)

У этого термина существуют и другие значения, см. Нормальное замыкание.

Нормальное замыкание подмножества S группы G — это подгруппа G, порождённая S^G, то есть замыкание S^G относительно групповой операции, где S^G — это класс сопряженности элементов S:

${\displaystyle S^{G}=\{\,g{\cdot }s{\cdot }g^{-1}\mid g\in G,\quad s\in S\,\}.}$

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

Свойства

• Нормальное замыкание любого подмножества — всегда нормальная подгруппа G.
  • Более того, это наименьшая (по вложению) нормальная подгруппа, содержащая данное множество.
• Любая простая группа является нормальным замыканием своего (нетождественного) элемента.
• Любая группа узла является нормальным замыканием некоторого своего элемента.

Примечания

• Derek F. Holt; Bettina Eick, Eamonn A. O'Brien. Handbook of Computational Group Theory (неопр.) . — CRC Press, 2005. — С. 73. — ISBN 1-58488-372-3.