Clase de conxugación

Dous grafos de Cayley de grupos diédrico con clases de conxugación distinguidas pola cor.

En matemáticas, especialmente na teoría de grupos, dous elementos $a$ e $b$ dun grupo son conxugados se hai un elemento $g$ no grupo de tal forma que $b = g a g^{- 1}$ é unha relación de equivalencia cuxas clases chámanse clases de conxugación. Noutras palabras, cada clase de conxugación está pechada baixo $b = g a g^{- 1}$ para todos os elementos $g$ do grupo.

Os membros da mesma clase de conxugación non se poden distinguir usando só a estrutura do grupo e, polo tanto, comparten moitas propiedades. O estudo das clases de conxugación dos grupos non abelianos é fundamental para o estudo da súa estrutura.^[1]^[2] Para un grupo abeliano, cada clase de conxugación é un conxunto que contén un único elemento (Conxunto unitario).

As funcións que son constantes para os membros da mesma clase de conxugación chámanse función de clase.

Definición

Sexa $G$ un grupo. Dous elementos $a, b \in G$ son conxugados se existe un elemento $g \in G$ tal que $g a g^{- 1} = b,$ , en cuxo caso $b$ chámase Modelo:Em de $a$ e $a$ conxugado de $b$ .

No caso do grupo linear xeral $GL (n)$ das matrices invertíbeis, a relación de conxugación chámase matriz semellante.

Pódese demostrar facilmente que a conxugación é unha relación de equivalencia e, polo tanto, particiona $G$ en clases de equivalencia. (Isto significa que todos os elementos do grupo pertencen precisamente a unha clase de conxugación, e as clases $Cl (a)$ e $Cl (b)$ son iguais se e só se $a$ e $b$ son conxugadas, e disxuntas). A clase de equivalencia que contén o elemento $a \in G$ é

Cl (a) = {g a g^{- 1} : g \in G}

e chámase clase de conxugación de $a .$ O Modelo:Visible anchor de $G$ é o número de clases de conxugación distintas (non equivalentes). Todos os elementos pertencentes á mesma clase de conxugación teñen a mesma orde.

Exemplos

O grupo simétrico $S_{3},$ que consiste nas 6 permutacións de tres elementos, ten tres clases de conxugación:

Sen cambios $(a b c \to a b c)$ . O membro único ten orde 1.
Transposición de dous elementos $(a b c \to a c b, a b c \to b a c, a b c \to c b a)$ . Os 3 membros teñen todos orde 2.
Unha permutación cíclica dos tres elementos $(a b c \to b c a, a b c \to c a b)$ . Os dous membros teñen orde 3.

Estas tres clases tamén corresponden á clasificación de isometrías dun triángulo equilátero.

O grupo simétrico $S_{4},$ que consiste nas 24 permutacións de catro elementos, ten cinco clases de conxugación, listadas coa súa descrición, tipo de ciclo, orde dos membros e membros:

Sen cambios. Tipo de ciclo = [1⁴]. Orde = 1. Membros = { (1, 2, 3, 4) }. A única fila que contén esta clase de conxugación móstrase como unha fila de círculos negros na táboa adxacente.
Trocando dous (outros dous permanecen sen cambios). Tipo de ciclo = [1²2¹]. Orde = 2. Membros = { (1, 2, 4, 3), (1, 4, 3, 2), (1, 3, 2, 4), (4, 2, 3, 1), (3, 2, 1, 4), (2, 1, 3, 4) }). As 6 filas que conteñen esta clase de conxugación están resaltadas en verde na táboa adxacente.
Unha permutación cíclica de tres (a outra permanece sen cambios). Tipo de ciclo = [1¹3¹]. Orde = 3. Membros = { (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) }. As 8 filas que conteñen esta clase de conxugación móstranse con letra normal (sen letra grosa nin resaltado en cor) na táboa adxacente.
Unha permutación cíclica das catro. Tipo de ciclo = [4¹]. Orde = 4. Membros = { (2, 3, 4, 1), (2, 4, 1, 3), (3, 1, 4, 2), (3, 4, 2, 1), (4, 1, 2, 3), (4, 3, 1, 2) }). As 6 filas que conteñen esta clase de conxugación están resaltadas en laranxa na táboa adxacente.
Trocando dous e tamén os outros dous. Tipo de ciclo = [2²]. Orde = 2. Membros = { (2, 1, 4, 3), (4, 3, 2, 1), (3, 4, 1, 2) }). As 3 filas que conteñen esta clase de conxugación móstranse con entradas en negra grosa na táboa adxacente.

As rotacións adecuadas do cubo, que poden caracterizarse por permutacións das diagonais do corpo, tamén se describen mediante conxugación en $S_{4} .$

En xeral, o número de clases de conxugación no grupo simétrico $S_{n}$ é igual ao número de particións enteiras de $n .$ Isto ocorre porque cada clase de conxugación corresponde exactamente a unha partición de ${1, 2, \dots, n}$ en ciclos de elementos, até a permutación dos elementos de ${1, 2, \dots, n} .$

En xeral, o grupo euclidiano pódese estudar mediante a conxugación de isometrías no espazo euclidiano.

Exemplo

Sexa G = $S_{3}$

a = (23)

x = (123)

x^{- 1} = (321)

Daquela $x a x^{- 1}$

= (123) (23) (321)

= (31)

é Conxugado de

(23)

Propiedades

O elemento identidade é sempre o único elemento da súa clase, é dicir, $Cl (e) = {e} .$
Se $G$ é abeliano, entón $g a g^{- 1} = a$ para todos os $a, g \in G$ , é dicir, $Cl (a) = {a}$ para todos os $a \in G$ (e a inversa tamén é verdade: se todas as clases de conxugación son unitarias entón o grupo é abeliano).
Se dous elementos $a, b \in G$ pertencen á mesma clase de conxugación (é dicir, se están conxugados), entón teñen a mesma orde. De xeito máis xeral, cada afirmación sobre $a$ pódese traducir nunha afirmación sobre $b = g a g^{- 1},$ porque o mapa $φ (x) = g x g^{- 1}$ é un automorfismo de $G$ chamado automorfismo interno. Vexa a seguinte propiedade para ver un exemplo.
Se $a$ e $b$ son conxugados, entón tamén o son as súas potencias $a^{k}$ e $b^{k} .$ (Proba: se $a = g b g^{- 1}$ entón $a^{k} = (g b g^{- 1}) (g b g^{- 1}) \dots (g b g^{- 1}) = g b^{k} g^{- 1}$ ).
Un elemento $a \in G$ atópase no centro $Z (G)$ de $G$ se e só se a súa clase de conxugación só ten un elemento, o propio $a$ . De xeito máis xeral, se $C_{G} (a)$ denota o Modelo:Em de $a \in G,$ é dicir, o subgrupo que consta de todos os elementos $g$ de tal forma que $g a = a g,$ entón o índice $[G : C_{G} (a)]$ é igual ao número de elementos na clase de conxugación de $a$ (polo teorema órbita-estabilizador).
Tome $σ \in S_{n}$ e sexan $m_{1}, m_{2}, \dots, m_{s}$ os distintos enteiros que aparecen como lonxitudes de ciclos no tipo de ciclo de $σ$ (incluíndo 1 ciclos). Sexa $k_{i}$ o número de ciclos de lonxitude $m_{i}$ en $σ$ para cada $i = 1, 2, \dots, s$ (de xeito que $\sum_{i = 1}^{s} k_{i} m_{i} = n$ ). Entón, o número de conxugados de $σ$ é: ^[1]

\frac{n!}{(k_{1}! m_{1}^{k_{1}}) (k_{2}! m_{2}^{k_{2}}) \dots (k_{s}! m_{s}^{k_{s}})} .

Conxugación como acción de grupo

Para dous elementos calquera $g, x \in G,$ sexa

g \cdot x : = g x g^{- 1} .

Isto define unha acción de grupo de $G$ en $G .$

A órbita do elemento $x$ mediante esta acción é a súa clase de conxugación.
O estabilizador dun subconxunto mediante esta acción é o normalizador dese subconxunto. Cando temos un único elemento $x$ entón temos o centralizador de $x$ .^[3]

Do mesmo xeito, podemos definir unha acción de grupo de $G$ no conxunto de todos os subconxuntos de $G,$ escribindo

g \cdot S : = g S g^{- 1},

ou no conxunto dos subgrupos de $G .$

Ecuación de clase de conxugación

Se $G$ é un grupo finito, entón para calquera elemento de grupo $a,$ os elementos da clase de conxugación de $a$ están en correspondencia un a un con cosets do centralizador $C_{G} (a) .$ Observando que calquera elemento $b$ e $c$ pertencentes á mesma clase (e, polo tanto, $b = c z$ para algúns $z$ no centralizador $C_{G} (a)$ ) dan lugar ao mesmo elemento ao conxugar $a$ :

b a b^{- 1} = c z a (c z)^{- 1} = c z a z^{- 1} c^{- 1} = c a z z^{- 1} c^{- 1} = c a c^{- 1} .

Iso tamén se pode ver no Teorema órbita-estabilizador, cando se considera que o grupo actúa sobre si mesmo mediante a conxugación, de xeito que as órbitas son clases de conxugación e os subgrupos estabilizadores son centralizadores. A inversa tamén se cumpre.

Así, o número de elementos na clase de conxugación de $a$ é o índice $[G : C_{G} (a)]$ do centralizador $C_{G} (a)$ en $G$ ; de aí que o tamaño de cada clase de conxugación divida a orde do grupo.

A maiores, se escollemos un único elemento representativo $x_{i}$ de cada clase de conxugación, inferimos da disxunción das clases de conxugación que

| G | = \sum_{i} [G : C_{G} (x_{i})],

onde $C_{G} (x_{i})$ é o centralizador do elemento $x_{i} .$ Observando que cada elemento do centro $Z (G)$ forma unha clase de conxugación que contén só a si mesmo dá lugar á ecuación de clase:^[4]

| G | = | Z (G) | + \sum_{i} [G : C_{G} (x_{i})],

onde a suma é sobre un elemento representativo de cada clase de conxugación que non está no centro.

O coñecemento dos divisores da orde do grupo $| G |$ pódese empregar a miúdo para obter información sobre a orde do centro ou das clases de conxugación.

Exemplo

Considere un $p$ -grupo $G$ (é dicir, un grupo con orde $p^{n},$ onde $p$ é un número primo e $n > 0$ ). Imos demostrar que Modelo:Em.

Dado que a orde de calquera clase de conxugación de $G$ debe dividir a orde de $G,$ dedúcese que cada clase de conxugación $H_{i}$ que non estea no centro tamén ten de orde algunha potencia de $p^{k_{i}},$ onde $0 < k_{i} < n .$ Mais daquela a ecuación de clase esixe que $| G | = p^{n} = | Z (G) | + \sum_{i} p^{k_{i}} .$ A partir disto vemos que $p$ debe dividir a $| Z (G) |,$ polo que $| Z (G) | > 1 .$

En particular, cando $n = 2,$ entón $G$ é un grupo abeliano xa que calquera elemento de grupo non trivial é de orde $p$ ou $p^{2} .$ Se algún elemento $a$ de $G$ é de orde $G$ é de orde $p^{2}$ entón $G$ é isomorfo ao grupo cíclico de orde $p^{2}$ , polo tanto abeliano.

Por outra banda, se cada elemento non trivial en $G$ é de orde $p$ , daí pola conclusión anterior $| Z (G) | > 1,$ despois $| Z (G) | = p > 1$ ou $p^{2} .$

Só necesitamos considerar o caso cando $| Z (G) | = p > 1,$ entón hai un elemento $b$ de $G$ que non está no centro de $G .$ Teña en conta que $C_{G} (b)$ inclúe $b$ e o centro que non contén $b$ pero polo menos $p$ elementos. Polo tanto, a orde de $C_{G} (b)$ é estritamente maior que $p,$ polo tanto $| C_{G} (b) | = p^{2},$ polo tanto $b$ é un elemento do centro de $G,$ unha contradición. Polo tanto, $G$ é abeliano e, de feito, isomorfo ao produto directo de dous grupos cíclicos cada un de orde $p .$

Conxugación de subgrupos e subconxuntos xerais

De xeito máis xeral, dado calquera subconxunto $S \subseteq G$ ( $S$ non necesariamente un subgrupo), defina un subconxunto $T \subseteq G$ como o conxugado de $S$ se existe algún $g \in G$ tal que $T = g S g^{- 1} .$ Sexa $Cl (S)$ o conxunto de todos os subconxuntos $T \subseteq G$ de tal forma que $T$ é conxugado de $S .$

Un teorema de uso frecuente é que, dado calquera subconxunto $S \subseteq G,$ o índice de $N (S)$ (o normalizador de $S$ ) en $G$ é igual á cardinalidade de $Cl (S)$ :

| Cl (S) | = [G : N (S)] .

Isto dedúcese de que, se $g, h \in G,$ entón $g S g^{- 1} = h S h^{- 1}$ se e só se $g^{- 1} h \in N (S),$ noutras palabras, se e só se $g e h$ están no mesmo coset de $N (S) .$

Usando $S = {a},$ esta fórmula xeneraliza a dada anteriormente para o número de elementos nunha clase de conxugación.

O anterior é particularmente útil cando se fala de subgrupos de $G .$ Os subgrupos pódense dividir en clases de conxugación, con dous subgrupos pertencentes á mesma clase se e só se son conxugados.

Os subgrupos conxugados son isomorfos, mais os subgrupos isomorfos non teñen por que seren conxugados. Por exemplo, un grupo abeliano pode ter dous subgrupos diferentes que son isomorfos, mais nunca son conxugados.

Interpretación xeométrica

As clases de conxugación no grupo fundamental dun espazo topolóxico conexo por camiños poden considerarse como clases de equivalencia de bucles libres baixo homotopía libre.