Класс сопряжённости
Класс сопряжённости — множество элементов группы , образованное из элементов, сопряжённых заданному , то есть — всех элементов вида , где — произвольный элемент группы .
Класс сопряжённости элемента может обозначаться , или .
Определение
[править | править код]Элементы и группы называются сопряжёнными, если существует элемент , для которого . Сопряжённость является отношением эквивалентности, а потому разбивает на классы эквивалентности, это, в частности, означает, что каждый элемент группы принадлежит в точности одному классу сопряжённости, и классы и совпадают тогда и только тогда, когда и сопряжены, и не пересекаются в противном случае.
Замечания
[править | править код]- Классы сопряжённости могут быть также определены как орбиты действия группы на себе сопряжениями, заданными формулой [1].
Примеры
[править | править код]- Симметрическая группа , состоящая из всех шести перестановок трёх элементов, имеет три класса сопряжённости:
- порядок не меняется (, «1A»),
- перестановка двух элементов (, , , «3A»),
- циклическая перестановка всех трёх элементов (, , «2A»).
- Симметрическая группа , состоящая из всех 24 перестановок четырёх элементов, имеет пять классов сопряжённости:
- порядок не меняется (1 перестановка): , «1A» или «(1)4»;
- перестановка двух элементов (6 перестановок): , «6A» или «(2)»;
- циклическая перестановка трёх элементов (8 перестановок): , «8A» или «(3)»;
- циклическая перестановка всех четырёх элементов (6 перестановок): , «6B» или «(4)»;
- перестановка попарная (3 перестановки): , «3A» или «(2)(2)».
- В общем случае число классов сопряжённости в симметрической группе равно количеству разбиений числа , так как каждый класс сопряжённости соответствует в точности одному разбиению перестановки на циклы[англ.].
Свойства
[править | править код]- Нейтральный элемент всегда образует свой собственный класс
- Если — абелева, то , таким образом для всех элементов группы.
- Если два элемента и группы принадлежат одному и тому же классу сопряжённости, то они имеют одинаковый порядок.
- Более общо: любое теоретико-групповое утверждение об элементе эквивалентно утверждению для элемента , поскольку сопряжение является автоморфизмом группы .
- Элемент лежит в центре тогда и только тогда, когда его класс сопряжённости состоит из единственного элемента: .
- Более общо: индекс подгруппы (централизатора заданного элемента ) равен числу элементов в классе сопряжённости (по теореме о стабилизации орбит[англ.]).
- Если и сопряжены, то сопряжены и их степени и .
- Для любого элемента группы элементы в классе сопряжённости взаимно-однозначно соответствуют классам смежности централизатора , действительно, если , то для некоторого , что приводит к тому же самому сопряжённому элементу: . В частности:
- Если — конечная группа, то число элементов в классе сопряжённости является индексом централизатора .
- Порядок каждого класса сопряжённости является делителем порядка группы.
- Порядок группы является суммой индексов централизаторов по выбранному представителю из каждого класса сопряжённости: . С учётом того, что централизатор группы образует класс сопряжённости из единственного элемента (самого себя), это соотношение, называемое уравнением классов сопряжённости[2], записывается следующим образом:
- ,
- где сумма берётся по всем представителям каждого класса сопряжённости, которые не принадлежат центру.
- Например, пусть задана конечная -группа (то есть группа с порядком , где — простое число и ). Поскольку порядок любого класса сопряжённости должен делить порядок группы, всякий класс сопряжённости также имеет порядок, равный некоторой степени (), и тогда из уравнения классов сопряжённости следует, что:
- ,
- отсюда, в свою очередь, следует, что число должно делить , так что для всех конечных -групп, то есть уравнение классов сопряжённости позволяет установить, что любая конечная -группа обладает нетривиальным центром.
- Классы сопряжённости в фундаментальной группе линейно связного топологического пространства можно рассматривать как классы эквивалентности свободных петель[англ.] при свободной гомотопии.
Вариации и обобщения
[править | править код]Для произвольного подмножества (не обязательно подгруппы) подмножество называется сопряжённым к , если существует некоторый элемент , такой, что . В этом случае класс сопряжённости — множество всех подмножеств , таких, что каждое является сопряжённым .
Широко применяется теорема, согласно которой для любого заданного подмножества группы индекс множества его нормализатора равен порядку её класса сопряжённости :
- .
Это следует из того, что для имеет место: тогда и только тогда, когда , то есть и содержится в одном и том же классе смежности нормализатора .
Подгруппы можно разделить на классы сопряжённости так, что две подгруппы принадлежат одному классу в том и только в том случае, когда они сопряжены. Сопряжённые подгруппы изоморфны, но изоморфные подгруппы не обязательно должны быть сопряженными. Например, абелева группа может содержать две различные изоморфные подгруппы, но они никогда не будут сопряжёнными.
См. также
[править | править код]Примечания
[править | править код]- ↑ Grillet, 2007, p. 56.
- ↑ Grillet, 2007, p. 57.
Литература
[править | править код]- Pierre Antoine Grillet. Abstract algebra. — 2. — Springer, 2007. — Т. 242. — (Graduate texts in mathematics). — ISBN 978-0-387-71567-4.
Для улучшения этой статьи желательно:
|