Сделать домашней|Добавить в избранное
 

Читайте энциклопедические статьи у нас в сбронике словарей и справочников

 

Центр (теория группы)

Центр (теория группы)


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

:.

Центр - подгруппа G, которая по определению является abelian (то есть, коммутативный). Как подгруппа, это всегда нормально, и действительно характерно, но это не должно быть полностью характерно. Группа G / Z (G) фактора изоморфна группе внутренних автоморфизмов G.

Группа G - abelian если и только если Z (G) = G. В другой противоположности группа, как говорят, является centerless, если Z (G) тривиален, т.е. состоит только из элемента идентичности.

Элементы центра иногда называют центральными.

Как подгруппа

Центр G всегда - подгруппа G. В особенности:

  1. Z (G) содержит e, элемент идентичности G, потому что, например, = g = GE для всего g ? G по определению e, так по определению Z (G), e ? Z (G);
  2. Если x и y находятся в Z (G), то (xy) g = x (yg) = x (gy) = (xg) y = (gx) y = g (xy) для каждого g ? G, и таким образом, xy находится в Z (G) также (т.е., Z (G) закрытие выставок);
  3. Если x находится в Z (G), то gx = xg, и умножающийся дважды, однажды слева и однажды справа, x, дает xg = gx — так x ? Z (G).

Кроме того, центр G всегда - нормальная подгруппа G, поскольку это закрыто под спряжением.

Классы сопряжения и centralisers

По определению центр - набор элементов, для которых класс сопряжения каждого элемента - сам элемент, т.е. ccl (g) = {g}.

Центр - также пересечение всего centralizers каждого элемента G. Поскольку centralizers - подгруппы, это снова показывает, что центр - подгруппа.

Спряжение

Рассмотрите карту f: G > AUT (G) от G до группы автоморфизма G, определенных f (g) = ?, где ? - автоморфизм G, определенного

:.

Функция f является гомоморфизмом группы, и его ядро - точно центр G, и его изображение называют внутренней группой автоморфизма G, обозначенной Гостиницей (G). Первой теоремой изоморфизма мы получаем

:

cokernel этой карты - группа внешних автоморфизмов, и они формируют точную последовательность

:

Примеры

  • Центр abelian группы G - все G.
  • Центр группы G Гейзенберга - все матрицы формы:

1 & 0 & z

0 & 1 & 0

0 & 0 & 1

  • Центр nonabelian простой группы тривиален.
  • Центр образуемой двумя пересекающимися плоскостями группы D тривиален, когда n странный. Когда n даже, центр состоит из элемента идентичности вместе с вращением на 180 ° многоугольника.
  • Центр группы кватерниона.
  • Центр симметричной группы S тривиален для n ? 3.
  • Центр переменной группы A тривиален для n ? 4.
  • Центр общей линейной группы - коллекция скалярных матриц.
  • Центр ортогональной группы.
  • Центр мультипликативной группы кватернионов отличных от нуля - мультипликативная группа действительных чисел отличных от нуля.
  • Используя уравнение класса можно доказать, что центр любой нетривиальной конечной p-группы нетривиален.
  • Если группа фактора циклична, G - abelian (и так G = Z (G), и тривиально).
  • Группа фактора не изоморфна группе кватерниона.

Более высокие центры

Quotienting центром группы приводит к последовательности групп, названных верхним центральным рядом:

:

Ядро карты - центр ith' G (второй центр, третий центр, и т.д.), и обозначено Конкретно, - центр Св. - условия, которые добираются со всеми элементами до элемента центра ith. После этого определения можно определить 0th центр группы, чтобы быть подгруппой идентичности. Это может быть продолжено к трансконечным ординалам трансконечной индукцией; союз всех более высоких центров называют гиперцентром.

Цепь возрастания подгрупп

:

стабилизируется во мне (эквивалентно), если и только если centerless.

Примеры

  • Для centerless группы все более высокие центры - ноль, который имеет место стабилизации.
  • Аннотацией Грюна фактор прекрасной группы ее центром - centerless, следовательно все более высокие центры равняются центру. Это - случай стабилизации в.

См. также

  • центр (алгебра)
  • centralizer и normalizer
  • класс сопряжения

Примечания

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



Комментарии:

Написать коммент
 

Читайте больше умных сведенний и фактом во всм мире, пригодится в жизни.