Grupo simétrico

Un grafo de Cayley do grupo simétrico S₄ usando os xeradores (vermello) un desprazamento circular á dereita dos catro elementos do conxunto e (azul) un desprazamento circular á esquerda dos tres primeiros elementos do conxunto.

En álxebra abstracta, o grupo simétrico definido sobre calquera conxunto é o grupo cuxos elementos son todas as bixeccións do conxunto en si mesmo, e cuxa operación de grupo é a composición de funcións. En particular, o grupo simétrico finito ${\mathrm{S}}_n$ definido sobre un conxunto finito de $n$ símbolos consiste nas permutacións que se poden realizar sobre $n$ símbolos. Xa que hai un número de $n!$ ($n$ factorial) de operacións de permutación, a orde (número de elementos) do grupo simétrico ${\mathrm{S}}_n$ é $n!$.

Aínda que os grupos simétricos poden definirse en conxuntos infinitos, este artigo céntrase nos grupos simétricos finitos: as súas aplicacións, os seus elementos, as súas clases de conxugación, unha presentación finita, os seus subgrupos, os seus grupos de automorfismos e a súa teoría da representación. Para o resto deste artigo, "grupo simétrico" significará un grupo simétrico nun conxunto finito.

O teorema de Cayley estabelece que todo grupo é isomorfo a un subgrupo do grupo simétrico. Se o grupo é finito e ten orde Modelo:Mvar, daquela é isomorfo a un subgrupo de $S_n$.

Definición e primeiras propiedades

O grupo simétrico nun conxunto finito $X$ é o grupo cuxos elementos son todas as funcións bixectivas de $X$ a $X$ e cuxa operación de grupo é a da composición de funcións. Para conxuntos finitos, "permutacións" e "funcións bixectivas" refírense á mesma operación, é dicir, a reordenación. O grupo simétrico de grao $n$ é o grupo simétrico do conxunto $X=\{1,2,\dots ,n\}$ .

O grupo simétrico nun conxunto $X$ denótase de varias maneiras, incluíndo ${\mathrm{S}}_X$, ${𝔖}_X$, ${\mathrm{\Sigma }}_X$, $X!$, e $\mathrm{Sym}(X)$. Se $X$ é o conxunto $\{1,2,\dots ,n\}$ daquela o nome pódese abreviar a ${\mathrm{S}}_n$, ${𝔖}_n$, ${\mathrm{\Sigma }}_n$, ou $\mathrm{Sym}(n)$.

Os grupos simétricos en conxuntos infinitos compórtanse de forma bastante diferente dos grupos simétricos en conxuntos finitos, e son discutidos en Modelo:Cita Harvard, Modelo:Cita Harvard e Modelo:Cita Harvard.

O grupo simétrico nun conxunto de $n$ elementos ten orde $n!$ (o factorial de $n$). É abeliano se e só se $n$ é menor ou igual a 2. Para $n=0$ e $n=1$ (o conxunto baleiro e o conxunto unitario), os grupos simétricos son triviais (teñen orde $0!=1!=1$). O grupo S_n é resolúbel se e só se $n\le 4$. Esta é unha parte esencial da demostración do teorema de Abel-Ruffini que demostra que para cada $n>4$ hai polinomios de grao $n$ que non son resolúbeis por radicais.

Propiedades do grupo e elementos especiais

Os elementos do grupo simétrico dun conxunto X son as permutacións de X.

Composición

A operación de grupo nun grupo simétrico é a composición de funcións, denotada polo símbolo ∘ ou simplemente escribindo seguidas as permutacións (como unha multipliación). A composición Modelo:Nowrap das permutacións f e g, pronunciada "f de g", asigna calquera elemento x de X a f (g(x)). Concretamente, sexa (ver permutación para unha explicación da notación):

$f=(13)(2)(45)=\left(\begin{array}{ccccc}1& 2& 3& 4& 5\\ 3& 2& 1& 5& 4\end{array}\right)$

$g=(125)(34)=\left(\begin{array}{ccccc}1& 2& 3& 4& 5\\ 2& 5& 4& 3& 1\end{array}\right).$

Ao aplicar f despois de g asigna 1 primeiro a 2 e despois 2 a si mesmo; 2 a 5 e despois a 4; 3 a 4 e despois a 5, etc. Logo, compoñendo f e g temos

$fg=f\circ g=(124)(35)=\left(\begin{array}{ccccc}1& 2& 3& 4& 5\\ 2& 4& 5& 1& 3\end{array}\right).$

Un ciclo de lonxitude Modelo:Nowrap, tomado á potencia k-ésima, descompoñerase en k ciclos de lonxitude m: Por exemplo, ( Modelo:Nowrap, Modelo:Nowrap),

$(123456{)}^2=(135)(246).$

Verificación de axiomas de grupo

Para comprobar que o grupo simétrico dun conxunto X é realmente un grupo, é necesario verificar os axiomas de grupo de pechamento, asociatividade, identidade e inversos.

1. A operación de composición de funcións está pechada no conxunto de permutacións do conxunto dado X.
2. A composición da función é sempre asociativa.
3. A bixección trivial que asigna cada elemento de X a si mesmo serve de identidade para o grupo.
4. Toda bixección ten unha función inversa que desfai a súa acción e, polo tanto, cada elemento dun grupo simétrico ten un inverso que tamén é unha permutación.

Transposicións, signo e grupo alternante

Unha transposición é unha permutación que troca dous elementos e mantén fixos todos os demais; por exemplo (1 3) é unha transposición. Toda permutación pódese escribir como produto de transposicións; por exemplo, a permutación g enriba pódese escribir como g = (1 2)(2 5)(3 4). Dado que g pódese escribir como produto dun número impar de transposicións é unha permutación impar, mentres que f é unha permutación par.

A representación dunha permutación como produto de transposicións non é única; porén, o número de transposicións necesarias para representar unha determinada permutación é sempre par ou sempre impar. Hai varias probas breves da invariancia desta paridade dunha permutación.

O produto de dúas permutacións pares é par, o produto de dúas permutacións impares é par e todos os demais produtos son impares. Así podemos definir o signo dunha permutación:

$\mathrm{sgn}f=\{\begin{array}{cc}+1,& \text{if }f\text{ is even}\\ -1,& \text{if }f\text{ is odd}.\end{array}$

Con esta definición,

$\mathrm{sgn}:{\mathrm{S}}_n\to \{+1,-1\}$

é un homomorfismo de grupos ({+1, −1} é un grupo baixo multiplicación, onde +1 é e, o elemento neutro). O kernel deste homomorfismo, é dicir, o conxunto de todas as permutacións pares, chámase grupo alternante A_n. É un subgrupo normal de S_n, e para Modelo:Nowrap ten Modelo:Nowrap elementos. O grupo S_n é o produto semidirecto de A_n e calquera subgrupo xerado por unha única transposición.

A maiores, cada permutación pódese escribir como produto de transposicións adxacentes, é dicir, transposicións da forma Modelo:Nowrap. Por exemplo, a permutación g enriba tamén se pode escribir como Modelo:Nowrap. A representación dunha permutación como produto de transposicións adxacentes tampouco non é única.

Ciclos

Un ciclo de lonxitude k é unha permutación f para a cal existe un elemento x en {1, ..., n } tal que x, f (x), f ² (x), ... , f ^k (x) = x son os únicos elementos movidos por f ; convencionalmente requírese que Modelo:Nowrap xa que con Modelo:Nowrap tampouco non se movería o propio elemento x. A permutación h definida por

$h=\left(\begin{array}{ccccc}1& 2& 3& 4& 5\\ 4& 2& 1& 3& 5\end{array}\right)$

é un ciclo de lonxitude tres, xa que Modelo:Nowrap, Modelo:Nowrap e Modelo:Nowrap, deixando 2 e 5 intactos. Denotamos tal ciclo por Modelo:Nowrap, mais igualmente podería escribirse Modelo:Nowrap ou Modelo:Nowrap comezando nun punto diferente. A orde dun ciclo é igual á súa lonxitude. Os ciclos de lonxitude dous son transposicións. Dous ciclos son disxuntos se teñen subconxuntos de elementos disxuntos. Os ciclos disxuntos conmutan: por exemplo, en S₆ existe a igualdade Modelo:Nowrap. Todo elemento de S_n pódese escribir como produto de ciclos disxuntos; esta representación é única ata a orde dos factores, e a liberdade dada para o seu punto de partida.

Os ciclos admiten a seguinte propiedade de conxugación con calquera permutación $\sigma$, esta propiedade utilízase a miúdo para obter os seus as relacións.

$\sigma \left(\begin{array}{cccc}a& b& c& \dots \end{array}\right){\sigma }^{-1}=\left(\begin{array}{cccc}\sigma (a)& \sigma (b)& \sigma (c)& \dots \end{array}\right)$

Elementos especiais

Algúns elementos do grupo simétrico de {1, 2, ..., n } son de particular interese (estes pódense xeneralizar ao grupo simétrico de calquera conxunto finito totalmente ordenado, mais non ao dun conxunto non ordenado).

A permutación de orde inversa ven dada por:

$\left(\begin{array}{cccc}1& 2& \cdots & n\\ n& n-1& \cdots & 1\end{array}\right).$

Este é o único elemento máximo con respecto á orde de Bruhat e o elemento máis longo do grupo simétrico con relación ao conxunto xerador que consiste nas transposicións adxacentes Modelo:Nowrap, Modelo:Nowrap.

Esta é unha involución, e consiste en $\lfloor n/2\rfloor$ transposicións (non adxacentes).

polo que ten signo:

$\mathrm{s}\mathrm{g}\mathrm{n}({\rho }_n)=(-1{)}^{\lfloor n/2\rfloor }=(-1{)}^{n(n-1)/2}=\{\begin{array}{cc}+1& n\equiv 0,1(\mathrm{mod}4)\\ -1& n\equiv 2,3(\mathrm{mod}4)\end{array}$

que é 4-periódico en n.

En S_2n, a mestura perfecta é a permutación que divide o conxunto en 2 pilas e as intercala. O seu signo tamén é $(-1{)}^{\lfloor n/2\rfloor }.$

Teña en conta que o revés en n elementos e a mestura perfecta en 2n elementos teñen o mesmo signo; estes son importantes para a clasificación das álxebras de Clifford, que son 8-periódicas.

Clases de conxugación

As clases de conxugación de S_n corresponden aos tipos de ciclo de permutacións; é dicir, dous elementos de S_n conxúganse en S_n se e só se consisten no mesmo número de ciclos disxuntos da mesma lonxitude. Por exemplo, en S₅, (1 2 3)(4 5) e (1 4 3)(2 5) están conxugados; (1 2 3)(4 5) e (1 2)(4 5) non o son. Un elemento conxugado de S_n pódese construír en "notación de dúas liñas" colocando as "notacións de ciclo" das dúas permutacións conxugadas unha encima da outra. Continuando co exemplo anterior, $$k=\left(\begin{array}{ccccc}1& 2& 3& 4& 5\\ 1& 4& 3& 2& 5\end{array}\right),$$que se pode escribir como produto de ciclos como (2 4). Esta permutación relaciona logo (1 2 3)(4 5) e (1 4 3)(2 5) mediante conxugación, é dicir, $$(24)\circ (123)(45)\circ (24)=(143)(25).$$ Está claro que tal permutación non é única.

As clases de conxugación de S_n corresponden a particións enteiras de n: á partición Modelo:Nowrap con $n={\sum }_{i=1}^k{\mu }_i$ e Modelo:Nowrap Modelo:Nowrap, está asociada ao conxunto C_μ de permutacións con ciclos de lonxitudes Modelo:Nowrap . Daquela C _μ é unha clase de conxugación de S_n, cuxos elementos se di que son de tipo ciclo $\mu$.

Grupos de grao baixo

Os grupos simétricos de baixo grao teñen unha estrutura máis sinxela e excepcional, e moitas veces deben ser tratados por separado.

S₀ e S₁

Os grupos simétricos do conxunto baleiro e do conxunto unitario son triviais, o que corresponde a Modelo:Math Modelo:Math Modelo:Math. Neste caso, o grupo alternante concorda co grupo simétrico, en lugar de ser un subgrupo de índice 2, e o mapa de signos é trivial. No caso de S₀, o seu único membro é a función baleira.

S₂

Este grupo consta exactamente de dous elementos: a identidade e a permutación que intercambian os dous puntos. É un grupo cíclico e, polo tanto, é abeliano. Na teoría de Galois, isto corresponde ao feito de que a fórmula cadrática dá unha solución directa ao polinomio cadrático xeral despois de extraer só unha única raíz.

S₃

S₃ é o primeiro grupo simétrico non abeliano. Este grupo é isomorfo ao grupo diédrico de orde 6, o grupo de simetrías de reflexión e rotación dun triángulo equilátero, xa que estas simetrías permutan os tres vértices do triángulo. Os ciclos de lonxitude dous corresponden a reflexións, e os ciclos de lonxitude tres son rotacións. Na teoría de Galois, o mapa de signos de S₃ a S₂ corresponde á resolución cadrática dun polinomio cúbico, segundo o descubriu Gerolamo Cardano.

S₄

O grupo S₄ é isomorfo ao grupo de rotacións propias sobre caras opostas, diagonais opostas e arestas opostas, 9, 8 e 6 permutacións do cubo. Alén do grupo A₄, S₄ ten un grupo de Klein-4 como subgrupo normal propio, é dicir, as transposicións pares Modelo:Math co cociente S₃. Na teoría de Galois, este mapa corresponde á resolución cúbica dun polinomio cuártico, o que permite resolver o cuartico mediante radicais, segundo estableceu Lodovico Ferrari.

S₅

S₅ é o primeiro grupo simétrico non resolúbel. Xunto co grupo linear especial Modelo:Math e o grupo icosaédrico Modelo:Math, S₅ é un dos tres grupos non resolúbeis de orde 120, ata isomorfismo. S₅ é o grupo de Galois da ecuación quíntica xeral, e o feito de que ₅ non sexa un grupo resolúbel tradúcese na inexistencia dunha fórmula xeral para resolver polinomios quinticos por radicais. Hai un mapa de inclusión exótico Modelo:Math como subgrupo transitivo; o mapa de inclusión obvio Modelo:Math fixa un punto e polo tanto non é transitivo. Isto produce o automorfismo externo de S₆, que se comenta a continuación, e corresponde ao resolvente séxtico dunha quintica.

S₆

A diferenza de todos os outros grupos simétricos, S₆, ten un automorfismo externo. Usando a linguaxe da teoría de Galois, isto tamén se pode entender en termos de resolventes de Lagrange.

Mapas entre grupos simétricos

Ademais do mapa trivial Modelo:Math e do mapa de signos Modelo:Math, os homomorfismos máis notables entre grupos simétricos, por orde de dimensión relativa, son:

• Modelo:Math correspone ao subgrupo normal excepcional Modelo:Math;
• Modelo:Math corresponde ao automorfismo dexterno de S₆.
• Modelo:Math como grupo transitivo, produce o automorfismo externo de S₆ segundo visto enriba.

Tamén hai moitos outros homomorfismos Modelo:Math onde Modelo:Math. .

Relación co grupo alterno

Para Modelo:Nowrap, o grupo alternante A_n é simple e o cociente inducido é o mapa de signos: Modelo:Nowrap que se divide tomando unha transposición de dous elementos. Así, S_n é o produto semidirecto Modelo:Nowrap, e non ten outros subgrupos normais propios, xa que se cruzarían con A_n na identidade (e, polo tanto, serían eles mesmos a identidade ou un grupo de 2 elementos, o que non é normal), ou en A_n (e, polo tanto, eles mesmos serían A_n ou S_n).

S_n pódese embeber en A_n+2 engadindo a transposición Modelo:Nowrap a todas as permutacións impares, mentres que a incorporación en A_{n +1} é imposible para Modelo:Nowrap.

Xeradores e relacións

O grupo simétrico en Modelo:Mvar letras é xerado polas transposicións adxacentes ${\sigma }_i=(i,i+1)$ que trocan Modelo:Mvar e Modelo:Math. A colección ${\sigma }_1,\dots ,{\sigma }_{n-1}$ xera Modelo:Math suxeito ás seguintes relacións:

• ${\sigma }_i^2=1,$
• ${\sigma }_i{\sigma }_j={\sigma }_j{\sigma }_i$ para $|i-j|>1$, e
• $({\sigma }_i{\sigma }_{i+1}{)}^3=1,$

onde 1 representa a permutación de identidade. Esta representación dota ao grupo simétrico da estrutura dun grupo de Coxeter (e así tamén dun grupo de reflexión).

Outros conxuntos xeradores posíbeis inclúen o conxunto de transposicións que trocan Modelo:Math e Modelo:Mvar por Modelo:Math, ou, de xeito máis xeral, calquera conxunto de transposicións que formen un gráfo conectado, e un conxunto que contén calquera Modelo:Mvar-ciclo e un Modelo:Math-ciclo de elementos adxacentes no Modelo:Mvar-ciclo.

Estrutura de subgrupos

Un subgrupo dun grupo simétrico chámase grupo de permutacións.

Subgrupos normais

Os subgrupos normais dos grupos simétricos finitos son ben entendidos. Se Modelo:Math, S_n ten como máximo 2 elementos, polo que non ten subgrupos propios non triviais. O grupo alterno de grao n é sempre un subgrupo normal, un propio para Modelo:Math e un non trivial para Modelo:Math; para Modelo:Math é de feito o único subgrupo normal propio non trivial de Modelo:Math, agás cando Modelo:Math onde hai un subgrupo normal adicional, que é isomorfo ao grupo de Klein 4.

O grupo simétrico nun conxunto infinito non ten un subgrupo de índice 2, xa que Vitali (1915) demostrou que cada permutación pode escribirse como un produto de tres cadrados. (Calquera elemento cadrado debe pertencer a un subgrupo hipotético de índice 2, polo que tamén debepertencer o produto de calquera número de cadrados.)

Subgrupos máximos

Os subgrupos máximos de Modelo:Math divídense en tres clases: os intransitivos, os imprimitivos e os primitivos. Os subgrupos máximos intransitivos son exactamente os da forma Modelo:Math para Modelo:Math. Os subgrupos máximos imprimitivos son exactamente os da forma Modelo:Math, onde Modelo:Math é un divisor propio de n e "wr" denota o produto da entrelazado. Os subgrupos máximos primitivos son máis difíciles de identificar, pero coa axuda do teorema de O'Nan–Scott e a clasificación de grupos simples finitos, Modelo:Cita Harvard deron unha descrición bastante satisfactoria dos subgrupos máximos deste tipo, segundo Modelo:Cita Harvard.

Subgrupos de Sylow

Os subgrupos de Sylow dos grupos simétricos son exemplos importantes de grupos p. Descríbense máis facilmente en casos especiais:

Os p-subgrupos de Sylow do grupo simétrico de grao p son só os subgrupos cíclicos xerados polos p-ciclos. Hai Modelo:Math deses subgrupos simplemente contando xeradores. Polo tanto, o normalizador ten orde Modelo:Math e coñécese como grupo Frobenius Modelo:Math (especialmente para Modelo:Math), e é o grupo linear xeral afín, Modelo:Math.

Subgrupos transitivos

Un subgrupo transitivo de S_n é un subgrupo cuxa acción sobre {1, 2, ,..., n } é transitiva. Por exemplo, o grupo de Galois dunha extensión (finita) de Galois é un subgrupo transitivo de S_n, para algúns n.

Subgrupos cíclicos

Os grupos cíclicos son aqueles que se xeran por unha única permutación. Cando unha permutación se representa en notación de ciclo, a orde do subgrupo cíclico que xera é o mínimo común múltiplo das lonxitudes dos seus ciclos. Por exemplo, en SModelo:Sub, un subgrupo cíclico de orde 5 é xerado por (13254), mentres que os maiores subgrupos cíclicos de SModelo:Sub son xerados por elementos como (123)(45) que teñen un ciclo de lonxitude 3 e outro ciclo de lonxitude 2. Isto descarta moitos grupos como posibles subgrupos de grupos simétricos dun determinado tamaño. Por exemplo, SModelo:Sub non ten ningún subgrupo de orde 15 (un divisor da orde de SModelo:Sub), porque o único grupo de orde 15 é o grupo cíclico. A maior orde posible dun subgrupo cíclico (equivalentemente, a maior orde posible dun elemento en SModelo:Sub) vén dada pola función de Landau.

Grupo de automorfismos

n	Aut(Sn )	Out(Sn )	Z(Sn )
n ≠ 2, 6	Sn	C1	C1
n = 2	C1	C1	S2
n = 6	S6 ⋊ C2	C2	C1

Para Modelo:Nowrap, S _n é un grupo completo: o seu centro e o seu grupo de automorfismos externos son triviais.

Para Modelo:Nowrap, o grupo de automorfismos é trivial, pero S₂ non é trivial: é isomorfo a C₂, que é abeliano e, polo tanto, o centro é todo o grupo.

Para Modelo:Nowrap, ten un automorfismo exterior de orde 2: Modelo:Nowrap, e o grupo de automorfismos é un produto semidirecto Modelo:Nowrap.

De feito, para calquera conxunto X de cardinalidade que non sexa 6, cada automorfismo do grupo simétrico en X é interior, un resultado primeiro debido a Modelo:Cita Harvard segundo Modelo:Cita Harvard.

Véxase tamén

Bibliografía

• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro.
• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro

Outros artigos

• Grupo de simetría.
• Grupo de permutacións.
• Grupo cíclico.

Ligazóns externas

• Modelo:Springer
• Modelo:Mathworld
• Modelo:Mathworld
• Marcus du Sautoy: Symmetry, reality's riddle (video of a talk)
• OEIS Entries dealing with the Symmetric Group