Permutaciones y Grupo Sim etrico

Jos e Luis Chac on

Introducci on
Generalizaciones de la f ormula cuadr atica para polinomios c ubicos y cu articos fueron descubiertos en el siglo XVI, y uno de los mayores problemas matem aticos desde entonces fue encontrar f ormulas an alogas para las ra ces de polinomios de mayor grado; todos los intentos fracasaron. A mediados del siglo XVIII se entendi o que las permutaciones de las ra ces de un polinomio f (x) era importante; por ejemplo, se conoci o que los coecientes de f (x) son funciones sim etricasde sus ra ces. En 1770 J.-L. Lagrange us o permutaciones para analizar las f ormulas dadas las ra ces de c ubicas y cu articas, pero no desarroll o completamente esta visi on puesto que vio en las permutaciones s olo rearreglos, y no biyecciones que pueden componerse.Composici on y permutaci on aparece en el trabajo de P. Runi y de P. Abbati cerca de 1800; en 1815, A.L. Cauchy estableci o el c alculo de permutaciones, y este punto de vista fue usado por N.H. Abel en su prueba (1824) de que existen polinomios qu nticos para los cuales no existe generalizaci on de la f ormula cuadr atica. En 1830, E. Galois invent o los grupos, asociando a cada polinomio un grupo de permutaciones de sus ra ces, y prob o que existe una f ormula para las ra ces si y s olo si el grupo de permutaciones tiene una propiedad especial.
1

1.

Permutaciones

Denici on 1 Si X es un conjunto no vac o, una permutaci on de X es una biyecci on : X X . Denotamos el conjunto de todas las permutaciones de X por SX . Tiene importancia especial el caso cuando X = {1, 2, . . . , n} , aqu escribimos Sn en lugar de SX . Note que | Sn | = n! , donde | Y | denota el n umero de elementos del conjunto Y . En la epoca de Lagrange, una permutaci on de X = {1, 2, . . . , n} era vista como un rearreglo; esto es, como una lista i1 , i2 , . . . , in sin repeticiones de todos los elementos de X . Un rearreglo i1 , i2 , . . . , in dene una funci on : X X por (j ) = ij para toda j X . Esta funci on es una inyecci on puesto que en la lista no hay repeticiones; es sobreyectiva puesto que todos los elementos de
1 Es una traducci on de una parte del libro An Introduction to Theory of Groups de J.J. Rotman y se agregan ejercicios de Estructuras Algebraicas de Herstein

PERMUTACIONES

Permutaciones y Grupo Sim etrico

X aparecen en la lista. As cada rearreglo da una biyecci on. Rec procamente, cualquier biyecci on se puede denotar por dos las: = 1 1 2 2 ... ... n n

y la la inferior es un rearreglo de {1, 2, . . . , n} . Entonces las dos versiones de permutaci on, rearreglo y biyecci on, son equivalentes. La ventaja del nuevo punto de vista es que dos permutaciones de SX , pueden ser multiplicadas, por ser la composici on de biyecciones una biyecci on. Ejercicios 1.1 1.1 La funci on identidad 1X sobre un conjunto X es una permutaci on, y usualmente se denota por 1 . Pruebe que 1 = = 1 para cualquier permutaci on X . 1.2 Para cada SX , pruebe que existe SX tal que = 1 = . 1.3 Para todo , , SX , pruebe que ( ) = ( ) Problemas 1.2 1. Para Sn denimos la potencia k - esima de sigma por recurrencia sobre los enteros positivos de esta manera: 0 = 1, n+1 = n y si n < 0 se dene n = ( 1 )n . Pruebe: a) b) n m = m n para enteros n, m. n+m = m n para enteros n, m.

c ) nm = ( n )m para enteros n, m. 2. Si Sn , i [n], pruebe que existe alg un entero positivo k , dependiendo de , tal que k (i) = i 3. Si Sn , pruebe que existe alg un entero positivo k , dependiendo de , tal que k = 1 4. Pruebe que hay un entero positivo k tal que k = 1 para toda Sn . 5. Si m < n, pruebe que existe una aplicaci on inyectiva F : Sm Sn tal que F ( ) = F ( )F ( ) para toda , Sm . 6. Dar dos permutaciones en S3 que no conmuten. 7. Si n 3, pruebe que existen permutaciones , Sn que no conmutan. Sugerencia. Para cualquier n > 3 verique que si y no conmutan entonces F () y F ( ) no conmutan. F es la funci on denida dos problemas arriba.

Matem aticas Discreta

Prof. Jos e Luis Chac on

CICLOS

Permutaciones y Grupo Sim etrico

8. Si Sn , pruebe que = 1 2 m para algunas i Sn tales que (i )2 = 1. Sugerencia. Por inducci on sobre el n umero de elementos que la permutaci on mueve, es decir, sobre el conjunto H = {i| (i) = i}. Luego probar que si (i) = j y se obtiene de as : (j ) = j , (i) = (j ) y (k ) = (k ) para k / {i, j } se tiene que = (ij ) donde (ij ) es una trasposici on (intercambio de los elementos i y j ). Adem as el n umero de elementos que mueve es menor que el n umero de elementos que mueve . Pueden ver la parte inicial de la siguiente secci on para informarse de las deniciones.

2.

Ciclos

Para distinguir importantes rasgos de permutaciones especiales usaremos una mejor notaci on. Denici on 2 Si i [n] y Sn , entonces ja i si (i) = i y mueve i si (i) = i . Denici on 3 Sean i1 , i2 , . . . , ir enteros distintos entre 1 y n . Si Sn ja los n r enteros restantes y si (i1 ) = i2 , (i2 ) = i3 , . . . , (ir1 ) = ir , (ir ) = i1 , entonces es un r-ciclo; se puede decir que es un ciclo de longitud r. Se denota por (i1 i2 . . . ir ) . Cada 1-ciclo ja un elemento de X , y as todos los 1-ciclos son iguales a la identidad. Un 2-ciclo, el cual es simplemente el intercambio de un par de elementos, es denominado trasposici on. La multiplicaci on es f acil cuando se usa la notaci on c clica. Por ejemplo, calculemos = , donde = (1 2) y = (1 3 4 2 5) . Puesto que la multiplicaci on es composici on de funciones, (1) = (1) = ( (1)) = (3) = 3 ; luego (3) = ( (3)) = (4) = 4 y (4) = ( (4)) = (2) = 1 . Resulta (1 2)(1 3 4 2 5) = (1 3 4)(2 5) Denici on 4 Dos permutaciones , SX son disjuntas si cada x movido por una es jado por la otra. En s mbolos, si (x) = x , entonces (x) = x y si (y ) = y entonces (y ) = y (por supuesto, es posible que existan elementos en X que sean jos por ambas permutaciones). Una familia de permutaciones 1 , 2 . . . m es disjunta si cada par de ellas es disjunta. Ejercicios 2.1 1.4 Pruebe que (i1 i2 ir1 ir ) = (i2 i3 ir i1 ) = (i3 i4 i1 i2 ) = = (ir i1 ir2 ir1 ) . Concluya que hay exactamente r de tales notaciones para cualquier r-ciclo. Matem aticas Discreta Prof. Jos e Luis Chac on

CICLOS

Permutaciones y Grupo Sim etrico

1.5 Si 1 r n , entonces existen

n r

(r 1)! r-ciclos en Sn .

1.6 Pruebe la ley de cancelaci on para permutaciones: si = , o bien = , entonces = . 1.7 Sean = (i1 i2 ir ) y = (j1 j2 js ) . Pruebe que y son disjuntos si y s olo si {i1 , i2 , . . . , ir } {j1 , j2 , . . . , js } = . 1.8 Si y son permutaciones disjuntas, entonces = ; esto es, y conmutan. 1.9 Si , Sn son disjuntas y = 1 , entonces = 1 = . 1.10 Si , Sn son disjuntas, pruebe que ( )k = k k para todo k 0 1.11 Muestre que la potencia de un ciclo no es necesariamente un ciclo. 1.12 (i) Sea (i0 i1 ir1 ) un r-ciclo. Para cada j, k 0 , pruebe que k (ij ) = ik+j si los sub ndices se leen modulo r. (ii) Pruebe que si es un r-ciclo, entonces r = 1 , pero que k = 1 para todo entero positivo k < r . (iii) Si = 1 2 . . . m es un producto de ri -ciclos i , entonces el entero positivo m as peque no l tal que l = 1 es el m nimo com un m ultiplo de {r1 , r2 , . . . , rm } . 1.13 (i) Una permutaci on Sn es regular si no ja puntos y es producto de ciclos disjuntos de la misma longitud o = 1 . Pruebe que es regular si y s olo si es una potencia de un n-ciclo ; esto es, = m para alg un m . (Sugerencia: 1 1 2 2 2 m m m Si = (x1 1 x2 xk )(x1 x2 xk ) . . . (x1 x2 xk ) , tome 1 2 m 1 2 k 1 2 m = (x1 x1 . . . x1 x2 x2 . . . x2 . . . xk xk . . . xk ) .) (ii) Si es un n-ciclo, entonces k es un producto de (n, k ) ciclos disjuntos, cada uno de longitud n/(n, k ) . (Recuerde que (n, k ) denota el m aximo com un divisor de n y k .) a) 1.14 Si p es primo, entonces cualquier potencia de un p-ciclo es o bien un p-ciclo o 1.

(i) Sea = en Sn , donde y son disjuntas. Si mueve a i, entonces k (i) = k (i) para todo k 0 . (ii) Sean y ciclos en Sn . Si existe i1 movido por ambas permutaciones y si k (i1 ) = k (i1 ) para todo entero positivo k , entonces = .

Matem aticas Discreta

Prof. Jos e Luis Chac on

EN CICLOS DISJUNTOS FACTORIZACION

Permutaciones y Grupo Sim etrico

3.

Factorizaci on en ciclos disjuntos

Teorema 3.1 Cada permutaci on Sn es, o bien un ciclo o un producto de ciclos disjuntos. Prueba. La prueba es por inducci on sobre el n umero k de puntos que son movidos por . El paso base k = 0 es verdadero, porque entonces es la identidad, el cual es un 1-ciclo. Si k > 0 , sea i1 un punto movido por . Dena i2 = (i1 ), i3 = (i2 ), . . . , ir+1 = (ir ) , donde r es el m as peque no entero para el cual ir+1 {i1 , i2 , . . . , ir } (la lista i1 , i2 , i3 , . . . , ik , dots no puede continuar por siempre sin repetici on ya que hay solamente n posibles valores). Obtenemos que (ir ) = i1 . En caso contrario, (ir ) = ij para alg un j 2 ; pero (ij 1 ) = ij , y esto contradice la hip otesis de que es una inyecci on. Sea el r-ciclo (i1 i2 ir ) . Si r = n entonces es el ciclo . Si r < n y Y consiste en los n r puntos restantes, entonces (Y ) = Y y ja los puntos de Y . Ahora | {i1 , i2 , . . . , ir } = | {i1 , i2 , . . . , ir } . Es decir la permutaci on restringida al conjunto {i1 , i2 , . . . , ir } es exactamente el ciclo . Si es la permutaci on tal que (Y ) = (Y ) y la cual ja {i1 , i2 , . . . , ir } entonces y son disjuntas, y adem as = . Puesto que mueve menos puntos que , la hip otesis inductiva muestra que , y por lo tanto , es producto de ciclos disjuntos. Usualmente se suprimen todos los 1-ciclos, ya que representan los puntos que no son movidos por la permutaci on. Si todos los ciclos son 1-ciclos entonces la permutaci on es la identidad. Por otro lado, algunas veces es conveniente mostrar todos los ciclos. Denici on 5 Una factorizaci on completa de una permutaci on es una factorizaci on de como producto de ciclos disjuntos los cuales contienen un 1-ciclo(i) por cada i jado por . En una factorizaci on completa de una permutaci on , cada i entre 1 y n aparece en exactamente uno de los ciclos. Teorema 3.2 Sea Sn y sea = 1 . . . t una factorizaci on completa en ciclos disjuntos. Esta factorizaci on es unica excepto por el orden en los cuales los factores aparecen. Prueba. Los ciclos disjuntos conmutan, por el ejercicio 1.8, as el orden de los factores en una factorizaci on completa no se determina de manera u nica; sin embargo, mostraremos que los factores mismos est an determinado de manera u nica. Puesto que existe exactamente un 1-ciclo por cada i jado por , es suciente probar la unicidad para los ciclos de longitud al menos 2. Suponga que = 1 . . . s es una segunda factorizaci on en ciclos disjuntos. Si t mueve k a i1 , entonces t (i1 ) = k (i1 ) para todo k por el ejercicio 1.14(i). Ahora, alg un j debe mover a i1 ; puesto que los ciclos disjuntos conmutan, podemos asumir k que j = s . Pero s (i1 ) = k (i1 ) para todo k , y por el ejercicio 1.14(ii)

Matem aticas Discreta

Prof. Jos e Luis Chac on

PERMUTACIONES PARES E IMPARES

Permutaciones y Grupo Sim etrico

se concluye t = s . La ley de cancelaci on, ejercicio 1.6, da 1 . . . t1 = 1 . . . s1 , y la prueba es completa por inducci on sobre max{s, t} . Ejercicios 3.3 1.15 Sea una permutaci on de {1, 2, . . . , 9} denida por (i) = 10 i . Escribir como un producto de ciclos disjuntos. 1.16 Sea p un primo y sea Sn . Si p = 1 , entonces, o bien = 1 , o es un p-ciclo, o es un producto de p-ciclos disjuntos. En particular, si 2 = 1 , entonces = 1 , es una trasposici on, o es producto de trasposiciones disjuntas. 1.17 Cuantas Sn existen con 2 = 1 ? (Sugerencia. (i j ) = (j i), y (i j )(k l) = (k l)(i j ) .) 1.18 Dar un ejemplo de permutaciones , , S5 con conmutando con , con conmutando con , pero no conmutando con .

4.

Permutaciones Pares e Impares

Existe otra factorizaci on de permutaciones que es u til.

Teorema 4.1 Toda permutaci on Sn es un producto de trasposiciones. Prueba. Por el teorema 3.1, es suciente vericarlo para los factores c clicos, y (1 2 . . . r) = (1 r)(1 r 1) . . . (1 2) Cada permutaci on puede entonces realizarse a trav es de una sucesi on de intercambios. Tal factorizaci on no es tan buena como la factorizaci on en ciclos disjuntos. Primero que todo, las trasposiciones que ocurren no son necesariamente conmutativas: (1 3)(1 2) = (1 2 3) y (1 2)(1 3) = (1 3 2) ; segundo, ni los factores, ni el n umero de factores est an u nicamente determinados; por ejemplo, (1 2 3) = (1 3)(1 2) = (2 3)(1 3) = (1 3)(4 2)(1 2)(1 4) = (1 3)(4 2)(1 2)(1 4)(2 3)(2 3) Existe alguna unicidad en todas estas factorizaciones? Probaremos que la paridad del n umero de factores es igual para todas las factorizaciones de una permutaci on : esto es, el n umero de trasposiciones es siempre par o es siempre impar. Denici on 6 Una permutaci on Sn es par si se puede escribir como un producto de un n umero par de trasposiciones; en otro caso, es impar. Matem aticas Discreta Prof. Jos e Luis Chac on

PERMUTACIONES PARES E IMPARES

Permutaciones y Grupo Sim etrico

No sabemos, por el momento, si existen permutaciones impares; no podemos decir que es cuando hay una factorizaci on en un n umero impar de trasposiciones, puesto que tal vez exista otra factorizaci on como un producto de un n umero par de trasposiciones. La denici on de permutaci on impar , despu es de todo, dice que no existe factorizaci on de en un n umero par de trasposiciones. Lema 4.1 Si k, l 0 , entonces (a b)(a c1 . . . ck b d1 . . . dl ) = (a c1 . . . ck )(b d1 . . . dl ) y (a b)(a c1 . . . ck )(b d1 . . . dl ) = (a c1 . . . ck b d1 . . . dl ) Prueba. El lado izquierdo env a a c1 c1 ; ci ci+1 ci+1 si i < k ; ck b a ; b d1 d1 ; dj dj +1 dj +1 si j < l ; dl a b . Similar evaluaci on en el lado derecho muestra que ambas permutaciones son iguales. Para la segunda ecuaci on, s olo multiplique ambos lados de la primera ecuaci on por (a b) a la izquierda. Denici on 7 Si Sn y = 1 . . . t es una factorizaci on completa en ciclos disjuntos, el signo de se dene por sgn() = (1)nt . De acuerdo al teorema 3.2 sgn esta bien denido. Si es una trasposici on, entonces mueve dos n umeros, digamos, i y j , y ja cada uno de los otros n 2 n umeros; por lo tanto, t = (n 2) + 1 = n 1 , y se sigue sgn( ) = (1)n(n1) = 1 Lema 4.2 Si Sn y es una trasposici on, entonces sgn( ) = sgn( ). Prueba. Sea = (a b) y sea = 1 t una factorizaci on completa de en ciclos disjuntos (existe un 1-ciclo por cada i jado por , y cada n umero entre 1 y n ocurre en un u nico ). Si a y b ocurren en el mismo , digamos en 1 , entonces 1 = (a c1 . . . ck b d1 . . . dl ) , donde k 0 y l 0 . Por el lema 4.1, 1 = (a c1 . . . ck )(b d1 . . . dl ), y as = ( 1 )2 t es una factorizaci on completa con un ciclo extra ( 1 se divide en dos ciclos disjuntos). Por lo tanto, sgn( ) = (1)n(t+1) = sgn( ) . La otra posibilidad es que a y b aparezcan en diferentes ciclos, digamos, 1 = (a c1 . . . ck ) y 2 = (b d1 . . . dl ) donde k 0 y l 0 . Pero ahora = ( 1 2 )3 t , y el lema 4.1 nos da 1 2 = (a c1 . . . ck b d1 . . . dl ). Por lo tanto, la factorizaci on completa de tiene un ciclo menos de los que tiene , y entonces sgn( ) = (1)n(t1) = sgn( ). Matem aticas Discreta Prof. Jos e Luis Chac on

PERMUTACIONES PARES E IMPARES

Permutaciones y Grupo Sim etrico

Teorema 4.2 Para todo , Sn , sgn( ) = sgn()sgn( ). Prueba. Supongamos que Sn es dado y que = 1 . . . m es una factorizaci on de en trasposiciones con m minimal. Probaremos, por inducci on sobre m, que sgn( ) = sgn()sgn( ) par cualquier Sn . El paso b asico es precisamente el lema 4.2. Si m > 1 , entonces la factorizaci on 2 . . . m es tambi en minimal: si 2 . . . m = 1 . . . q con cada j una trasposici on y q < m 1 , entonces la factorizaci on = 1 1 . . . q viola la minimalidad de m. Por lo tanto, sgn( ) = sgn(1 . . . m ) = sgn(2 . . . m ) = sgn(2 . . . m )sgn( ) = sgn(1 . . . m )sgn( ) = sgn()sgn( ). lema 4.2 Por hip otesis Por el lema 4.2

Teorema 4.3 (i) Una permutaci on Sn es par si y s olo si sgn() = 1 . (ii) Una permutaci on es impar si y s olo si es producto de un n umero impar de trasposiciones. Prueba. (i) Hemos visto que sgn( ) = 1 para cualquier trasposici on . Por lo tanto, si = 1 . . . q es una factorizaci on de en trasposiciones, entonces el teorema 4.2 nos da sgn = sgn(1 ) . . . sgn(q ) = (1)q . As , sgn() = 1 si y s olo si q es par. Si es par, entonces existe una factorizaci on con q par, y as sgn() = 1 . Rec procamente, si 1 = sgn() = (1)q , entonces q es par y por lo tanto es par. (ii) Si es impar, entonces no existe factorizaci on en un n umero par de trasposiciones, y de esta manera debe ser producto de un n umero impar de ellos. Rec procamente, si = 1 . . . q con q impar, entonces sgn() = (1)q = 1 , no es par, y por lo tanto es impar. Ejercicios 4.4 1.19 Muestre que un r-ciclo es una permutaci on par si y s olo si r es impar. 1. Calcule sgn() para = 1 9 2 3 8 7 4 5 6 5 6 7 4 3 8 2 9 . 1

1.20 Muestre que Sn tiene el mismo n umero de permutaciones pares como de permutaciones impares.(Sugerencia : Si = (1 2) , considere la funci on f : Sn Sn denida por f () = .) 1.21 Sean , Sn . Si y tienen la misma paridad, entonces es par; si y tienen paridad distinta, entonces es impar. Matem aticas Discreta Prof. Jos e Luis Chac on

PARIDAD (OTRA PERSPECTIVA)

Permutaciones y Grupo Sim etrico

5.

Paridad (otra perspectiva)

Para Sn , sea f =
1i<j n

(xi xj ) y para Sn denimos (f ) as (f ) =

1i<j n

(x(i) x(j ) )

Entonces el polinomio (f ) tiene los mismos factores de f , salvo el signo; si (i) < (j ), entonces (x(i) x(j ) ) es un factor de f y si (i) > (j ) entonces (x(i) x(j ) ) = (x(j ) x(i) ) es un factor de f . Es f acil vericar que si , Sn entonces ( ) (f ) = ( (f )). Denici on 8 Una permutaci on Sn se dice par si (f ) = f . Procederemos a probar que toda trasposici on es impar (no es par); para eso denimos inversi on. Denici on 9 Una inversi on es una trasposici on tal que sus componentes son n umeros consecutivos, es decir, es de la forma (i i + 1) para 1 i < n Tenemos el siguiente resultado Lema 5.1 Si es una inversi on, entonces es impar. Prueba. Supongamos que = (k k + 1), entonces el u nico factor que cambia de signo es (xk xk+1 ). Veremos porque es as
i,j { / k,k+1}

f=
i<j

(xi xj )
i<k

(xi xk )(xi xk+1 (xk xk+1 ) (xk xj )(xk+1 xj )

k+1<j

Veremos como act ua sobre cada grupo de factores observando que si f = gh entonces (f ) = (g ) (h). Tenemos entonces
i,j { / k,k+1} i,j { / k,k+1}

i<j

(xi xj )

=
i<j

(xi xj )

i<k

(xi xk )(xi xk+1

=
i<k

(xi xk )(xi xk+1

((xk xk+1 )) = (xk+1 xk ) = (xk xk+1 )

Matem aticas Discreta

Prof. Jos e Luis Chac on

PARIDAD (OTRA PERSPECTIVA)

Permutaciones y Grupo Sim etrico

k+1<j

(xk xj )(xk+1 xj )

=
k+1<j

(xk xj )(xk+1 xj )

De este modo se tiene que (f ) = f para cualquier inversi on .

Procedemos a probar el siguiente lema que arma que cualquier trasposici on es producto de un n umero impar de inversiones. Lema 5.2 Sea (k, t) una trasposici on tal que n t > k + 1 1, y sea j 1 tal que t = k + j entonces
j 1 j 1

(k, k + j ) =

(k + j + 1 r, k + j r) (k, k + 1)
r =1

(k + r + 1, k + r)
r =1

Prueba. Haremos una prueba por inducci on sobre 2 j n k . Si j = 2 se tiene que

1 1

(k + 3 r, k + 2 r) (k, k + 1)
r =1

(k + r + 1, k + r)
r =1

= (k + 2, k + 1)(k, k + 1)(k + 2, k + 1) = (k, k + 2) Supongamos que la ecuaci on vale para j < n k , entonces desarrollamos la ecuaci on para j + 1. Trabajamos con la expresi on
j

(k + j + 2 r, k + j + 1 r)
r =1

Hacemos un cambio de variable s = r 1 y separamos el primer t ermino

j

(k + j + 2 r, k + j + 1 r) =
r =1 j 1 j 1

=
s=0

(k + j + 2 (s + 1), k + j + 1 (s + 1)) =
j 1

(k + j + 1 s, k + j s)
s=0

= (k + j + 1, k + j )
s=1 j 1

(k + j + 1 s, k + j s)

= (k + j + 1, k + j )

(k + j + 1 r, k + j r)
r =1

Matem aticas Discreta

Prof. Jos e Luis Chac on

EJERCICIOS

Permutaciones y Grupo Sim etrico

Aplicamos esta identidad en la siguiente expresi on

j j

(k + j + 2 r, k + j + 1 r) (k, k + 1)
r =1 j 1

(k + r + 1, k + r)
r =1

= (k + j + 1, k + j )
j 1

(k + j + 1 r, k + j r) (k, k + 1)
r =1

(k + r + 1, k + r) (k + j + 1, k + j )
r =1

Por hip otesis inductiva se tiene

j 1 j 1

(k + j + 1 r, k + j r) (k, k + 1)
r =1

(k + r + 1, k + r)
r =1

= (k, k + j )

Luego, sustituyendo esta ecuaci on en la expresi on anterior se tiene

j j

(k + j + 2 r, k + j + 1 r) (k, k + 1)
r =1

(k + r + 1, k + r)
r =1

= (k + j + 1, k + j )(k, k + j )(k + j + 1, k + j ) = (k, k + j + 1) Esto culmina la prueba. De este modo tenemos que cualquier trasposici on es producto de un n umero impar de inversiones. Tenemos el siguiente resultado Teorema 5.1 Las trasposiciones son permutaciones impares

6.

Ejercicios

1. Sea = (a1 ar ), un ciclo de longitud r en Sn y sea Sn una permutaci on cualquiera, entonces 1 = ( (a1 ), . . . , (an )) 2. Las permutaciones (1 2) y (1 2 3 n) generan a Sn 3. Si p es primo y es un p-ciclo, entonces para todo 1 k < p se tiene que k es un p ciclo. 4. Si p es primo entonces cualquier trasposici on y p-ciclo de Sp genera a Sp . 5. El producto de dos trasposiciones es un 3-ciclo o producto de dos 3-ciclos. 6. Para n 3 el grupo An es generado por los 3-ciclos. 7. Demuestre que todo elemento de An es un producto de ciclos de orden n Matem aticas Discreta Prof. Jos e Luis Chac on

EJERCICIOS

Permutaciones y Grupo Sim etrico

8. An para n 3 es generado por ciclos de la forma (1 2 3), (1 2 4), . . . , (1 2 n) 9. Si N An y N contiene un 3-ciclo, entonces N = An 10. Sea n 5 y (e) = H An , entonces H tiene un ciclo de longitud 3. Soluci on. 1. Supongamos que (k ) / { (a1 ), . . . , (an )), entonces ( 1 )( (k )) = (k ). Si (k ) = (ai ) con 1 i < r, entonces ( 1 )( (ai ) = (ai+1 ), y ( 1 )( (n)) = (1) 2. Por lo anterior, siendo = (1 2) y = ((1 2 3 n) se tiene que k k = ( k (1) k (2)), y esto es (k k + 1) si 1 k < r y (1 n) si k = n. Tenemos que las trasposiciones (1 2), (2 3), (3 4), . . . , (n (n 1), (1 n) son generadas. Adem as (1 2)(2 3)(1 2) = (1 3) y de este modo (1 3), es generada; procedemos por inducci on, observando que (1 k )(k k +1)(1 k ) = (1 k + 1); de este modo se tiene que todas las trasposiciones (1, k ) son generadas. Puesto que (1 r)(1 k )(1 r) = (r k ) tenemos que todas las trasposiciones son generadas y como toda permutaci on es producto de trasposiciones tenemos que es generado Sn . 3. Veremos inicialmente que si es un n-ciclo, entonces para todo k tal que (n, k ) = 1 se tiene que k es un n-ciclo. Si = (i1 i2 i3 in ) debemos probar que rk (i1 ) debe recorrer todos los valores is con s = 1, 2, . . . , n, es decir, para todo s [n] existe r [n] tal que rk (i1 ) = is ; sabemos que rk (i1 ) = i[1+rk] donde [1 + rk ] es el resto m odulo n; en consecuencia debemos probar que la ecuaci on kx +1 s(n) tiene soluci on para todo s [n]. Puesto que (k, n) = 1 se tiene que existen t, m tales que mk + tn = 1, entonces s1 = km(s1)+nt(s1) y en consecuencia km(s1) s1(n). Quedo demostrado. En particular, si p es primo se tiene (k, p) = 1 para todo 1 k < p, y por lo previo k es un p-ciclo siempre que sea un p-ciclo. 4. Sea = (r t) una trasposici on y = (i1 i2 ip ) un p-ciclo, como estamos en Sp el p ciclo contiene todos los n umeros en [p], por lo tanto, podemos suponer, sin perder generalidad, que i1 = r. Entonces = (i1 is ) para alg un 1 s p; puesto que p es primo tenemos que s1 es un pciclo y tiene la forma s1 = (1 is ) de manera que renombrando las variables tenemos el p-ciclo = (j1 j2 j3 jp ) y la trasposici on = (j1 j2 ). Aplicamos k1 ( k1 )1 = (jk jk+1 ) para 1 k < p y generamos todos las trasposiciones que tienen la forma (jk jk+1 ). Por u ltimo generamos todas las trasposiciones posibles de esta manera: sea

Matem aticas Discreta

Prof. Jos e Luis Chac on

EJERCICIOS

Permutaciones y Grupo Sim etrico

(u v ) una trasposici on, entonces existen 1 r < s p tales que (u v ) = (is ir ), sea n tal que s = r + n. Procedemos por inducci on: puesto que (ir ir+1 )(ir+1 ir+2 )(ir ir+1 ) = (ir ir+2 ) tenemos la base inductiva. Supongamos que hemos generado la trasposici on (ir ir+k ), entonces (ir+k ir+k+1 )(ir ir+k )(ir+k ir+k+1 ) = (ir ir+k+1 ) Luego es posible generar (ir is ) para todo 1 r < s p y estas son todas las posibles trasposiciones y por lo tanto se genera Sp . 5. El producto de dos trasposiciones disjuntas (a b)(c d) es (a b)(c d) = (a b)(b c)(b c)(c d) = (a b c)(b c d) Si el producto es de la forma (a b)(a c) entonces (a b)(a c) = (a c b) La identidad se puede expresar (a b c)(a c b) 6. Seg un la prueba anterior todo elemento de An es un 3-ciclo o producto de 3-ciclos, pues todo elemento de An tiene una descomposici on en un n umero par de trasposiciones. Rec procamente todo 3-ciclo se encuentra en An pues (a b c) = (a c)(a b). 7. Basta notar que el producto entre = (i1 i2 i3 i4 in ) y la permutaci on que se obtiene de invirtiendo el orden de los elementos del tercer lugar en adelante, es decir, = (i1 i2 in in1 4 i3 ) resulta (i1 i3 i2 ). Formalmente se dene as : si k = 1 i2 , in , si k = 2 (ik ) = i , si k = 3 1 ik1 , si 4 k n De este modo el producto de dos n-ciclos adecuados generan un 3-ciclo determinado y por lo tanto todo An .

8. Basta probar que todo 3-ciclo (a b c) es generado por los dados o sus inversos (observe que (1 2 k )1 = (1 2 k )2 ). (1 2 c)(1 2 a)(1 2 b)(1 2 a)1 (1 2 c)1 = (a b c) La validez de la ecuaci on previa nos da el resultado esperado. Los c alculos se facilitan usando el resultado del ejercicio 1.

Matem aticas Discreta

Prof. Jos e Luis Chac on

EJERCICIOS

Permutaciones y Grupo Sim etrico

9. Sea (a b c) N entonces la normalidad de N sobre An garantiza (a b c) 1 N para toda An Veremos varios casos: Primer caso. (a b c) = (1 2 c), si n = 4 podemos suponer que c = 3 luego (1, 2, 3)1 N y as (1 3 2) N y por la normalidad se tiene (3 4)(1 3)(1 3 2)((3 4)(1 3))1 = (1 2 4) N y as tenemos que (1 2 3), (1 2 4) N . Si n > 4 elegimos k, r / {1, 2, c} y se verica (c r k )(1 2 c)(c r k )1 = (1 2 r) y (c k r)(1 2 c)(c k r)1 = (1 2 k ) y se cumple (1 2 k ) N para todo k / {1, 2}

Segundo caso. (a b c) = (2 1 c), entonces (2 1 c)1 = (1 2 c) N y estamos en el caso anterior.

Tercer caso. Supongamos que (a b c) = (1 b c) con b, c / {2}, se tiene que (1 c b) N y (b 2)(c 2)(1 b c)((c 2)(b 2))1 = (1 2 c) N (c 2)(b 2)(1 c b)((b 2)(c 2))1 = (1 2 b) N Para k / {1, 2, b, c} (b 2)(c k )(1 b c)((c k )(b 2))1 = (1 2 k ) N Cuarto caso. Si (a b c) = (2 b c) con b, c / {1} entonces (1 c)(1 b)(2 b c)((1 c)(1 b))1 = (1 2 c) N Siendo (2 c b) N se tiene (1 b)(1 c)(2 c b)((1 b)(1 c))1 = (1 2 b) N Sea k / {1, 2, b, c} entonces (1 c)(b k )(2 b c)((1 c)(b k ))1 = (1 2 k ) N Quinto caso. Sea (a b c) con a, b, c / {1, 2} tenemos (2 b)(1 a)(a b c)((2 b)(1 a))1 = (1 2 c) N Matem aticas Discreta Prof. Jos e Luis Chac on

EJERCICIOS

Permutaciones y Grupo Sim etrico

(2 a)(1 c)(a b c)((2 a)(1 c))1 = (1 2 b) N (2 c)(1 b)(a b c)((2 c)(1 b))1 = (1 2 a) N Si n > 5 sea k / {1, 2, a, b, c} y r / {1, 2, c, k }, entonces (c k )(r k )(1 2 c)((c k )(r k ))1 = (1 2 k ) N Hemos probado que si N es subgrupo normal de An que contiene un 3-ciclo (a b c) entonces contiene todos los 3-ciclos (1 2 k ) para todo k [n] \ {1, 2} y por el problema anterior se tiene que N contiene todos los 3-ciclos y por el problema 4 es todo An 10. Sea e = H y = 1 2 k una descomposici on de en ciclos y sea 1 uno de los ciclos de mayor longitud (esto es siempre posible porque ciclos disjuntos conmutan). Veremos tres casos: que el ciclo tenga longitud mayor que 3, que tenga longitud igual a 3, y que todos tengan longitud 2. Supongamos que 1 = (i1 i2 in ) con n > 3, entonces
1 1 1 (i1 i2 i3 )1 (i1 i2 i3 )1 = 1 (i2 i3 i1 i4 i5 in ) 1 es f acil vericar que 1 (i2 i3 i1 i4 i5 in ) = (i1 i3 in ). En consecuencia, por ser H un subgrupo normal de An , se tiene que

1 (i1 i2 i3 )(i1 i2 i3 )1 H Ahora

1 1 (i1 i2 i3 )(i1 i2 i3 )1 = 1 (i1 i2 i3 )1 (i1 i2 i3 )1 1 1 1 Esto se debe a que 1 = 1 2 n por ser i j = j i y por ser

(i1 i2 i3 )(i1 i2 i3 )1 = (i1 i2 i3 )1 (i1 i2 i3 )1 2 n ya que (i1 i2 i3 )j = j (i1 i2 i3 ) para 2 j n. De este modo se tiene que (i1 i2 in ) H El caso en que el ciclo de mayor longitud es mayor que 3 esta demostrado. Veremos a continuaci on el caso en el que el ciclo de mayor longitud es 3. Supongamos que 1 = (i1 i2 i3 ). Si hay al menos otro de longitud 3 entonces = (i1 i2 i3 )(i4 i5 i6 )3 k Por ser H subgrupo normal de An , se tiene que (i1 i2 i4 )(i1 i4 i2 )1 H Desarrollando la expresi on (i1 i2 i4 )(i1 i4 i2 )1 = = (i1 i2 i4 )(i1 i2 i3 )(i4 i5 i6 )(i1 i4 i2 )(i1 i3 i2 )(i4 i6 i5 ) = = (i1 i2 i5 i3 i4 ) H Matem aticas Discreta Prof. Jos e Luis Chac on

EJERCICIOS

Permutaciones y Grupo Sim etrico

De nuevo (i1 i5 i4 )(i1 i2 i5 i3 i4 )(i1 i4 i5 ) = (i1 i5 i2 i4 i3 ) H Por u ltimo (i1 i2 i5 i3 i4 )(i1 i5 i2 i4 i3 ) = (i1 i3 i2 ) H As H tiene un 3-ciclo. Si la descomposici on en ciclos disjuntos tiene exactamente un 3-ciclo hay dos posibilidades: no hay m as ciclos y se cumple trivialmente que H tiene un 3-ciclo, o existe al menos un 2-ciclo; en este caso sea = (i1 i2 i3 )(i4 i5 )3 k donde los i son 2-ciclos, entonces, por ser los ciclos disjuntos y por ser 2 i = identidad se tiene (i1 i2 i4 )(i1 i4 i2 ) = (i1 i2 i4 )(i1 i2 i3 )(i4 i5 )(i1 i4 i2 )(i1 i2 i3 )(i4 i5 ) = (i1 i4 )(i3 i5 ) H De la normalidad de H sobre An se tiene (i1 i4 i3 )(i1 i4 )(i3 i5 )(i1 i3 i4 ) = (i1 i5 )(i3 i4 ) H y (i1 i2 i3 )(i1 i4 )(i3 i5 )(i1 i3 i2 ) = (i1 i5 )(i2 i4 ) H Luego (i1 i5 )(i3 i4 )(i1 i5 )(i2 i4 ) = (i2 i3 i4 ) H Este caso esta demostrado.

Veamos el caso en que la descomposici on en ciclos disjuntos contenga solo trasposiciones; por ser una permutaci on par debe tener un n umero par de trasposiciones. Supongamos que = (i j )(k l)3 4 k donde el producto es de trasposiciones disjuntas. Veremos inicialmente que, si H An y H , entonces existe una permutaci on H que tiene exactamente dos trasposiciones disjuntas. Puesto que (i j k ) An , tenemos que (i j k )(i j k )1 H As , por ser ciclos disjuntos ninguno de los i contienen a los elementos {i, j, k, l} y por lo tanto conmutan con los ciclos (i j ), (k l), (i j k ), (i j k )1

Matem aticas Discreta

Prof. Jos e Luis Chac on

REFERENCIAS

Permutaciones y Grupo Sim etrico

adem as (i )2 = identidad. Esto explica la siguiente secuencia (i j k )(i j k )1 = (i j )(k l)3 4 k (i j k )(i j )(k l)3 4 k (i j k )1 = (i j )(k l)(i j k )(i j )(k l)(i j k )1 = (i j )(k l)(j k )(i l) = (i k )(j l) Tenemos que = (i k )(j l) H . Usamos ahora la hip otesis n 5 para conseguir un ciclo de mayor longitud en H , existe r [n] tal que r / {i, j, k, l}, luego (i r l) An y por ser H normal en An se tiene que (i r l) (i r l)1 H Desarrollamos la expresi on (i r l) (i r l)1 = (i r l)(i k )(j l)(i r l)1 = (k r)(j i) Por ser H subgrupo se tiene (k r)(j i)(i k )(j l) H y (k r)(j i)(i k )(j l) = (i r k j l) Usando la normalidad de H sobre An se tiene (i j r)(i r k j l)(i j r)1 = (j i k r l) H y por ser H subgrupo (i r k j l)(j i k r l) = (i j r) H Obtenemos de esta manera un 3-ciclo en H .

Referencias
[1] Joshep J. Rotman. An Introduction to the Theory of Groups Graduate Texts in Mathematics. Springer-Verlag. 1994 North-Holland, 1977. [2] Thomas W. Hungerford. Algebra Graduate Texts in Mathematics. Springer-Verlag. 1974 [3] Thomas W. Hungerford. Abstract Algebra An Introduction Harcourt College Publishers. 1997. [4] I.N. Herstein. Algebra Abstracta Grupo Editorial Iberoamericano. 1988.

Matem aticas Discreta

Prof. Jos e Luis Chac on