Класс сопряжённости

Класс сопряжённости — множество элементов группы G {displaystyle G} , образованное из элементов, сопряжённых заданному g ∈ G {displaystyle gin G} , то есть — всех элементов вида h g h − 1 {displaystyle hgh^{-1}} , где h {displaystyle h} — произвольный элемент группы G {displaystyle G} .

Класс сопряжённости элемента g ∈ G {displaystyle gin G} может обозначаться [ g ] {displaystyle [g]} , g G {displaystyle g^{G}} или C l ( g ) {displaystyle mathrm {Cl} (g)} .

Определение

Элементы g 1 {displaystyle g_{1}} и g 2 {displaystyle g_{2}} группы G {displaystyle G} называются сопряжёнными, если существует элемент h ∈ G {displaystyle hin G} , для которого h g 1 h − 1 = g 2 {displaystyle hg_{1}h^{-1}=g_{2}} . Сопряжённость является отношением эквивалентности, а потому разбивает G {displaystyle G} на классы эквивалентности, это, в частности, означает, что каждый элемент группы принадлежит в точности одному классу сопряжённости, и классы [ g 1 ] {displaystyle [g_{1}]} и [ g 2 ] {displaystyle [g_{2}]} совпадают тогда и только тогда, когда g 1 {displaystyle g_{1}} и g 2 {displaystyle g_{2}} сопряжены, и не пересекаются в противном случае.

Замечания

• Классы сопряжённости могут быть также определены как орбиты действия группы на себе сопряжениями, заданными формулой ( g , m ) = g m g − 1 {displaystyle (g,m)=gmg^{-1}} .

Примеры

• Симметрическая группа S 3 {displaystyle S_{3}} , состоящая из всех шести перестановок трёх элементов, имеет три класса сопряжённости:
  • порядок не меняется ( a b c → a b c {displaystyle abc o abc} , «1A»),
  • перестановка двух элементов ( a b c → a c b {displaystyle abc o acb} , a b c → b a c {displaystyle abc o bac} , a b c → c b a {displaystyle abc o cba} , «3A»),
  • циклическая перестановка всех трёх элементов ( a b c → b c a {displaystyle abc o bca} , a b c → c a b {displaystyle abc o cab} , «2A»).

• Симметрическая группа S 4 {displaystyle S_{4}} , состоящая из всех 24 перестановок четырёх элементов, имеет пять классов сопряжённости:
  • порядок не меняется (1 перестановка): { { 1 , 2 , 3 , 4 } } {displaystyle {{1,2,3,4}}} , «1A» или «(1)4»;
  • перестановка двух элементов (6 перестановок): { { 1 , 2 , 4 , 3 } , { 1 , 4 , 3 , 2 } , { 1 , 3 , 2 , 4 } , { 4 , 2 , 3 , 1 } , { 3 , 2 , 1 , 4 } , { 2 , 1 , 3 , 4 } } {displaystyle {{1,2,4,3},{1,4,3,2},{1,3,2,4},{4,2,3,1},{3,2,1,4},{2,1,3,4}}} , «6A» или «(2)»;
  • циклическая перестановка трёх элементов (8 перестановок): { { 1 , 3 , 4 , 2 } , { 1 , 4 , 2 , 3 } , { 3 , 2 , 4 , 1 } , { 4 , 2 , 1 , 3 } , { 4 , 1 , 3 , 2 } , { 2 , 4 , 3 , 1 } , { 3 , 1 , 2 , 4 } , { 2 , 3 , 1 , 4 } } {displaystyle {{1,3,4,2},{1,4,2,3},{3,2,4,1},{4,2,1,3},{4,1,3,2},{2,4,3,1},{3,1,2,4},{2,3,1,4}}} , «8A» или «(3)»;
  • циклическая перестановка всех четырёх элементов (6 перестановок): { { 2 , 3 , 4 , 1 } , { 2 , 4 , 1 , 3 } , { 3 , 1 , 4 , 2 } , { 3 , 4 , 2 , 1 } , { 4 , 1 , 2 , 3 } , { 4 , 3 , 1 , 2 } } {displaystyle {{2,3,4,1},{2,4,1,3},{3,1,4,2},{3,4,2,1},{4,1,2,3},{4,3,1,2}}} , «6B» или «(4)»;
  • перестановка попарная (3 перестановки): { { 2 , 1 , 4 , 3 } , { 4 , 3 , 2 , 1 } , { 3 , 4 , 1 , 2 } } {displaystyle {{2,1,4,3},{4,3,2,1},{3,4,1,2}}} , «3A» или «(2)(2)».

• В общем случае число классов сопряжённости в симметрической группе S n {displaystyle S_{n}} равно количеству разбиений числа n {displaystyle n} , так как каждый класс сопряжённости соответствует в точности одному разбиению перестановки { 1 , 2 , … , n } {displaystyle {1,2,dots ,n}} на циклы.

Свойства

• Нейтральный элемент всегда образует свой собственный класс [ e ] = { e } {displaystyle [e]={e}}
• Если G {displaystyle G} — абелева, то ∀ g , h ∈ G   g h g − 1 = h {displaystyle forall {g,hin G} ghg^{-1}=h} , таким образом [ g ] = { g } {displaystyle [g]={g}} для всех элементов группы.
• Если два элемента g 1 {displaystyle g_{1}} и g 2 {displaystyle g_{2}} группы G {displaystyle G} принадлежат одному и тому же классу сопряжённости, то они имеют одинаковый порядок.
  • Более общо: любое теоретико-групповое утверждение π ( g ) {displaystyle pi (g)} об элементе g ∈ G {displaystyle gin G} эквивалентно утверждению для элемента h ∈ [ g ] {displaystyle hin [g]} , поскольку сопряжение x → x g x − 1 {displaystyle x o xgx^{-1}} является автоморфизмом группы G {displaystyle G} .
• Элемент g ∈ G {displaystyle gin G} лежит в центре Z ( G ) {displaystyle Z(G)} тогда и только тогда, когда его класс сопряжённости состоит из единственного элемента: [ g ] = { g } {displaystyle [g]={g}} .
  • Более общо: индекс подгруппы Z G ( g ) {displaystyle Z_{G}(g)} (централизатора заданного элемента g {displaystyle g} ) равен числу элементов в классе сопряжённости [ g ] {displaystyle [g]} (по теореме о стабилизации орбит).
• Если g 1 {displaystyle g_{1}} и g 2 {displaystyle g_{2}} сопряжены, то сопряжены и их степени g 1 k {displaystyle g_{1}^{k}} и g 2 k {displaystyle g_{2}^{k}} .

• Для любого элемента группы g ∈ G {displaystyle gin G} элементы в классе сопряжённости [ g ] {displaystyle [g]} взаимно-однозначно соответствуют классам смежности централизатора Z G ( g ) {displaystyle Z_{G}(g)} , действительно, если h 1 ∈ [ h 2 ] {displaystyle h_{1}in [h_{2}]} , то h 1 = h 2 z {displaystyle h_{1}=h_{2}z} для некоторого z ∈ Z G ( g ) {displaystyle zin Z_{G}(g)} , что приводит к тому же самому сопряжённому элементу: h 1 g h 1 − 1 = h 2 z g ( h 2 z ) − 1 = h 2 z g z − 1 h 2 − 1 = h 2 z z − 1 g h 2 − 1 = h 2 g h 2 − 1 {displaystyle h_{1}gh_{1}^{-1}=h_{2}zg(h_{2}z)^{-1}=h_{2}zgz^{-1}h_{2}^{-1}=h_{2}zz^{-1}gh_{2}^{-1}=h_{2}gh_{2}^{-1}} . В частности:
  • Если G {displaystyle G} — конечная группа, то число элементов в классе сопряжённости [ g ] {displaystyle [g]} является индексом централизатора [ G : Z G ( g ) ] {displaystyle [G:Z_{G}(g)]} .
  • Порядок каждого класса сопряжённости является делителем порядка группы.
• Порядок группы является суммой индексов централизаторов по выбранному представителю g i {displaystyle g_{i}} из каждого класса сопряжённости: | G | = Σ i [ G : Z G ( g i ) ] {displaystyle |G|=Sigma {_{i}}[G:Z_{G}(g_{i})]} . С учётом того, что централизатор группы Z ( G ) {displaystyle Z(G)} образует класс сопряжённости из единственного элемента (самого себя), это соотношение, называемое уравнением классов сопряжённости, записывается следующим образом: | G | = | Z ( G ) | + Σ i [ G : Z G ( g i ) ] {displaystyle |G|=|Z(G)|+Sigma {_{i}}[G:Z_{G}(g_{i})]} ,

где сумма берётся по всем представителям каждого класса сопряжённости, которые не принадлежат центру.

• Например, пусть задана конечная p {displaystyle p} -группа G {displaystyle G} (то есть группа с порядком p n {displaystyle p^{n}} , где p {displaystyle p} — простое число и n > 0 {displaystyle n>0} ). Поскольку порядок любого класса сопряжённости должен делить порядок группы, всякий класс сопряжённости H i {displaystyle H_{i}} также имеет порядок, равный некоторой степени p k i {displaystyle p^{k_{i}}} ( 0 < k i < n {displaystyle 0<k_{i}<n} ), и тогда из уравнения классов сопряжённости следует, что:

| G | = p n = | Z ( G ) | + Σ i p k i {displaystyle |G|=p^{n}=|Z(G)|+Sigma {_{i}}p^{k_{i}}} , отсюда, в свою очередь, следует, что число p {displaystyle p} должно делить | Z ( G ) | {displaystyle |Z(G)|} , так что | Z ( G ) | > 1 {displaystyle |Z(G)|>1} для всех конечных p {displaystyle p} -групп, то есть уравнение классов сопряжённости позволяет установить, что любая конечная p {displaystyle p} -группа обладает нетривиальным центром.

• Классы сопряжённости в фундаментальной группе линейно связного топологического пространства можно рассматривать как классы эквивалентности свободных петель при свободной гомотопии.

Вариации и обобщения

Для произвольного подмножества (не обязательно подгруппы) S ⊆ G {displaystyle Ssubseteq G} подмножество T ⊆ G {displaystyle Tsubseteq G} называется сопряжённым к S {displaystyle S} , если существует некоторый элемент g ∈ G {displaystyle gin G} , такой, что T = g S g − 1 {displaystyle T=gSg^{-1}} . В этом случае класс сопряжённости [ S ] {displaystyle [S]} — множество всех подмножеств T ⊆ G {displaystyle Tsubseteq G} , таких, что каждое T {displaystyle T} является сопряжённым S {displaystyle S} .

Широко применяется теорема, согласно которой для любого заданного подмножества S {displaystyle S} группы G {displaystyle G} индекс множества его нормализатора N ( S ) {displaystyle N(S)} равен порядку её класса сопряжённости [ S ] {displaystyle [S]} :

| [ S ] | = [ G : N ( S ) ] {displaystyle |[S]|=[G:N(S)]} .

Это следует из того, что для g , h ∈ G {displaystyle g,hin G} имеет место: g S g − 1 = h S h − 1 {displaystyle gSg^{-1}=hSh^{-1}} тогда и только тогда, когда g − 1 h ∈ N ( S ) {displaystyle g^{-1}hin N(S)} , то есть g {displaystyle g} и h {displaystyle h} содержится в одном и том же классе смежности нормализатора N ( S ) {displaystyle N(S)} .

Подгруппы можно разделить на классы сопряжённости так, что две подгруппы принадлежат одному классу в том и только в том случае, когда они сопряжены. Сопряжённые подгруппы изоморфны, но изоморфные подгруппы не обязательно должны быть сопряженными. Например, абелева группа может содержать две различные изоморфные подгруппы, но они никогда не будут сопряжёнными.