Grupo simtrico

De Wikipedia, la enciclopedia libre

En matemticas, el grupo simtrico sobre un conjunto X, denotado por SX

es el grupo formado por las funciones biyectivas (permutaciones) de X en
s mismo.

Cuando X es un conjunto finito, los subgrupos de SX se denominan grupos

de permutaciones. El teorema de Cayley afirma que todo grupo G es
isomorfo a un grupo de permutaciones (ie: un subgrupo del simtrico).

De especial relevancia es el grupo simtrico sobre el conjunto finito X =

{1,...,n}, denotado por Sn. El grupo Sn tiene orden n! y no es abeliano para
n3.
Grafo de Cayley de un grupo
simtrico de orden 4 (S4)

ndice
1 Composicin de permutaciones
2 Una presentacin del grupo
2.1 Generadores
2.2 Relaciones elementales
2.3 Otros generadores
3 Clases de conjugacin
4 Representaciones del grupo
4.1 Representaciones irreducibles
5 Referencias

Composicin de permutaciones
Hay diversas formas de representar una permutacin. Podemos escribir una permutacin en forma de matriz,
situando en primera fila los elementos del dominio 1, 2, 3..., y en la segunda las imgenes correspondientes
(1), (2), (3),....

Dada dos permutaciones, su composicin se realiza siguiendo las reglas usuales de composicin de funciones:

Si y

su composicin es:

El clculo de la composicin puede seguirse de un modo visual, recordando que al componer funciones se
opera de derecha a izquierda:
Una presentacin del grupo
Generadores
Recordemos que una trasposicin es una permutacin que intercambia dos elementos y fija los restantes. Toda
permutacin se descompone como producto de trasposiciones. De este modo, el conjunto de las trasposiciones
forma un sistema generador de . Pero es posible reducir an ms este sistema restringindonos a las
trasposiciones de la forma . En efecto, para i<j podemos descomponer cualquier trasposicin en
la forma:

Relaciones elementales
Estos generadores permiten definir una presentacin del grupo simtrico, junto con las relaciones:

,
,
.

Otros generadores
Es posible igualmente usar como sistema de generadores:

Las trasposiciones de la forma (1 i), con i>1.

El conjunto formado por solo dos generadores:la trasposicin =(1 2) y el ciclo c=(1 2 ... n).

Clases de conjugacin
Recordemos que toda permutacin puede ser descrita como producto de ciclos disjuntos, y esta descomposicin
es nica salvo el orden de los factores. Las clases de conjugacin de Sn se corresponden con la estructura de
dicha descomposicin en ciclos: dos permutaciones son conjugadas en Sn si y slo si se obtienen como
composicin del mismo nmero de ciclos disjuntos de las mismas longitudes. Por ejemplo, en S5, (1 2 3)(4 5) y
(1 4 3)(2 5) son conjugados; pero (1 2 3)(4 5) y (1 2)(4 5) no.

El grupo S3, formado por las 6 permutaciones de tres elementos tiene tres clases de conjugacin, listadas con
sus nmeros de elementos:

La identidad (abc abc) (1)

Las permutaciones que intercambian dos elementos (abc acb, abc bac, abc cba) (3)
Las permutaciones cclicas de los 3 elementos (abc bca, abc cab) (2)

El grupo S4, consistente en las 24 permutaciones de 4 elementos tiene 5 clases de conjugacin:

 La identidad (1)
Las permutaciones que intercambian dos elementos (6)
Las permutaciones que intercambian cclicamente tres elementos (8)
Las permutaciones cclicas de los cuatro elementos (6)
Las permutaciones que intercambian dos elementos entre s, y tambin los dos restantes (3)

En general, cada clase de conjugacin en Sn se corresponder con una particin entera de n y podr ser
representada grficamente por un diagrama de Young. As, por ejemplo, las cinco particiones de 4 se
corresponderan con las cinco clases de conjugacin listadas anteriormente:

1. 1 + 1 + 1 + 1
2. 2 + 1 + 1
3. 3 + 1
4. 4
5. 2 + 2

Representaciones del grupo

Si asociamos a cada permutacin su matriz permutacin obtenemos una representacin que en general no es
irreducible.1

Representaciones irreducibles

Referencias
1. Sternberg, Shlomo Group Theory and Physics. Cambridge University Press, 1994. ISBN 0 521 24870 1

Obtenido de https://es.wikipedia.org/w/index.php?title=Grupo_simtrico&oldid=99001344

Categoras: Combinatoria enumerativa Teora de grupos Simetra

Se edit esta pgina por ltima vez el 10 may 2017 a las 02:20.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.