Professional Documents
Culture Documents
El grupo Sn
=
.
2 3 1
2 1 3
3 2 1
n 11.1.4. Un elemento Sn es un ciclo de longitud m (m n)
Definicio
cuando existe I = {a1 , a2 , . . . , am } {1, 2, . . . , n} tal que:
1. (ai ) = ai+1 , i = 1, 2, . . . , m 1, (am ) = a1 .
2. (j) = j, j 6 I.
En tal caso, al ciclo lo notaremos1 simplemente por (a1 a2 . . . am ) y al n
umero
m lo llamaremos longitud del ciclo . Con esta notaci
on se tiene:
(a1 a2 . . . am ) = (a2 . . . am a1 ) = . . . = (am a1 . . . am1 ).
Ejemplo 11.1.5.
1 Hay que tener en cuenta que esta notaci
on no hace referencia al grupo de permutaciones
que estemos considerando.
1. En S4 un ciclo de longitud 4 es
1 2
3 1
3
4
4
2
2. En S4 un ciclo de longitud 3 es
1 2
4 1
3
3
4
2
(b)
2 (b) . . . i (b))
Por la misma razon, a2 debe transformarse en un mismo elemento a3 mediante 1 y 1 , y as sucesivamente. Esto prueba que 1 = 1 . Repitiendo
convenientemente este razonamiento, se deduce que p = q y los ciclos i son
iguales a los i .
2
Ejemplo 11.1.10. En S7 se verifica que:
1 2 3 4 5 6 7
= (135) (26) (47).
3 6 5 7 1 2 4
Corolario 11.1.11. El grupo Sn est
a generado por el conjunto de los ciclos.
Corolario 11.1.12. Sea Sn . Sea = 1 k la descomposici
on de
en producto de ciclos disjuntos. Entonces o() = m.c.m(o(1 ), . . . , o(k )).
n 11.1.13. Una trasposici
Definicio
on es un ciclo de orden dos.
Teorema 11.1.14. Toda permutaci
on de Sn , distinta de 1, se puede descomponer como producto de trasposiciones.
Prueba: En virtud del teorema anterior, basta probar que todo ciclo de
Sn puede ser descompuesto en producto de trasposiciones. Sea, pues, =
(a1 a2 . . . am ). Es claro que: = (a1 a2 . . . am ) = (a1 am ) . . . (a1 a3 )(a1 a2 ).
2
Nota 11.1.15. Al contrario que con la descomposici
on en producto de ciclos
disjuntos, la descomposici
on de una permutaci
on en producto de trasposiciones
no es u
nica. Por ejemplo, (2 3) = (1 3) (2 3) (1 2).
Teorema 11.1.16. La paridad del n
umero de trasposiciones de cualquier
descomposici
on de una permutaci
on Sn como producto de trasposiciones
no depende de la descomposici
on.
Prueba: Sea : Sn GL(n, R) la aplicaci
on que asocia a cada permutaci
on la matriz (I) que se obtiene permutando las filas de la matriz
identidad seg
un indica . Comprobamos que es un homomorfismo de grupos.
Es claro que det ( ) = 1 siempre que sea una trasposici
on, y por tanto la
paridad del n
umero de trasposiciones de cualquier descomposici
on de viene
dada por det ().
2
n 11.1.17. Para cada Sn , el signo de , (), est
Definicio
a definido por:
() := (1)(numero de trasposiciones de una descomposicion cualquiera de ) = det ().
Una permutaci
on Sn se llama par o impar seg
un que su signo sea 1
o 1.
Notese que : Sn {1, 1} es un homomorfismo de grupos, donde la
operaci
on en el segundo grupo es la dada por la multiplicaci
on usual (se trata
de un grupo cclico de orden 2).
n 11.1.18. Sea una permutaci
Definicio
on de Sn y sean 1 i < j n dos
enteros. Se dir
a que en los elementos i y j forman una inversi
on si (i) > (j).
Al n
umero total de inversiones de se le designar
a por v().
1
3
2
1
3
5
4 5
7 6
6
4
7
2
Se tiene lo siguiente:
a) El 3 forma inversi
on con el 1 y el 2.
b) El 1 no forma ninguna inversi
on.
c) El 5 forma inversi
on con el 4 y el 2.
d) El 7 forma inversi
on con el 6, con el 4 y el 2.
e) El 6 forma inversi
on con el 4 y el 2.
f) El 4 forma inversi
on con el 2.
Luego v() = 10.
Teorema 11.1.20. Para cada Sn se verifica que () = (1)v() .
Prueba: Sea
=
1
a1
2
a2
...
...
n
an
11.2
El grupo alternado
n!
.
2