Real Berm udez Jes us M.

June 15, 2003

1. 2. 3.

Real Berm udez Jes us M.

4.
4.1.

Permutaciones
El grupo sim etico
Recordemos que el grupo sim etrico de grado n n N es el grupo Sn = { : {1, ..., n} {1, ..., n}| es biyeccio n}

con la composici on. Si S1 , lo expresamos como: = y; 1 = Tambi en sabemos que |Sn | = n!. Sea Sn es de orden nito con | |||Sn | = n!. Si | | = k entonces < >= {e, , 2 , ..., k1 }. Ejemplo. Sea , S3 , donde = y; = y; = 1 2 3 ( (1)) ( (2)) ( (3)) = 1 2 3 (2) (3) (1) 2 3 3 2 = 1 2 2 1 3 3 1 2 2 3 3 1 1 3 2 2 3 1 (1) (2) ... (n) 1 2 ... n 1 2 ... n (1) (2) ... (n)

Veamos que = ya que: = 1 1

Denici on 4.1 Sea x X y sea SX . Decimos que ja a x si (x) = x y decimos que mueve a x si (x) = x. Denici on 4.2 Supongamos que Sn es tal que (i1 ) = i2 , (i2 ) = i3 ,..., (ir1 ) = ir , (ir ) = i1 . Y supongamos adem as que ja a los restantes n r enteros en {1, ..., n}. Entonces se llama un r-cilco o ciclo de longitud r. Denotemos a por: = (i1 i2 ...ir ). Nota El u nico 1 ciclo en Sn es la funci on identidad. Denici on 4.3 Un 2 ciclo en Sn se le llama transposici on. Ejemplos 1 2 1 5 2 1 2 3 3 4 3 4 4 1 4 2 5 3

= =

1 1

2 5

3 3

4 4

S4 2 S5

1 4

2 3

3 4 2 5

5 1

Observaciones Si Sn es un r ciclo, entonces | | = r. Denici on 4.4 Dos permutaciones , Sn se dicen disjuntas o ajenas si cada x que es movido por una, es jado por la otra. Es decir, si (x) = x, entonces (x) = x y si (y ) = y , entonces (y ) = y . Puede ocurrir que (z ) = z = (z ) para alg un z. Una familia de permutaciones 1 , ..., m se dice disjunta, si cada para de ellas son disjuntas. Por ejemplo, las permutaciones: 1 5 y 1 2 1 4 son disjuntas. Proposici on 4.5 1. Si , Sn son disjuntas, entonces = . 2. Si , Sn son disjuntas y = e, entonces = = e. Demostraci on 1) Sea x [1, ..., n] 1. Si (x) = x = (x), entonces: ( )(x) = ( (x)) = (x) = x ()(x) = ((x)) = (x) = x Por lo tanto ( )(x) = ()(x). 2. Supongamos que (x) = x (x) = x. Sea y (x), no tenemos que esto implica que (y ) = y (pues es una funci on inyectiva). ( )(x) = ( (x)) = (x) = y ()(x) = ((x)) = (y ) = y Por lo tanto ( )(x) = ()(x) 3. Similarmente se demuestra el caso en que (x) = x. 2) Supongamos que = e entonces existe x {1, ..., n} tal que (x) = x (x) = x sea y = (x) = x. Luego x = e(x) = ( )x = ( )x = ( (x)) = (x) = y . Lo cual es una contradicci on. q.e.d. Teorema 4.6 Toda permutaci on de Sn es un ciclo o es producto de ciclos disjuntos. Demostraci on Sea Sn y sea k el n umero de puntos movidos por . Procedamos por inducci on sobre k. Si k = 1, entonces mueve solamente a 1 punto, pero esto s olo es posible si = e y sabemos que e es un 1 ciclo. Supongamos ahora que el resultado se cumple para toda permutaci on que mueve k 1 o menos elementos, con k > 1. Puesto que = e, sea i1 {1, ..., n} un elemento movido por . 3 3 4 3 2 5 5 = 2 4 2 3 2 1 4 5 4 3 = 1 5 3

Denamos i2 = (i1 ) = i1 , i3 = (i2 ) = 2 (i1 ), ..., ir+1 = (ir ), donde r es el menor natural tal que ir+1 {i1 , i2 , ..., ir }. Armemos que ir+1 = i1 , pues si ir+1 = ij , con j {2, ..., r}, entonces. (ij 1 ) = ij = ir+1 = (ir ) ij 1 = ir j 1 = r j = r + 1. Lo cual es una contradicci on. Por lo tanto ir+1 = i1 = (ir ). Consideremos el ciclo = (i1 , i2 , ..., ir ) si se tuviese que r = k , terminamos, pues se tendr a = y ser a un k ciclo. Supongamos que r < k . Sea {i1 , i2 , ..., ir , j1 , j2 , ..., jkr } = A el conjunto de puntos que mueve . Sea Y = {j1 , j2 , ..., jkr }. Denamos Sn tal que |Y = |Y y ja a todo elemento en {1, ..., n} \ Y . Notemos que = y y son disjuntas. Puesto que mueve k r < k puntos, por hip otesis de inducci on, es un ciclo o producto de ciclos disjuntos, digamos = 1 2 ...s . Por lo tanto = 1 2 ...s q.e.d. Teorema 4.7 La factorizaci on de cualquier permutaci on Sn \ {e} como producto de ciclos disjuntos de longitud mayor o igual a 2, es u nica salvo orden. Demostraci on Sea Sn y sup ogase que = 1 t y = 1 s , con i , j son ciclos de longitud mayor o igual a 2. Sea i1 [1, n] tal que 1 (i1 ) = i1 existe j (i1 ) = i1 . Puesto que los ciclos 1 , ..., s son disjuntos, entonces conmutan podemos suponer entonces que el j anterior es 1 . m Lo anterior implica que (i1 ) = (i1 ) = 1 (i1 ) m (i1 ) = betam y 1 son ciclos de la misma 1 (i1 ) = (i1 ) 1 longitud, pues son los u nicos que mueven al i1 .
i1 r Por otro lado se tiene que 1 (i1 ) = i1+r y 1 = i1+r = 1 (ir ) = 1 (ir ) 1 = 1 en {i1 , i2 , ..., im } y como 1 y 1 dejan jos a todos los elementos de {1, ..., n} \ {i1 , ..., im }, concluimos que 1 = 1 . De = 1 t = 1 s 2 t = 2 s . Continuando con el mismo razonamiento, vamos cancelando los ciclos iguales y si s > t, entonces: e = t+1 s t+1 = ... = s = e. Lo que es una contradicci on. Por lo tanto s = t.

q.e.d. Corolario 1 el orden de Sn es igual al m nimo com un m ultiplo de los ordenes de sus ciclos. Corolario 2 Toda permutaci on Sn puede representarse (no de manera u nica) como producto de transposiciones. Demostraci on Es suciente probar que todo ciclo es producto de transposiciones. i1 i2 ... ir = i1 ir ... i1 i4 i1 i3 i1 i2 q.e.d. Ejemplos 15 32 = 1 2 1 3 1 5 2 3 2 5 2 1 1 2 2 3 1 2 3 1 3 5 Denici on 4.8 4

= =

Sea Sn , se dice par (respectivamente impar ) si se escribe como producto de una cantidad par (impar) de transposiciones. Denici on 4.9 El signo de una permutaci on se dene como sigue: sgn() =
+1 1 si si es es par. impar

Sea : Sn {1, 1} = C2 dada por: () =

+1 1 si si es es par } impar

es epimorsmo. Pues (e) = 1 y ((12)) = 1, por lo que es suprayectiva. es homomorsmo. Considrando diferentes casos. ( y par o par, impar o y theta impares), se demuestra que en efecto, es un homomorsmo. N = { Sn |( ) = 1} = { Sn | es par}

Sn

Adem as Sn /N C2 |Sn |/|N | = 2, entonces |N | = 1 2 |Sn |. Esto nos dice que la mitad de los elementos de Sn son permutaciones pares. Al subgrupo normal N se llama el grupo alternante y se denota por An . Denici on 4.10 EL grupo alternante de grado n, denotado por An , es el grupo de Sn que consiste de todas las permutaciones pares. Proposici on 4.11 Sea n 3. Entonces An est a generado por los 3 ciclos. Demostraci on Basta demostrar que el producto de dos transposiciones es producto de 3 ciclos. a b c d = b c a c d b q.e.d. Teorema 4.12 Sea n > 2. Entonces An es el u nico subgrupo de Sn de ndice 2. Demostraci on Sea H Sn tal que [Sn : H ] = 2 |H | = |An |. Basta demostrar que An H y con esto haremos que todos los 3 ciclos est en contenidos en H. Notemos que Sn , se tiene que 2 H . Sea un 3 ciclo, entonces | | = 3 4 = ya que 4 = ( 2 )2 H y ( 2 )2 = H . q.e.d. Observaciones 1. 2. El signo de una transposici on es -1. El signo de un r ciclo es (1)r1 i1 i2 ... ir = i1 ir ... i1 i3 r1 i1 i2

3.

3 ... m

m 1 ... 3

Denici on 4.13 Se dice que los elementos de , Sn tienen la misma estructura en ciclos, si para cada r 1, el n umero de r ciclos en es igual al n umero de r ciclos en . Denici on 4.14 Si G es un grupo, la relaci on x es un conjugado de y en G es una relaci on de equivalencia en G; las clases de equivalencia son llamadas clases conjugadas. Como un ejemplo, Si G es el grupo multiplicativo de todas las matrices nosingulares de n n sobre un campo, entonces 2 matrices quedan en la misma clase de conjugaci on si y s olo si ellas son similares. Ahora, x e y son de la misma clase de conjugaci on si existe un elemento a G con y = axa1 = xa . Existe entonces un isomorsmo : G G (llamada, conjugaci on por a) con y = (x). Se sigue que todos los elementos en la misma clase de conjugaci on tienen el mismo orden. Una consecuencia interesante es que, para cualesquiera dos elementos a, b G, ab y ba tienen el mismo orden. Un elemento x G es el solo residente de su clase de conjugaci on si x = axa1 a G, es decir, x conmuta con todo elemento en G. En un grupo Abeliano, por lo tanto, las clases de conjugaci on no son de mucho inter es. Denici on 4.14 El centro de G, denotado por Z (G), es el conjunto de todas las x G que conmutan con todo elemento de G. Teorema 4.15 Sean , Sn , entonces , son conjugados si y s olo si tienen la misma estructura en ciclos. Demostraci on ) Supongamos que es un r ciclo, digamos = 1 Escribamos (i ) = bi con i = 1, ..., r bi = bj . Notemos que bi = bj si i = j , y escribamos b1 = br+1 . 2 3 ... r Sn y sea Sn .

1 (bi ) = (i ) = (i+1 ) = bi+1 Se demuestra que 1 deja jo a todo elemento de {1, 2, ..., n} \ {b1 , ..., br }. Luego 1 = = b1 b2 b3 ... br (1)

(1 ) (2 ) ... (r ))

Psemos al caso m as general; es decir, supongamos que Sn es una permutaci on en ciclos disjuntos es: = 1 2 ...t . Dado Sn 1 = 1 1 2 1 ... 1 t 1 Por lo anterior c \ i 1 es un ciclo de la misma longitud que i . Por lo tanto 1 tiene la misma estructura en ciclos que . ) Rec procamente, sean , Sn con la misma estructura en ciclos, digamos = y = z1 z2 ... zi1 y1 y2 ... yi2 ... n1 n2 ... nin a1 a2 ... ai1 b1 b2 ... bi2 ... n1 n2 ... nin

En donde los ciclos aparecen en orden creciente en cada una de las permutaciones e incluimos los ciclos de orden 1. Deniendo : {1, ..., n} {1, ..., n} como: (aj ) = zj 6

 (bj ) = yj . . . (nj ) = nj Se verica que 1 = ya que: 1 (zj ) = (aj ) = (aj +1 ) = zj +1 = (zj ). Por lo tanto si y tienen la misma estructura c clica entonces y son conjugados. q.e.d. Proposici on 4.16 Sea 1 k < n. Entonces el n umero de k ciclos en Sn es: Demostraci on Tomemos un subconjunto A {1, 2, ..., n} con k elementos. Dado i1 , hay k-1 formas de enviar i1 a otro valor. Una vez jo i2 tal que i1 i2 , hay k-2 formas posibles de elegir i3 tal que i2 i3 continuando de esta forma, vemos que dado el conjunto A, se pueden construir (k 1)! diferentes k ciclos. Adem as se tienen (n k ) subconjuntos de {1, ..., n} con k elementos. Asi, el n umero de k ciclos es: (n k ) (k 1)! = n! 1 n k + 1) (k 1)! = n(n 1) ...( k !(n k )! k q.e.d. Ejemplo
1 El n umero de ciclos es s4 es: 3 (3)(2) = 8.

1 k n(n

1) ... (n k + 1)

Con lo anterior mostremos que el rec proco del teorema de Lagrange no es cierto, es decir, existen grupos nitos y k N tales que k ||G| pero G no contiene subgrupos de orden k. Teorema 4.17 A4 no contiene subgrupos de orden 6. Demostraci on Supongamos que existe H < A4 tal que |H | = 6 [A4 : H ] = 2. Luego A4 , 2 H . Si A4 es un 3 ciclo, entonces 3 = 1 = 4 = ( 2 )2 H . Es decir, H contiene a todos los 3 ciclos, los cual es una contradicci on , pues en A4 hay 8 3 ciclos. q.e.d. Proposici on 4.18 1. Si n 3, entonces Z (Sn ) = {e}. En particular Sn = Int(Sn ). 2. Si n 4, entonces Z (An ) = {e} y por tanto An = Int(An ). 3. Si n 3, N An y N contiene un 3 ciclo entonces N = An .

Demostraci on 1) Sea Sn y sea = 1 2 ...r su descomposici on como producto de ciclos disjuntos. Supongamos que escribimos los ciclos 1 , ..., r en orden decreciente. Supongamos que 1 = i1 i2 ... im , m 3. 7

Entonces i1 i2 (i1 ) = i1 i2 ... im sigma2 ...r i1 i2 (i1 ) = i3 y i1 i2 (i1 ) = i1 Por lo tanto / Z (Sn ). Si 1 , ..., r son transposiciones disjuntas supongamos que 1 = Entonces i1 i2 2 3 ...r i1 i3 (i3 ) = i1 i3 = i2 i1 i3 (i3 ) = = i1
=i2 i1

i1

i2

y tomemos i3 / {i1 , i2 }.

i3
=i3

i1

i2

2 ...r (i3 )

=i1

2) Es an aloga a la anterior. 3) Sea N el 3 ciclo que se menciona. Por ser N An An , 1 N y los conjugados de son 3 ciclos. Luego N contiene a todos los 3 ciclos. Por lo tanto N = An . q.e.d. Veremos que An es simple cuando n 5. Ya que el 4-grupo V contiene todas las permutaciones en S4 de una estructura c clica dada, V es un subgrupo normal de S4 , por tanto, A4 no es simple. Examinemos S5 y A5 . S5 N umero 1 10 = (5 4)/2 20 = (5 4 3)/3 30 = (5 4 3 2)/4 24 = 5!/5 54 32 15 = 1 2( 2 2 ) 543 1 20 = 3 2 2 120 = 5!

Estructura C clica (1) (12) (123) (1234) (12345) (12)(34) (123)(45)

Orden 1 2 3 4 5 2 6

Paridad Par Impar Par Impar Par Par Impar

Estructura C clica (1) (123) (12345) (12)(34)

A5 N umero 1 20 24 15 60

Orden 1 3 5 2

Paridad Par Par Par Par

Teorema 4.19 Si n 5, An es simple. Demostraci on Sea H An , H = {e}. Sea H \ {e} y sea = 1 2 ...k su descomposici on como ciclos disjuntos. Supongamos adem as que los ciclos 1 , ..., k est an escritos en orden decreciente. Sea 1 = a1 a2 ... am .

1.

Supongamos que m > 3 y sea =

a1

a2

a3

. Notemos que 2 , ..., k permutan con . Entonces:

1 = 1 2 ...k 1 = 1 2 ...k 1 = (a1 a2 ...am ) 1 2 3 ...k = ( (a1 ) (a2 )... (am ))2 ...k = (a2 a3 a1 a4 a5 ...am )2 ...k H
1 1 1 1 1 = k ...3 2 (am = (a1 a3 am ) H.

(1)

am1 ...a1 )(a2

a3

a1

a4

a5 ...am )2 ...k

(1)

Por 3) de la proposici on anterior, se concluye que H = An . 2. Supongamos que m = 3 a) Supongamos que tambi en es un 3 ciclo. Entonces 1 = (a1 (a2 a3 b1 ). Notemos que conmuta con 3 ...k , 1 = 1 1 2 1 3 ...k 1 = ( (a1 ) (a2 ) (a3 ))( (b1 ) (b2 ) (b3 ))3 ...k = (a1 a3 b1 )(a2 b2 b3 )3 ...k H
1 1 1 1 = k ...3 (b3 b2 b1 )(a3 a2 a1 )(a1 a3 b1 )(a2 = (b3 b2 b1 )(a3 a2 a1 )(a1 a3 b1 )(a2 b2 b3 ) = (a1 a2 b1 a3 b3 ) H

a2

a3 ) y 2 = (b1

b2

b3 ). Tomemos =

(1)

b2

b3 )3 ...k (1)

Por el caso anterior H = An b ) Supongamos que 2 , ..., k son transposiciones. Sea 1 = (a1 a2 a3 ) = (a1 a2 2 = (a1 Por lo tanto H = An . 3. Finalmente supongamos que 1 ...k son transposiciones disjuntas. Supongamos que 1 = (a1 Sea = (a2 b1 a2 ) y 2 = (b1 b2 ). b2 ) entonces:

a3 )2 3 ...k H a3 a2 ) H

1 = 1 1 2 1 3 ...k 1 = ( (a1 ) (a2 ))( (b1 ) (b2 ))3 ...k = (a1 b1 )(b2 a2 )3 ...k H.
a2 )3 ...k

(1)

1 1 1 1 = k ...3 (b1 b2 )(a1 a2 )(a b1 )(b2 = (b1 b2 )(a1 a2 )(a1 b1 )(b2 a2 ) = (a1 b2 )(a2 b1 ) = H.

(1)

Sea b / {1, a2 , b1 , b2 (n 5). Sea = (a1 b2 b) entonces: 1 = ( (a1 ) (b2 ))( (a2 ) (b1 )) = (b2 b)(2 b1 ) H. 1 1 = (a1 = (a1 (1)

b2 )(a2 b1 )(b2 b)(a2 ) b2 b) H H = An

(1) q.e.d.

Teorema 4.20 (Cayley, 1878) Todo grupo G es isomorfo a un subgrupo de SG . En particular , todo grupo nito de orden n es isomorfo a un subgrupo de Sn . Demostraci on Para cada a G, denimos L : G G por L (x) = ax (L es la translaci on por la izquierda de a). Vemos que L tiene una correspondencia 1-1, as que L SG . La funci on manda a a en La esta es una funci on de G a SG . Pedimos que sea uno-uno y un homomorsmo. Si a = b son elementos de G, entonces La (1) = a = b = Lb (1), as que La = Lb y (a) = (b), por tanto, es uno-uno. Finalmente consideremos (ab)Lab y (a)(b) = La Lb . Mostremos que estas permutaciones son las mismas, debemos mostrar que ellas asignan los mismos valores a cada x G. Pero Lab = (ab)x , y La Lb (x) = La (bx) = a(bx) y esto es lo mismo por asociatividad. q.e.d.

10