Chapter 1 Permutaciones

1.1 Introduccin o

Las permutaciones son el ejemplo de grupo nito que ms se utiliza dentro de la teor de a a grupos. Su importancia se debe a que todo grupo es isomorfo a un grupo de permutaciones, por un lado, y por otro, el grupo de las permutaciones de las ra ces de un polinomio, permite determinar la solubilidad de una ecuacin algebrica asociada a l, resultado este o a e que se conoce con el nombre de Teor de Galois. a El problema de la resolucin de ecuaciones algebricas de grado superior a 4, fue o a atacado por el matemtico Noruego Niels Henrik Abel (1802-1829) quien en 1824 public a o una memoria titulada Sobre la Resolucin de Ecuaciones Algebricas, en donde se o a da la primera prueba de la imposibilidad de resolver en general la ecuacin de grado 5, o usando radicales. Dicho en otras palabras, Abel prob que no existe una frmula general para resolver o o ecuaciones de grado mayor que 4. Anteriormente Carl F. Gauss hab resuelto un famoso problema, planteado desde la a poca de los griegos sobre la posibilidad de construir con regla y comps un pol e a gono regular. Este problema se reduce a resolver la ecuacin o axn + b = 0 con a y b enteros, usando ra ces. El matemtico francs Evarist Galois (1810-1832) inspirandose en ambos trabajos, se a e plante el problema an ms general: o u a Dar un criterio para solubilidad de la ecuacin o an xn + an1 xn1 + + a1 x + a0 = 0 (1.1)

por medio de radicales. Galois obtuvo un mtodo muy interesante, que ha sido uno de los aportes ms grandes e a a la matemqtica, y en donde el grupo de permutaciones de las ra a ces del polinomio en 1

CHAPTER 1. PERMUTACIONES

(1.1) nos da toda la informacin necesaria. Este resultado dice La ecuacin (1.1) es o o soluble si y slo si el grupo de permutaciones de las ra o ces es soluble. Al nal de este cap tulo se da una demostracin completa de la simplicidad de los o grupos alternantes An para n 5, lo cual prueba que estos grupos no son solubles y este resultado es as equivalente a probar que la ecuacin (1.1) no se puede resolver por , o radicales.

1.2

Descomposicin C o clica

Sea S un conjunto nito de n elementos. Estudiaremos en detalle el grupo de permutaciones de S, el cual se denota por A(S). Sea S = {x1 , . . . , xn } entonces si es una permutacin de S podemos representarla o en la forma = donde x1 = xi1 , x2 = xi2 , . . . , etc. Podemos simplicar esta notacin, eliminado las x, para obtener o = 1 2 n i1 i2 . . . in x1 x2 xn xi1 xi2 . . . xin ,

As pues una permutacin del conjunto S, se puede representar, sin ambigedad, por o u una permutacin del conjunto {1, 2, . . . , n}. El conjunto de estas prmutaciones se denota o por Sn y se llama Grupo Simtrico de grado n. e Cuando se tienen dos permutaciones y en Sn , el producto se interpreta de la forma siguiente: (m) = ((m)), para todo m {1, 2, . . . , n}. Es decir, convenimos en leer el producto de permutaciones de izquierda a derecha. Otros autores lo hacen en sentido contrario, pero en todo este trabajo usamos siempre la misma convencin. o Por ejemplo si , en S6 son de la forma = 1 2 3 4 5 6 2 3 1 4 5 6

1 2 3 4 5 6 3 4 1 2 5 6

 1.2. DESCOMPOSICION C ICLICA Entonces = 1 2 3 4 5 6 4 1 3 2 5 6 1 2 3 4 5 6 1 4 2 3 5 6 = . y por lo tanto Sn no es abeliano, para n > 2. Sea Sn y m un elemento del conjunto {1, 2, . . . , n}.

= Ntese que o

Diremos que la permutacin : o 1 Mueve a m si (m) = m 2 Fija a m si (m) = m. El conjunto de los elementos de {1, 2, . . . , n} que son movidos por una permutacin , o se denota por A y se llama el soporte de la permutacin. o Por ejemplo, si y son las dos permutaciones dadas con anterioridad, tendremos: A = {1, 2, 3} y A = {1, 2, 3, 4} Dos premutaciones y 1 se dicen permutaciones disjuntas, si A A = . 1 En S6 consideremos las permutaciones = y = 1 2 3 4 5 6 1 2 3 6 5 4 1 2 3 4 5 6 3 2 1 4 5 6

entonces y son disjuntas. Sean 1 y 2 permutaciones disjuntas en Sn . Entonces ellas conmutan, es decir 1 2 = 2 1 . Sea m {1, 2, . . . , n} y consideremos las tres posibilidades: 1) 1 y 2 jan a m. 2) 2 mueve a m.

4 3) 1 mueve a m. 1 En este caso se tiene

CHAPTER 1. PERMUTACIONES

1 2 (m) = m = 2 1 (m) luego ellas conmutan. 2 Supongamos 1 (m) = m y 2 (m) = k con k = m. Entonces 1 (k) = k, pues 2 mueve a k. Luego 1 2 (m) = 2 (m) = k 2 1 (m) = 1 (k) = k es decir 1 2 (m) = 2 1 (m) 3 Si 1 (m) = t, con t = m, se tiene que 2 (m) = m. Adems 2 (t) = t, pues 1 mueve a t. Luego a 1 2 (m) = 2 (t) = t 2 1 (m) = 1 (m) = t esto es 1 2 (m) = 2 1 (m) Por lo tanto hemos probado que 1 2 = 2 1 Una permutacin Sn se llama un ciclo, si existen elementos s1 , s2 , . . . sk en el o conjunto {1, 2, . . . , s} tales que 1. Se tienen las relaciones (s1 ) = s2 , (s2 ) = s3 . . . (sk1 ) = sk y (sk ) = s1 . 2. La permutacin deja jo a todos los elementos de {1, 2, . . . , n} distintos de los si . o Para expresar la permutacin anterior, se usa la notacin c o o clica. = (s1 , s2 , . . . , sk ) El entero k en la denicin de arriba, se llama la longitud de la permutacin o o 1 La permuatcin S7 dada por o

 1.2. DESCOMPOSICION C ICLICA

1 2 3 4 5 6 7 5 1 3 4 7 6 2

es un ciclo, ella se denota por = (1, 5, 7, 2) Sea una permutacin de Sn y s {1, 2, . . . , n}, entonces el conjunto o s = {s, (s), 2 (s), . . .} se llama la rbita de s bajo la permutacin . o o Para todo s {1, 2, . . . , n} existe un entero positivo k, el cual depende de s. tal que s = {s, (s), . . . , k1 (s)}. Ntese que el conjunto o s, (s), 2 (s), . . . , n (s), . . . es nito. Luego debe haber repeticiones entre estos elementos y por lo tanto existen sub ndices i, j con i < j tales que i (s) = j (s) es decir, ij (s) = s Luego si, se toma t = i j y por lo tanto se cumple t (s) = s Sea k = min{t | t (s)} Armamos que los elementos s, (s), . . . , k1 (s) son todos distintos. En efecto, si hay una repeticin, digamos para h < , con 0 h < k y 0 < k o h (s) = (s) entonces
h

(s) = s,

y 0 h<k

Esto contradice la minimalidad de k y por lo tanto h (s) y (s) son distintos. Por otro lado, si n es cualquier entero positivo, se tiene

CHAPTER 1. PERMUTACIONES

n = p k + r, y por lo tanto

con 0 r < k

n (s) = pk+r (s) = r (pk (s)) = r (s)

Con esto se da n a la prueba.

Si es una permutacin en Sn , entonces la relacin en s o o s1 s2 s1 = i (s2 ), para algn i entero, es de equivalencia. u Adems cada clase de equivalencia es una rbita de la permutacin. El conjunto a o o {1, 2, . . . , n} queda as dividido en la unin de rbitas disjuntas. o o Cada rbita de origina la permutacin o o s, (s), . . . , Este tipo de permutacin se llama un ciclo. o Consideremos la permutacin o = 1 2 3 4 5 6 7 8 9 3 4 8 5 9 7 6 1 2
1

(s)

Entonces las distintas rbitas son o 1 = {1, 3, 8} 2 = {2, 4, 5, 9} 6 = {6, 7} y los ciclos correspondientes vienen dados por: c1 = (1, 3, 8) c2 = (2, 4, 5, 9) c3 = (6, 7) Toda permutacin se escribe como un producto de ciclos disjuntos. o

 1.2. DESCOMPOSICION C ICLICA

Descomponer el conjunto {1, 2, . . . , n} en la unin disjuntas de sus rbitas. Luego o o formar los ciclos c1 , . . . , ct . Armamos que = c1 ct En efecto, sea s {1, 2, . . . , n}. Entonces s aparece en slo uno de los ciclos, digamos o ci , luego c1 ct (s) = c1 ci (s) = c1 ci1 ((s)) = (s)

Un ciclo de longitud 2 se llama una transposicin. o Si es el ciclo = (s1 , . . . , st ), entonces se demuestra la frmula: o = (s1 , s2 )(s1 , s3 ) (s1 , st ) (1.2)

Toda permutacin se puede escribir como un producto de transposiciones. o Hemos probado que toda permutacin se escribe como un producto de ciclos. Si ahora o usamos la frmula (1.2), para descomponer cada ciclo como un producto de transposio ciones, se obtiene el resultado deseado. La permutacin del ejemplo anterior, puede ser descompuesta en ciclos: o = (1, 3, 8)(2, 4, 5, 9)(6, 7) = (1, 3)(1, 8)(2, 4)(2, 5)(2, 9)(6, 7)

Ejercicios
1 Sean y las permutaciones en S8 dadas por = 1 2 3 4 5 6 7 8 7 3 4 2 6 5 1 8 1 2 3 4 5 6 7 8 2 8 3 6 4 5 7 1

CHAPTER 1. PERMUTACIONES

Hallar a b c 1 1 d 3 3 e 1 2 Sea A el conjunto de permutaciones en S6 que conmutan con la permutacin = o (1, 2, 4). Probar que A es un subgrupo de S6 . Cul es el orden de A? a 3 Probar que el orden de un ciclo en Sn es igual a su longitud. 4 Probar la frmula en Sn o (1, 2, . . . , n)1 = (n, n 1, n 2, . . . , 2, 1) 5 Sea Sn . Sean a, b en {1, 2, . . . , n} y diremos que a y b estn relacionados si a a = t (b) para algn t . Probar que sta relacin es de equivalencia en {1, 2, . . . , n}. u e o 6 Calcule el nmero de rbitas de = (3, 5, 7) en S9 . u o 7 Sean 1 y 2 dos ciclos disjuntos de ordenes m y n con (m, n) = 1. Probar que el orden de 1 2 es mn. 8 Sean 1 , . . . , s ciclos disjuntos de ordenes m1 , . . . , ms Cul es el orden de 1 . . . , s ?. a 9 Sea G = Dn el grupo didrico de grado n. Hallar la representacin de este grupo e o como un grupo de permutaciones en Sn .

1.3

Grupo Alternante

Una permutacin en Sn se llama permutacin par si se puede descomponer como un o o nmero par de transposiciones. u Si una permutacin se descompone como un nmero impar de transposiciones, eno u tonces diremos que es impar. Una permutacin no puede ser par e impar a la vez, como veremos a continuacin: o o Sea Sn una permutacin. Entonces no puede ser descompuesta como un producto o de un nmero par de transposiciones e impar de transposiciones simultneamente. u a La prueba la dividimos en dos casos: Caso I: Si = I la permutacin identidad. Entonces armamos que slo puede ser o o descompuesta como un nmero par de transposiciones. u En efecto, si

I = 1 k

(1.3)

1.3. GRUPO ALTERNANTE donde cada i es una transposicin, probaremos que k debe ser par. o

Sea s un entero en el conjunto {1, 2, . . . , n} tal que s es movido por algunas de las transposiciones en (1.3) y supongamos que j es la primera transposicin que mueve a o m. Entonces, debe ser j < k, pues si la ultima transposicin mueve a m, y ninguna de o las anteriores lo hace, el producto en (1.3) no es la identidad. Sea j = (m, x), donde x {1, 2, . . . , n}. Entonces tenemos dos posibilidades para la siguiente permutacin a la derecha j , la cual denotamos por j+1 . o 1 Si j+1 mueve a m, entonces el producto j j+1 se reduce a algunos de los siguientes casos: j j+1 = (x, m)(x, m) = I j j+1 = (x, m)(y, m) = (x, y)(x, m) 2 Si j+1 no mueve a m, entonces el producto j j+1 se expresa de alguna de las dos formas j j+1 = (x, m)(y, z) = (y, z)(x, m) j j+1 = (x, m)(x, y) = (x, y)(y, m) En conclusin se tiene que j+1 es la primera transposicin que mueve a m o bien m o o desaparece en (1.3), eliminando dos transposiciones. Continuando este proceso se pueden cancelar todas las transposiciones en (1.3), hasta tener la identidad en ambos lados. Luego k debe ser par. Caso II: Sea una permutacin cualquiera en Sn y consideremos dos posibles descomo posiciones de esta, como producto de transposiciones = 1 k = 1 t Luego 1 = 1 k (1 t )1 1 1 = 1 k t 1 = 1 k t 1

pues i es una transposicin, y por lo tanto o i1 = i . luego se tiene I = 1 k t 1 ,

10

CHAPTER 1. PERMUTACIONES

y usando el primer caso se concluye que + t debe ser par. Luego y t deben ser ambos pares o impares. Una permutacin en Sn , se dice par (respectivamente impar) si se puede expresar o como el producto de un nmero par (respectivamente impar) de transposiciones. u El producto de dos permutaciones pares es de nuevo una permutacin par. Adems si o a 1 es par, su inverso es tambin una permutacin par. e o Luego el conjunto de las permutaciones pares de Sn , es un grupo el cual se denomina Grupo Alternante de grado n y se denota por An .

Ejercicios
1. Probar que el grupo alternante An , es un subgrupo normal de Sn y tiene orden (An ) = n!/2 2. Determine cuales de las siguientes permutaciones en S8 son pares y cuales son impares. a (1, 2, 3)(5, 2) b (4, 5, 6, 7)(1, 2) c (1, 2, 3, 4)(7, 8) d (2, 8, 7, 6, 4, 5) e (2, 4, 5)(3, 8, 1) f (1, 8, 7)(2, 5, 4, 3, 6) 3. Sean y las permutaciones en S6 dadas por = (1, 2, 3)(4, 5) = (1, 5, 7, 4) Calcular a 1 b k k , para 2 k 6. 4. Hallar la descomposicin en ciclos de o = 1 2 3 4 5 6 7 8 9 10 11 12 10 1 4 6 5 12 11 9 8 2 7 3

5. Determine si la permutacin anterior es par. o 6. Demuestre que el producto de dos ciclos disjuntos en Sn es conmutativo. 7. Sea = (a1 , . . . , at ) un ciclo de Sn y Sn . Probar la frmula o 1 = ((a1 ), . . . , (at )).

1.4. GRUPO DE LAS SIMETR DEL CUBO IAS

11

8. Dos permutaciones y en Sn se dicen conjugadas, si existe otra permutacin o en Sn tal que = 1 . Halle todos los conjugados de la permutacin (1, 2, 3) en S5 . o 9. Demuestre que si dos ciclos son conjugados, entonces tiene la misma longitud.

1.4

Grupo de las simetr del cubo as

En esta seccin estudiaremos el grupo de las simetr del cubo, como un ejemplo imporo as tante de un grupo nito proveniente de la geometr En primer lugar, identicamos cada a. uno de los ocho vrtices del cubo con los nmeros 1, 2, 3, ..., 8 colocados en la posicin e u o dada por el dibujo.

Figure 1.1: Cubo En primer lugar estudiaremos las rotaciones del cubo. La manera de clasicarlas es considerando todos los posibles ejes de rotacin que dejan al cubo invariante. Es bastante o recomendable construir un cubo de cartulina u otro material para ser utilizado en esta tarea. I) Rotaciones de orden 4. Hay tres ejes de rotacin de orden 4, que pasan por los centros de cada una de los pares de o caras opuestas. Estos ejes los denotamos por {e1 , e2 , e3 }. Tenemos entonces 4 rotaciones en torno a cada uno de estos 3 ejes. Podemos identicarlas de la siguiente manera: 1 = Rotacin de 900 con respecto al eje e1 o 2 = Rotacin de 900 con respecto al eje e2 o 3 = Rotacin de 900 con respecto al eje e3 o

12

CHAPTER 1. PERMUTACIONES

Figure 1.2: Ejes de rotacin o Se supone que cada una de estas rotaciones se ejecuta en sentido contrario a las agujas del reloj. Cada una de estas rotacones origina un grupo de orden 4: {I, R, R2 , R3 }. Por lo tanto, estas tres rotaciones generan 9 rotaciones diferentes de la identidad:
2 3 2 3 2 3 R4 = {1 , 1 , 1 , 2 , 2 , 2 , 3 , 3 , 3 }

Usando la notacin matricial para estas permutaciones se tiene: o 1 =

2 1 =

1 2 3 4 5 6 7 8 2 3 4 1 6 7 8 5 1 2 3 4 5 6 7 8 3 4 1 2 7 8 5 6 1 2 3 4 5 6 7 8 4 1 2 3 8 5 6 7 1 2 3 4 5 6 7 8 5 6 2 1 8 3 4 1 2 3 4 5 6 7 8 8 7 6 5 4 3 2 1 1 2 3 4 5 6 7 8 4 3 7 8 1 2 6 5 1 2 3 4 5 6 7 8 2 6 7 3 1 5 8 4 1 2 3 4 5 6 7 8 6 5 8 7 2 1 4 3 1 2 3 4 5 6 7 8 5 1 4 8 2 3 7

= (1 2 3 4)(5 6 7 8) = (1 3)(2 4)(5 7)( 8 6) = (1 4 3 2)(5 8 7 6) = (1 5 8 4)(2 6 7 3) = (1 8)(2 7)(3 6)(4 5) = (1 4 8 5)(2 3 7 6) = (1 2 6 5)(3 7 8 4) = (1 6)(2 5)(3 8)(4 7) = (1 5 6 2)(3 4 8 7)

3 1 =

2 =
2 2 =

3 2 =

3 =
2 3 =

3 3 =

1.4. GRUPO DE LAS SIMETR DEL CUBO IAS

13

II) Rotaciones de orden 3. Hay 4 ejes de rotacin de orden 3, que pasan por los pares de vrtices opuestos. Esto da o e origen a 4 rotaciones y cada una de ellas origina un grupo de tres elementos {I, R, R2 }. Usaremos la notacin ij para indicar la rotacin de orden 3 cuyo eje de rotacin pasa por o o o los vrtices {i, j}. Estas 8 rotaciones son : e 1,7 = 2,8 = 3,5 = 4,6 =
2 1,7 =

1 2 3 4 5 6 7 8 2 5 6 2 4 8 7 3 1 2 3 4 5 6 7 8 3 2 6 7 4 1 5 8 1 2 3 4 5 6 7 8 8 4 3 7 5 1 2 6 1 2 3 4 5 6 7 8 8 5 1 4 7 6 2 3 1 2 3 4 5 6 7 8 1 4 8 5 2 3 7 6 1 2 3 4 5 6 7 8 6 2 1 5 7 3 4 8 1 2 3 4 5 6 7 8 6 7 3 2 5 8 4 1 1 2 3 4 5 6 7 8 3 7 8 4 2 6 5 1

= (2 5 4)(3 6 8) = (1 3 6)(4 7 5) = (1 8 6)(2 4 7) = (1 8 3)(2 5 7) = (2 4 5)(3 8 6) = (1 6 3)(4 5 7) = (1 6 8)(2 7 4) = (1 3 8)(2 7 5)

2 2,8 =

2 3,5 =

2 4,6 =

III) Rotaciones de orden 2. Hay 6 ejes de rotacin de orden 2. Ellos pasan por el punto medio de los pares de lados o opuestos del cubo. Ver la gura

Figure 1.3: Ejes de rotacin de orden 2 o Usaremos la notacin ij para indicar la rotacin cujo eje pasa por el punto medio del o o lado ij. Pasamos a continuacin a dar la representacin matricial de estos 6 elementos. o o

14

CHAPTER 1. PERMUTACIONES

12 = 23 = 34 = 41 = 15 = 26 =

1 2 3 4 5 6 7 8 2 1 5 6 3 4 8 7 1 2 3 4 5 6 7 8 7 3 2 6 8 4 1 5 1 2 3 4 5 6 7 8 7 8 4 3 6 5 1 2 1 2 3 4 5 6 7 8 4 8 5 1 3 7 6 2 1 2 3 4 5 6 7 8 5 8 7 6 1 4 3 2 1 2 3 4 5 6 7 8 7 6 5 8 3 2 1 4

= (1 2)(3 5)(4 6)(7 8) = (1 7)(2 3)(4 6)(5 8) = (1 7)(2 8)(3 4)(5 6) = (1 4)(2 8)(3 5)(6 7) = (1 5)(2 8)(3 7)(4 6) = (1 7)(2 6)(3 5)(4 8)

En total hay 23 rotaciones distintas de la identidad. Agregando la identidad nos da un total de 24 rotaciones para el cubo. Reexiones en el cubo En el cubo hay nueve planos de reexin, lo cual origina nueve simetr distintas a o as las anteriores.

Figure 1.4: Planos de reexin o Continua....