miniatura|320x320px| Un grafo de Cayley do grupo simétrico S4 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 definido sobre un conxunto finito de símbolos consiste nas permutacións que se poden realizar sobre símbolos. Xa que hai un número de ( factorial) de operacións de permutación, a orde (número de elementos) do grupo simétrico é .
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 , daquela é isomorfo a un subgrupo de .
Definición e primeiras propiedades O grupo simétrico nun conxunto finito é o grupo cuxos elementos son todas as funcións bixectivas de a 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 é o grupo simétrico do conxunto .
O grupo simétrico nun conxunto denótase de varias maneiras, incluíndo , , , , e . Se é o conxunto daquela o nome pódese abreviar a , , , ou .
Os grupos simétricos en conxuntos infinitos compórtanse de forma bastante diferente dos grupos simétricos en conxuntos finitos, e son discutidos en , e .
O grupo simétrico nun conxunto de elementos ten orde (o factorial de ). É abeliano se e só se é menor ou igual a 2. Para e (o conxunto baleiro e o conxunto unitario), os grupos simétricos son triviais (teñen orde ). O grupo Sn é resolúbel se e só se . Esta é unha parte esencial da demostración do teorema de Abel-Ruffini que demostra que para cada hai polinomios de grao 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 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):
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
Un ciclo de lonxitude , tomado á potencia k-ésima, descompoñerase en k ciclos de lonxitude m: Por exemplo, ( , ),
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.
A operación de composición de funcións está pechada no conxunto de permutacións do conxunto dado X. A composición da función é sempre asociativa. A bixección trivial que asigna cada elemento de X a si mesmo serve de identidade para o grupo. 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:
Con esta definición,
é 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 An. É un subgrupo normal de Sn, e para ten elementos. O grupo Sn é o produto semidirecto de An 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 . Por exemplo, a permutación g enriba tamén se pode escribir como . 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 2 (x), ... , f k (x) = x son os únicos elementos movidos por f ; convencionalmente requírese que xa que con tampouco non se movería o propio elemento x. A permutación h definida por
é un ciclo de lonxitude tres, xa que , e , deixando 2 e 5 intactos. Denotamos tal ciclo por , mais igualmente podería escribirse ou 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 S6 existe a igualdade . Todo elemento de Sn 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 , esta propiedade utilízase a miúdo para obter os seus as relacións.
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:
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 , .
Esta é unha involución, e consiste en transposicións (non adxacentes).
polo que ten signo:
que é 4-periódico en n.
En S2n, a mestura perfecta é a permutación que divide o conxunto en 2 pilas e as intercala. O seu signo tamén é
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 Sn corresponden aos tipos de ciclo de permutacións; é dicir, dous elementos de Sn conxúganse en Sn se e só se consisten no mesmo número de ciclos disxuntos da mesma lonxitude. Por exemplo, en S5, (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 Sn 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, 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, Está claro que tal permutación non é única.
As clases de conxugación de Sn corresponden a particións enteiras de n: á partición con e , está asociada ao conxunto Cμ de permutacións con ciclos de lonxitudes . Daquela C μ é unha clase de conxugación de Sn, cuxos elementos se di que son de tipo ciclo .
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.
S0 e S1 Os grupos simétricos do conxunto baleiro e do conxunto unitario son triviais, o que corresponde a . 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 S0, o seu único membro é a función baleira.
S2 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.
S3 S3 é 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 S3 a S2 corresponde á resolución cadrática dun polinomio cúbico, segundo o descubriu Gerolamo Cardano.
S4 O grupo S4 é 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 A4, S4 ten un grupo de Klein-4 como subgrupo normal propio, é dicir, as transposicións pares co cociente S3. 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.
S5 S5 é o primeiro grupo simétrico non resolúbel. Xunto co grupo linear especial e o grupo icosaédrico , S5 é un dos tres grupos non resolúbeis de orde 120, ata isomorfismo. S5 é o grupo de Galois da ecuación quíntica xeral, e o feito de que 5 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 como subgrupo transitivo; o mapa de inclusión obvio fixa un punto e polo tanto non é transitivo. Isto produce o automorfismo externo de S6, que se comenta a continuación, e corresponde ao resolvente séxtico dunha quintica.
S6 A diferenza de todos os outros grupos simétricos, S6, 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 e do mapa de signos , os homomorfismos máis notables entre grupos simétricos, por orde de dimensión relativa, son:
correspone ao subgrupo normal excepcional ; corresponde ao automorfismo dexterno de S6. como grupo transitivo, produce o automorfismo externo de S6 segundo visto enriba.
Tamén hai moitos outros homomorfismos onde . .
Relación co grupo alterno Para , o grupo alternante An é simple e o cociente inducido é o mapa de signos: que se divide tomando unha transposición de dous elementos. Así, Sn é o produto semidirecto , e non ten outros subgrupos normais propios, xa que se cruzarían con An na identidade (e, polo tanto, serían eles mesmos a identidade ou un grupo de 2 elementos, o que non é normal), ou en An (e, polo tanto, eles mesmos serían An ou Sn).
Sn pódese embeber en An+2 engadindo a transposición a todas as permutacións impares, mentres que a incorporación en An +1 é imposible para .
Xeradores e relacións O grupo simétrico en letras é xerado polas transposicións adxacentes que trocan e . A colección xera suxeito ás seguintes relacións:
para , e