Abstract A

Notas para un curso de Algebra Abstracta I
Camilo Sanabria y Mario Valencia-Pabon Universidad de los Andes Departamento de Matemticas a Bogot - Colombia. a
II
Indice general
1. Grupos 1.1. Grupos . . . . . . . . . . . . . . . . . 1.2. Subgrupos . . . . . . . . . . . . . . . . 1.3. Tabla de operacin . . . . . . . . . . . o 1.4. Grupos C clicos . . . . . . . . . . . . . 1.5. Grupos generados y producto directo . 1.6. Grupos de permutaciones . . . . . . . 1.7. Coconjuntos y el Teorema de Lagrange 1 1 3 4 5 8 11 14 17 17 18 20 21 23 23 25 27 28 30
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
2. Homomorsmos 2.1. Homomorsmos . . . . . . . . . . . . . . . 2.2. Propiedades de Homomorsmos . . . . . . 2.3. Subgrupos normales . . . . . . . . . . . . 2.4. Isomorsmos y el Teorema de Cayley . . . 2.5. Grupo Factor . . . . . . . . . . . . . . . . 2.6. Teorema Fundamental del Homomorsmo 2.7. Clculo de Grupo Factor . . . . . . . . . . a 2.8. Grupos simples . . . . . . . . . . . . . . . 2.9. El centro y el conmutador . . . . . . . . . 2.10. Ejercicios . . . . . . . . . . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
3. Conjugacin o 33 3.1. Elementos y subgrupos conjugados . . . . . . . . . . . . . . . . . 33 3.2. An para n 5 es simple . . . . . . . . . . . . . . . . . . . . . . . 34 3.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 4. Accin de grupo sobre un conjunto o 4.1. G-conjuntos . . . . . . . . . . . . . 4.2. Subgrupo estabilizador y orbitas . 4.3. La frmula de Burnside . . . . . . o 4.4. Ejercicios . . . . . . . . . . . . . . 37 37 39 40 42
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
IV
INDICE GENERAL 43 43 45 51 52 53 53 56 57 59 63 66
5. Teoremas de Isomorsmos y Series de Grupos 5.1. Teoremas de Isomorsmos . . . . . . . . . . . . 5.2. Series de Grupos . . . . . . . . . . . . . . . . . 5.3. Cadena Central Ascendente . . . . . . . . . . . 5.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . 6. Teoremas de Sylow y Grupos libres 6.1. Teoremas de Sylow . . . . . . . . . . . . . . . 6.2. Aplicaciones de la teor de Sylow . . . . . . a 6.3. Grupos abelianos libres . . . . . . . . . . . . 6.4. Teorema fundamental de los grupos abelianos 6.5. Grupos libres y representaciones . . . . . . . 6.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
Indice de guras
1.1. Subgrupos de Z8 y de Z12 . . . . . . . . . . . . . . . . . . . . . . 1.2. transformaciones del cuadrado . . . . . . . . . . . . . . . . . . . 1.3. ret culo de subgrupos de D4 . . . . . . . . . . . . . . . . . . . . . 2.1. Fibras y Kernel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2. Teorema Fundamental del Homomorsmo . . . . . . . . . . . . . 4.1. Rotaciones del cubo . . . . . . . . . . . . . . . . . . . . . . . . . 5.1. 5.2. 5.3. 5.4. Primer Teorema de Isomorsmo . Tercer Teorema de Isomorsmo . Lema de la Mariposa . . . . . . . Teorema de Schreier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 14 15 19 24 41 43 45 46 47 57 63
6.1. Grupo abeliano libre . . . . . . . . . . . . . . . . . . . . . . . . . 6.2. Grupo libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
VI
INDICE DE FIGURAS
Cap tulo 1
Grupos
1.1. Grupos
1.1 Denicin (Grupo): Una estructura < G, , e >, que consta de un o conjunto G, una operacin binaria , y un elemento distintivo e, es un grupo, o si satisface los siguientes axiomas: G1: es asociativa x, y, z G(x (y z) = (x y) z) G2: e es neutro en x G(x e = x e x = x) G3: existencia de inversa x G y G(x y = e y x = e) Teorema 1.2 (Unicidad del neutro y de las inversas) Sea < G, , e > un grupo, entonces: i) Si e es tal que para todo x G, x e = e x = x, entonces e = e. ii) Dado un x G, si y, y G son tales que x y = y x = e = x y = y x, entonces y = y. Demostracin: Por hiptesis e e = e y por G2, e e = e , luego e = e . o o Por hiptesis x y = e y por G2, y = y e, luego y = y (x y ), as por G1, o y = (y x) y , pero y x = e por hiptesis, entonces por G2 y = y . o 1.3 Notacin y observacin. En general, a < G, , e >, la denotaremos o o simplemente G, excepto cuando se deba especicar para evitar confusiones. Si no especicamos un nombre diferente para el elemento distintivo, lo denotaremos
Cap tulo 1. Grupos
e. A x y, lo denotaremos xy, cuando sea claro el contexto, adems dado que la a operacin binaria es asociativa, x(yz) o (xy)z lo denotaremos xyz. o Por otro lado el teorema anterior, justica la siguiente denicin. o 1.4 Denicin (el neutro, la inversa) y notacin: Sea < G, , e > un o o grupo, i) a e lo llamamos el elemento neutro o la identidad. ii) Dado g G, al elemento g G tal que gg = g g = e, lo llamamos la inversa, o el inverso, de g,y lo notamos g 1 . 1.5 Ejemplos: Las siguientes estructuras son grupos, cuya demostracin se o deja al lector. i) < Z, +, 0 >, < Q, +, 0 >, < R, +, 0 >, < C, +, 0 >. ii) < Q , , 1 >, < R , , 1 >, < C , , 1 >. iii) < Zn , +n , [0]=n >, donde a =n b si n|a b y Zn = Z/ =n . iu) < GLn (R), , In >, donde GLn (R) es el conjunto de matrices invertibles de dimensin n n. o u) < S 1 , , 1 >, donde S 1 = {z C : |z| = 1}. ui) Si V es un espacio vectorial, el conjunto de las transformaciones lineales uno a uno, con la composicin como la operacin y la identidad como el o o neutro. Teorema 1.6 (ley cancelativa) Sea G un grupo. Si x, y, z G son tales que xz = yz, entonces x = y. Demostracin: Si xz = yz, entonces x = xe = (xz)z 1 = (yz)z 1 = ye = y. o 1.7 Notacin y observacin. Si x G y n N, notamos: o o xn = e x xn1 si n = 0 de lo contrario
Dado que xn (x1 )n = xn (xn )1 = e, entonces extendemos la notacin a todo Z o con xn = (x1 )n . Cuando la operacin se denote aditiva (ver ejemplo 1.5 i)), o notaremos xn por nx, y x1 por x. Observe que xn xm = xn+m , para todo n, m Z, pero (xy)n no es necesariamente igual a xn y n , por ejemplo: Teorema 1.8 (xy)1 = y 1 x1 Demostracin: (xy)(y 1 x1 ) = e. o
Subgrupos
1.9 Posiblemente ya se habr dado cuenta de cual es la condicin para que a o (xy)n = xn y n para todo x, y G. En honor al noruego Niels Henrik Abel (1802-1829): 1.10 Denicin (Grupo abeliano): Un grupo G, en el cual la operacin o o sea conmutativa (i.e. a, b G(ab = ba)), se dice abeliano. 1.11 En el ejemplo 1.5, los grupo de i), ii), iii) y u) son abelianos, los de iu) y u) no lo son. Si V = Rn estos dos ultimos grupos son bastante parecidos (ya formalizaremos eso). 1.12 Ejercicios: 1. Pruebe que si G es un grupo nito con identidad e y con un numero par de elementos, entonces existe un elemento a G, con a = e, tal que a2 = e. 2. Pruebe que todo grupo G con identidad e y tal que a2 = e para todo a G, es abeliano. 3. Sea G un grupo nito y sea x un elemento de G cuyo orden es n, donde n es impar. Pruebe que existe k N tal que x = (x2 )k .
1.2.
Subgrupos
1.13 Denicin (Subgrupo): Si < G, , e > es un grupo, diremos que o < H, , e > es un subgrupo de G, y lo notaremos H G, si: i) H G ii) < H, , e > es grupo iii) =
HH
1.14 Observacin a la denicin 1.13. Sea H G y h H, como h = o o h e = h e , y h = h e entonces por la ley cancelativa, e = e . As un subgrupo esta un vocamente determinado por el conjunto H, pues la identidad es la misma que en G y la operacin es la restriccin. Esto justica nuestra notacin H G. o o o Por otro lado < {e}, {e}{e} , e > es subgrupo de G. 1.15 Denicin (Grupo trivial, subgrupo propio) o i) Al grupo < {e}, , e >, lo llamamos grupo trivial. ii) Si H G y H = G, decimos que H es subgrupo propio de G, y lo notamos H < G. 1.16 Cada grupo de 1.5 i) es subgrupo del siguiente. Lo mismo sucede en 1.5 ii). Demostrar que un grupo es subgrupo de otro puede ser bastante engorroso bajo nuestra denicin, afortunadamente existen caracterizaciones ms o a adecuadas para esto:
Cap tulo 1. Grupos
Teorema 1.17 Sea < G, , e > un grupo. Las siguientes armaciones son equivalentes: i) H G ii) H no es vaco, es cerrado mediante la operacin de G, y mediante inver o sin. Esto es: o H = , x, y H(xy H), x H(x1 H) iii) H = , x, y H(xy 1 H) Demostracin: o i) ii): Como H G, e H luego H no es vac Las otras dos condiciones o. se siguen inmediatamente del hecho que H sea grupo y que la operacin en H o es la restriccin de la G. o ii) iii): Si x, y H, y 1 H luego xy 1 H. iii) i): Tomemos = HH , veamos que es una operacin binaria en o H. Sea x H, el cual existe pues H no es vac Entonces e = x x1 H, y o. as x1 = ex1 H. Luego si x, y H, y 1 H y xy = xy = x(y 1 )1 H, entonces es una operacin binaria en H, as se cumple G1. Adems, e H y o a tambin se cumple G2 pues = HH . Por esto ultimo vemos tambin que se e e cumple G3 pues dado x H, x1 H.
1.3.
Tabla de operacin o
1.18 Dado un grupo G nito podemos representar completamente la operacin o gracias a una tabla, al igual que sol amos hacer tablas de multiplicacin en o los nmeros naturales. Esto es, en la primera entrada (la superior izquierda), u ponemos el signo de la operacin, en el resto de la primera columna de la tabla o ponemos los elementos de G y hacemos lo mismo, y en el mismo orden, en la primera la. Luego llenamos el resto de la tabla como indica la operacin. o Por el axioma G3 sabemos que en cada la debe aparecer e una vez, y por la unicidad de la inversa, una unica vez. Segn la ley cancelativa, lo mismo sucede u con cada elemento. Este mismo fenmeno se repite con las columnas. Si el grupo o es abeliano la tabla ser simtrica. Estas pautas nos permiten generar grupos a e nuevos (ver el cuadro 1.3). +4 0 1 2 3 0 0 1 2 3 1 1 2 3 0 2 2 3 0 1 3 3 0 1 2 e a b c e e a b c a a e c b b b c e a c c b a e
Z4
4-grupo de Klein V
Cuadro 1.1: Los dos unicos grupos de cuatro elementos
Grupos C clicos
1.4.
Grupos C clicos
1.19 Denicin (Orden de un grupo, orden de un elemento): o i) el orden de un grupo G, que notamos ord(G) (o simplemente |G|), es el nmero de elementos de G, si G es innito notamos ord(G) = +, u ii) el orden de un elemento g G, que notamos ord(g), es el m nimo n N n tal que g = e. Si dicho n no existe notamos ord(g) = +. Lema 1.20 Si am = e, ord(a) | m. Demostracin: Sea n = ord(a). Por denicin, n es el menor entero positivo o o tal que an = e y por lo tanto m n. Usando el algoritmo de la divisin, o podemos escribir a m como m = qn + r, donde q 1 y 0 r < n. Ahora, e = am = aqn+r = (an )q ar = eq ar = ar . Si r = 0, entonces se tiene una contradiccin a la minimalidad de n. Luego r = 0 y as n | m. o Teorema 1.21 Sea a G, y H = {an }nZ . Entonces H G y ord(H) = ord(a). Demostracin: Como e = a0 H, an am = an+m H y (an )1 = an , por el o teorema 1.17, H G. Suponga que ord(a) = +. Si i, j Z con i j son tales que ai = aj , aji = e luego j i = 0. Entonces si i = j, ai = aj , luego ord(H) = +. Ahora sea n = ord(a). Si i, j {0, 1, . . . , n 1} con i j, son tales que ai = aj , por el lema anterior n|j i, luego j i = 0, esto es i = j. Entonces n |H|. Y si m n, y m = qn + r, con 0 r < n, am = ar , luego |H| = n. 1.22 Denicin (Grupo generado por un elemento, grupo c o clico): Sea G un grupo. i) Dado a G, llamamos a {an }nZ , el grupo generado por a, y lo notamos < a >. ii) Decimos que G es c clico si es un grupo generado por un elemento. 1.23 Ejemplos. i) Z =< 1 >, es un grupo c clico de orden innito. ii) Zn =< 1 >, es un grupo c clico de orden n. Ya veremos que todo grupo c clico tiene esta forma. 1.24 Ahora nos interesaremos en la estructura de los grupos c clicos, esto es, estudiaremos como son sus subgrupos. Estos grupos, fuera de tener una estructura bastante visualisable e intuitiva, son supremamente importantes. Teorema 1.25 Todo grupo cclico es abeliano.
Cap tulo 1. Grupos
Demostracin: Sea G =< a >. As dos elementos elementos arbitrarios en G, o son de la forma am , y an , con m, n Z. Pero como vimos en 1.7, am an = am+n = an am . Luego G es abeliano. Teorema 1.26 Un subgrupo de un grupo cclico es cclico. Demostracin: Sea G =< a > y H G. Si H es el grupo trivial, H =< e >, es o c clico. Suponga que H no es trivial, es decir, H contiene al menos un elemento diferente de e. Como H G y G =< a >, entonces todos los elementos de H son potencias de a. Sea m el menor entero positivo tal que am H. Se probara entonces que b = am genera H, es decir, H =< b >. Para ello, tomemos un elemento arbitrario c H y probemos que c es una potencia de b. Como c H, H G y G =< a >, entonces c = an para algn n entero positivo. Por la u minimalidad de m, podemos usar el algoritmo de la divisin, y escribir n como o n = qm + r, donde q > 0 y 0 r < m. Entonces, an = aqm+r = (am )q ar . Por lo tanto, como an H y (am )q H puesto que am H, entonces, ar = (am )q an H, puesto que H es grupo. Si r = 0, entonces se tiene una contradiccin a la minimalidad de m. Por lo tanto, r = 0, y n = qm, obteniendo o si que c = an = aqm = (am )q = bq , es decir, c es una potencia de b, lo cual implica que H =< b > y por lo tanto H es c clico. Corolario 1.27 Si G =< a > es de orden innito todo subgrupo de G es de orden innito. 1.28 Observacin. Todo subgrupo de Z es de la forma < n >= nZ = {nk : o k Z}, para algn n. Aqu usamos la notacin aditiva. u o Teorema 1.29 Sea G =< a > de orden n. Entonces: i) Si s | n, entonces < as >= {e, as , a2s , . . . , a y < ar >=< a(n,r) >. iii) Todo subgrupo de G es de la forma < as > donde s | n. iu) El orden de todo subgrupo de G divide el orden de G. u) Por cada divisor s de n, existe exactamente un subgrupo de G de tamao n n s, que es < a s >. ui) si H, K G entonces, H K si y slo si |H| | |K|. o Demostracin: Note que una vez probado ii); i), iii) y iu) son consecuencias o inmediatas, tomando s = (n, r) y recordando el teorema 1.21. Probemos entonces ii). Ya vimos en el teorema 1.26 que todo subgrupo, de G es de la forma < ar >. Ahora sea s = (n, r), entonces existe q tal que r = qs. As ar = (as )q , luego < ar >< as >. Por otro lado existen u, v Z tales que un + vr = s luego as = (an )u (ar )v = (ar )v , y as < as >< ar >. Es claro que
n1 s s
} tiene tamao n/s. n

n (n,r)
ii) Todo subgrupo de G es de la forma < ar >, con r Z, | < ar > | =
Grupos C clicos
n enunciado de i) que | < a(n,r) > | = (n,r) Probemos ahora la unicidad que se arma en u). Por lo que acabamos de ver n n si s | n, (n, n/s) = n/s y as | < a s > | = n/s = s. Ahora, si < ar > es un subgrupo de G de orden s, entonces por ii) s = n/(n, r), luego (n, r) = n/s y n as < ar >=< a s >. , Finalmente veamos ui). Suponga que K =< ak > y H =< ah > con k, h divisores de n, suponsicin valida en vista de u). As si H K por iu), poniendo o K como G, |H| | |K|. Ahora, si |H| | |K|. existe q tal que ord(ah )q = ord(ak ), pero por u), ord(ah ) = n/h y ord(ak ) = n/k, luego kq = h, as (ak )q = ah , entonces < ah >< ak >.
1.30 Observacines. o i) Dado un grupo G, como todo grupo tiene por subgrupo el trivial, podemos representar sus cadenas de subgrupos por un ret culo (i.e. lattice, en ingls). e ii) El resultado 1.29 iu) se pueden generalizar a todos los grupos de orden nito como se vera en el Teorema de Lagrange. Con el teorema anterior quedan completamente caracterizados los grupos c clicos (ver gura 1.1), en este momento el lector ya se puede hacer la idea de porque todo grupo c clico es de la forma de Z, o de Zn . PSfrag replacements
Z8 Z12
<2>
<3>
<2>
<4>
<6>
<4>
{0}
{0}
Figura 1.1: Subgrupos de Z8 y de Z12 1.31 Ejercicios: 1. Pruebe que si H y K son subgrupos de un grupo abeliano G, entonces HK = {hk : n H y k K} es un subgrupo de G. 2. Pruebe que un grupo c clico con unicamente un generador puede tener a los sumo dos elementos. 3. Pruebe que si G es un grupo abeliano con identidad e, entonces todos los elementos x G tales que x2 = e forman un subgrupo de G. Generalice al caso donde n 1 es un entero jo y H = {x G : xn = e}.
Cap tulo 1. Grupos 4. Sea G un grupo y sea a un elemento de jo de G. Pruebe que Ha = {x G : xa = ax} es un subgrupo de G. Sea S G, y sea HS = {x G : xs = sx para todo s S}. Pruebe que HS G. Si S = G, entonces HG es llamado el centro de G. Pruebe que HG es un grupo abeliano. 5. Pruebe que un grupo sin subgrupos propios no triviales es c clico. 6. Pruebe que un grupo que tiene un numero nito de subgrupos es nito. 7. Pruebe que Zp no tiene subgrupos propios no triviales si p es primo. 8. Sea G un grupo abeliano y sean H y K subgrupos c clicos nitos con |H| = r y |K| = s. (a) Pruebe que si (r, s) = 1, entonces G contiene un subgrupo c clico de orden rs. (b) Pruebe que G contiene un subgrupo c clico de orden [r, s] (recuerde que [r, s] denota al mximo comn mltiplo de r y s). a u u
1.5.
Grupos generados y producto directo
1.32 Dado que los subgrupos de un grupo forman un ret culo, podemos buscar los m nimos subgrupos, en la relacin ser subgrupo, que contienen un subcono junto de los elementos del grupo. Teorema 1.33 Sea {Hi }iJ una coleccin indexada de subgrupos de G, entono ces: Hi G
iJ
Demostracin: Como cada Hi contiene e, iJ Hi = . Ahora sean x, y o Hi , como y Hi , y 1 Hi , para cada i J. As xy 1 Hi , para iJ todo i J, esto es xy 1 iJ Hi , luego por el teorema 1.17 iJ Hi G. Corolario 1.34 Sea A G, con A = y H = {H G : A H}. Entonces HH H G. Teorema 1.35 Sea A G, con A = y H = {H G : A H}. Si HA H es tal que, si H H, HA H entonces HA = HH H G. Demostracin: Esto es trivial, pues HA H, luego HH H HA . Por otro o lado como A HH H, entonces HH H H as HA HH H, y HA = H G. HH 1.36 Observacin. Los dos teoremas anteriores justican nuestra prxima o o denicin, el teorema que le sigue la explica. Note como se extiende el concepto o de 1.22 1.37 Denicin (grupo generado, grupo nitamente generado): o
Grupos generados y producto directo
i) Dado A G, con A = . Al m nimo subgrupo que contiene A lo llamamos el grupo generado por A, y lo notamos < A >. ii) Decimos que un grupo G es nitamente generado si G =< A > para algn A G nito. u Teorema 1.38 Dado A G, < A >= {am1 am2 . . . amn : ai A, mi Z}. n 1 2 Demostracin: Sea HA = {am1 am2 . . . amn : ai A, mi Z}. Como A = o n 1 2 p , HA = . Si x, y HA , x = am1 am2 . . . amn e y = bp1 bp2 . . . bq q , para n 1 2 1 2 pq q2 q1 algunos ai , bj A y mi , pi Z. As y 1 = bq . . . b2 b1 , luego xy 1 = , q2 q1 m1 m2 mn pq a1 a2 . . . an bq . . . b2 b1 HA . Entonces HA G. Ahora como A HA , < A > HA . Por otro lado un elemento arbitrario de HA es de la forma de x, pero cada ai A, luego como un subgrupo es cerrado por multiplicacin, o x < A >. As HA < A > y HA =< A >. Teorema 1.39 Sea {Gi }i{1,2,...,n} una coleccin de grupos. G1 G2 . . .Gn o bajo la operacin ((x1 , x2 , . . . , xn ), (y1 , y2 , . . . , yn )) (x1 y1 , x2 y2 , . . . , xn yn ) es o un grupo. Demostracin: La operacin es asociativa, pues la operacin de cada G i lo es. o o o Si ei es el neutro de Gi , (e1 , e2 , . . . , en ) es el neutro para nuestra operacin. Fio nalmente (x1 , x2 , . . . , xn )(x1 , x1 , . . . , x1 ) = (e1 , e2 , . . . , en ), luego cada elen 2 1 mento tiene inversa. Esto completa la demostracin. o 1.40 Denicin (Producto directo): Dada {Gi }i{1,2,...,n} una coleccin o o de grupos. Al grupo G1 G2 . . . Gn bajo la operacin: o ((x1 , x2 , . . . , xn ), (y1 , y2 , . . . , yn )) (x1 y1 , x2 y2 , . . . , xn yn ) lo llamamos el producto directo (externo) de G1 , G2 , . . . , Gn . 1.41 Cuando dec amos que dos grupos tienen la misma forma, formalmente nos refer amos a lo siguiente (a esto volveremos luego con ms detalle): a 1.42 Denicin (Isomorsmo, isomorfo): Sean < G, , e >, < G , , e > o dos grupos dados. Una biyeccin : G G es un isomorsmo si (x y) = o (x) (y), para todo x, y G. Dos grupos se dicen isomorfos si existe un isomorsmo entre ellos. 1.43 Ejemplo: : R R denida por (x) = ex , es un isomorsmo entre + < R, +, 0 > y < R , , 1 > pues ex+y = ex ey . + Teorema 1.44 Sea G =< a >. Si ord(G) = +, G es isomorfo a Z, si ord(G) = n, G es isomorfo a Zn . Demostracin: Si ord(G) = +, dena : Z G, por (k) = ak y si ord(G) = o n, dena : Zn G, por (k) = ak . Es claro que es sobreyectiva, ahora si (m1 ) = (m2 ), entonces am1 m2 = e. As si + = ord(G) = ord(a), m1 m2 = 0 o m1 = m2 . Si n = ord(a), por el lema 1.20, n | m1 m2 luego m1 = m2 . De esto concluimos que es biyectiva. Finalmente como ak1 ak2 = ak1 +k2 , es isomorsmo.
10
Cap tulo 1. Grupos
Teorema 1.45 Sean m, n Z. Existe un isomorsmo entre Zm Zn y Zmn si y solo si (m, n) = 1. Demostracin: Por el teorema 1.44, basta ver que Zm Zn es c o clico de orden mn si y slo si (m, n) = 1. Suponga primero (m, n) = 1 y sea k = ord((1, 1)). o As (1, 1)k = (0, 0) luego m | k y n | k pero si k Z es tal que m | k y n | k , (1, 1)k = (0, 0) luego k es el m nimo comn mltiplo de m y n, este es mn. u u Entonces Zm Zn =< (1, 1) > Ahora suponga que Zm Zn es c clico de orden mn con Zm Zn =< (a, b) >. Entonces en particular Zm =< a > y Zn =< b >. As si k es el m , nimo comn u mltiplo de m y n, (a, b)k = (0, 0) luego por el lema 1.20, mn | k. As k = mn u y (m, n) = 1. Corolario 1.46 Zm1 Zm2 . . . Zmn es isomorfo a Zm1 m2 ...mn si y slo si o (m1 , m2 , . . . , mn ) = 1 1.47 Los grupos abelianos nitamente generados tienen una estructura particular. El siguiente teorema los caracteriza y nos dice que los Zpn , con p primo, son como los ladrillos para construirlos. Su demostracin la pospondremos para o cuando tengamos un poco ms de experiencia, y esta nos parezca ms natua a ral. Dicho teorema se conoce como el Teorema Fundamental de los grupos abelianos nitamente generados, y al cual nos referiremos como al teorema TFGAFG por comodidad. Teorema 1.48 (TFGAFG) Todo grupo abeliano nitamente generado es isomorfo a un unico grupo de la forma Zpr1 Zpr2 . . . Zprn Z . . . Z, n 1 2 con los pi , para i {1, . . . , n}, primos tales que pi pi+1 , y los ri naturales no nulos tales que ri ri+1 si pi = pi+1 . 1.49 Ejemplos: i) Si i=1 pri es la expresin de m en potencias de primos con pi < pi+1 , o i Zm es isomorfo a n Zpri . i=1
i
ii) El 4-grupo de Klein V es isomorfo a Z2 Z2 . 1.50 Ejercicios: 1. Encuentre el orden del elemento (3, 10, 9) en el grupo Z4 Z12 Z15 . 2. Pruebe que un grupo abeliano nito no es c clico si y solo si este contiene un subgrupo isomorfo a Zp Zp para algn primo p. u 3. Pruebe que si un grupo abeliano nito tiene orden una potencia de un primo p, entonces el orden de cada elemento en el grupo es una potencia de p. 4. Sean G, H, y K grupos abelianos nitamente generados. Pruebe que si G K es isomorfo a H K, entonces G es isomorfo a H.
Grupos de permutaciones
11
1.6.
Grupos de permutaciones
1.51 Denicin (Permutacin): Sea A un conjunto. Una permutacin o o o de A es una funcin biyectiva de A en A. Al conjunto de las permutaciones de o A lo notamos SA . Si A = {1, 2, . . . , n}, SA lo notamos Sn . 1.52 Observacines. o i) |Sn | = n! ii) La composicin de dos permutaciones es una permutacin. La identidad o o es una permutacin y la inversa de un permutacin es una permutacin. o o o En resumen, se tiene lo siguiente: 1.53 Denicin (Grupo de Permutacin). Sea A un conjunto. Al grupo o o < SA , , id >, donde es la composicin, lo llamamos el grupo de permutao ciones de A. Teorema 1.54 Si A = {ai }i{1,...,n} , SA y Sn son isomorfos. Demostracin: Dena : Sn SA por ( ) : (i) a (i) . Sea SA y o dena : {1, . . . , n} {1, . . . , n} por (i) = j si (ai ) = aj . Como es una permutacin tambin y () = , luego es sobreyectiva. Vericar que o e tambin es inyectiva es pura rutina, as que se lo dejamos al lector. Ahora: e ( )(ai ) = a (i) = ()(a (i) ) = () ( )(ai ) as ( ) = () (). Luego es un isomorsmo. 1.55 Notacin. A la permutacin Sn , la notamos o o 1.56 Ejemplo: S3 = {id, , 2 , , , 2 } con id = 123 , = 312 que = 2 . 2 = 123 213 , = 123 321 1 2 ... n (1) (2) . . . (n) 123 123 ,= 123 132 123 231 . Note . ,
, y 2 =
1.57 Denicin (Orbita): Sea SA y sea a A. Al conjunto { k (a) : o k Z} lo llamamos la orbita de a segn . u Teorema 1.58 Sea SA . Las orbitas de forman una particin de A. o Demostracin: Dena en A la relacin por: a b si existe k Z tal que o o k (a) = b. As a b si y slo si b esta en la orbita de a segn . Ahora 0 = id o u luego es reexiva. Si b = k (a), entonces a = k (b), luego es simtrica. e Ahora bien si b = k1 (a) y c = k2 (b), c = k2 +k1 (a), luego es transitiva. Ahora como es relacin de equivalencia, sus clases, que son las orbitas de o forman un particin de A. o 1.59 Denicin (Ciclo, transposicin): o o
12
Cap tulo 1. Grupos i) Una permutacin con a lo ms una orbita de ms de un elemento es un o a a ciclo. Si SA es un ciclo tal que la orbita con ms de un elemento es a { i (a)}i{0,1,...,n1} , notamos por (a (a) 2 (a) . . . n1 (a)), y decimos que es un n-ciclo.
ii) Una transposicin es un 2-ciclo. o iii) Dos ciclos se dicen disyuntos si sus orbitas de ms de un elemento son a disyuntas. 1.60 Ejemplo. Continuando con 1.56, en S3 , = (1 2 3), 2 = (1 3 2), = (1 2), = (1 3) y 2 = (2 3). Lema 1.61 Todo n-ciclo se puede expresar como producto de n 1 transposiciones. Demostracin: Sea SA un n-ciclo, con = (a1 a2 . . . an ). Tenemos entonces o = (a1 an )(a1 an1 ) . . . (a1 a2 ). Teorema 1.62 Toda permutacin en Sn se puede escribir como producto ciclos o disyuntos. Demostracin: Sea Sn , y {Oi }i{1,...,m} la coleccin de sus orbitas. Sea o o i Sn tal que i (a) = (a) si a Oi y i (a) = a de lo contrario. As los i son ciclos disyuntos y = i{1,...,m} i (observe que como los ciclos son disyuntos no importa el orden en que los multipliquemos, por eso tenemos el derecho de usar la productoria aunque el grupo no sea abeliano). Corolario 1.63 Toda permutacin en Sn , con n > 1, se puede expresar como o producto de transposiciones. 1.64 Veamos ahora que Sn se divide en dos clases disyuntas, las permutaciones que son el producto de un nmero par de transposiciones, y las que son el u producto de un nmero impar. u 1.65 Denicin (Signo) Sea Sn , el signo de que notamos sg(), esta o denido por: (i) (j) sg() = ij
1i<jn
Lema 1.66 sg() es 1 o 1. Demostracin: si i j aparece en el denominador, en el numerador aparece o o bien ( 1 (i)) ( 1 (j)), o bien ( 1 (j)) ( 1 (i)). Lema 1.67 sg() = sg()sg().
Grupos de permutaciones Demostracin: o sg() =

1i<jn
13
(i) (j) (i) (j) ij (i) (j) (i) (j) (i) (j) (i) (j) ij
=
ii<jn
ii<jn
= sg()sg()
(i)(j) (i)(j) , (i)(j) (i)(j) (j)(i) (j)(i) .
sg() =
ii<jn
pues
1.68 Observacines. o i) Si Sn es una transposicin, sg() = 1. o ii) Si sg() = sg() = 1, sg() = 1. iii) sg(id) = 1, as sg( 1 ) = sg(). Teorema 1.69 Una permutacin en Sn es el producto de un nmero par de o u transposiciones, o el producto de un nmero impar, pero no ambos. u Demostracin: Sea Sn , si es un producto par de transposiciones sg() = o 1, si es un producto impar de transposiciones sg() = 1. Luego las dos posibilidades son excluyentes. 1.70 Denicin (permutacin par, permutacin impar, subgrupo Alo o o ternador): i) Una permutacin Sn es par si sg() = 1, impar si sg() = 1. o ii) El conjunto de las permutaciones pares de Sn es el grupo alternador (o alternante), y lo notamos An . 1.71 Considere un pol gono regular de n vrtices. Las rotaciones y las simetr e as del pol gono que caen sobre l mismo, al etiquetar cada vrtice con un nmero e e u del 1 al n, se pueden identicar naturalmente con un subgrupo de Sn de 2n elementos (ver gura 1.2). 1.72 Denicin (Subgrupo diedral): Al subgrupo de Sn que se puede o identicar naturalmente con las rotaciones y simetr de un pol as gono regular de n vrtices en si mismo, se le llama el grupo diedral y se nota Dn . e 1.73 Ejemplo: D4 = {0 , 1 , 2 , 3 , 1 , 2 , 1 , 2 }, donde 1 = (1 2 3 4), 1 = (1 2)(4 3), 2 = (1 4)(2 3), 1 = (1 3), 2 = (2 4) y, para i {0, 2, 3} i = i (ver cuadro 1.6 y gura 1.3). 1
14 PSfrag replacements4
3 3 2 3
Cap tulo 1. Grupos

4
1
id
1234 2341
1234 2143
Figura 1.2: transformaciones del cuadrado 0 1 2 3 1 2 1 2 0 0 1 2 3 1 2 1 2 1 1 2 3 0 2 1 1 2 2 2 3 0 1 2 1 2 1 3 3 0 1 2 1 2 2 1 1 1 1 2 2 0 2 1 3 2 2 2 1 1 2 0 3 1 1 1 1 2 1 3 1 0 2 2 2 2 1 2 1 3 2 0
Cuadro 1.2: Tabla de operacin de D4 o 1.74 Ejercicios: 1. Pruebe que Sn no es un grupo abeliano para n 3. 2. Si A es un conjunto, entonces un subgrupo H de SA es transitivo sobre A , si para cada a, b A existe H tal que (a) = b. Pruebe que si A no es un conjunto vac entonces existe un subgrupo nito c o, clico K de SA que es transitivo sobre A, tal que |H| = |A|. 3. Pruebe que para todo subgrupo H de Sn , con n 2, se cumple que todas las permutaciones en H son pares o bien exactamente la mitad de ellas son pares.
1.7.
Coconjuntos y el Teorema de Lagrange
1.75 Denicin (Coconjunto): Sea H G. Denimos el coconjunto izo quierdo de H determinado por b, que notamos bH, por: bH := {bh : h H} , y el coconjunto derecho por Hb := {hb : h H}. Teorema 1.76 Sea H G. Entonces: i) {bH}bG es una particin de G. o
Coconjuntos y el Teorema de Lagrange

D4
15
PSfrag replacements
{0 , 2 , 1 , 2 } {0 , 1 , 2 , 3 } {0 , 2 , 1 , 2 }
{0 , 1 } {0 , 2 }
{0 , 2 }
{0 , 1 } {0 , 2 }
{0 }
Figura 1.3: ret culo de subgrupos de D4 ii) Todos los coconjuntos izquierdos de H son equipotentes. Un resultado similar se tiene para los coconjuntos derechos. Demostracin: Dena en G la relacin por a b si a1 b H. Como e H, o o es reexiva. Si a1 b H, (a1 b)1 = b1 a H, luego es simtrica. Si e a1 b, b1 c H, a1 bb1 c = a1 c H, luego es transitiva. Entonces es relacin de equivalencia. Suponga a [b] esto equivale a b1 a = h para algn o u h H, o a = bh que es lo mismo que a bH, luego [b] = bH. Con esto concluimos i). Ahora dena f : H bH por f (h) = bh. Es claro que f es sobreyectiva, la inyectividad es consecuencia inmediata de 1.6. Luego f es un biyeccin y as H o y bH son equipotentes. Para los coconjuntos derechos considere: a b : ab1 H. 1.77 Denicin (Indice): Sea H G. Denimos el indice de H como o nmero de coconjuntos izquierdos de H. u 1.78 Observacines y notacin. o o i) {bH}bG lo notamos G/H, {Hb}bG lo notamos H\G ii) Al ndice de H lo notamos (G : H). Si (G : H) es nito, entonces (G : H) := |G/H|. iii) Observe que |G/H| = |H\G|. iu) Si a bH, entonces aH = bH. De igual forma, si a Hb, Ha = Hb. Teorema 1.79 (Teorema de Lagrange) Sea G un grupo de orden nito. Si H G, entonces |H| | |G|, ms an |G| = |H|(G : H). a u
16 Demostracin: Por el teorema 1.76: o |G| = bHG/H |bH| = bHG/H |H| = (G : H)|H|
Cap tulo 1. Grupos
1.80 Los coconjuntos son parte fundamental de la teor del algebra, toca a entonces entenderlos y sentirlos. De esto se dar cuenta el lector a lo largo de a su estudio 1.81 Ejercicios: 1. Sean K H G grupos tales que (H : K) y (G : H) son nitos. Probar que (G : K) = (H : K)(G : H). 2. Sean H y K dos subgrupos nitos de un grupo G. Sea HK un subconjunto |H||K| de G denido por HK = {hk : h H, k K}. Probar que |HK| = |HK| .
Cap tulo 2
Homomorsmos
2.1. Homomorsmos
2.1 Denicin (homomorsmo): Sean G y G dos grupos. Una funcin o o : G G es un homomorsmo si para todo a, b G se tiene que: (ab) = (a)(b) 2.2 Observaciones sobre denicin 2.1. o i) Note que en el lado izquierdo de (2.1) la operacin es la de G, mientras o que en el lado derecho la operacin es la de G . o ii) Para todo par de grupos G, G , existe al menos un homomorsmo : G G , denominado el homomorsmo trivial denido por (g) = e , para todo g G, donde e es el elemento identidad en G . Sin embargo, este homomorsmo trivial no nos proporciona mucha informacin estructural o sobre G y G . 2.3 Ejemplos: i) Sea r Z y sea r : Z Z denido por r (k) = rk, para todo k Z. Entonces para todo m, n Z se tiene que r (m + n) = r(m + n) = rm + rn = r (m) + r (n). As r es homomorsmo. Note que 0 es el , homomorsmo trivial, 1 es le funcin identidad, y 1 es una funcin o o sobreyectiva de Z en Z. Para r = 1, r no es sobreyectiva. ii) Sea G = G1 G2 . . . Gi . . . Gn un producto directo de n grupos. La funcin proyeccin i : G Gi , denida por i : (g1 , . . . , gi , . . . , gn ) = gi o o es un homomorsmo para cada i {1, . . . , n}. iii) Sea : Z Zn dado por (m) = r, donde r es el residuo de la divisin o de m entre n. (2.1)
18
Cap tulo 2. Homomorsmos
2.2.
Propiedades de Homomorsmos
2.4 Denicin (Imagen, rango, imagen inversa): Sea : X Y una o funcin del conjunto X al conjunto Y . Sean A X y B Y . o i) La imagen [A] de A en Y bajo es el conjunto {(a) : a A}. ii) El conjunto [X] es el rango de . iii) La imagen inversa 1 [B] de B en X es el conjunto {x X : (x) B}. Teorema 2.5 Sea : G G un homomorsmo de grupos. Entonces: i) Si e es la identidad en G entonces (e) es la identidad e de G . ii) Si a G, entonces (a1 ) = (a)1 . iii) Si H es un subgrupo de G, entonces [H] es un subgrupo de G . iv) Si K es un subgrupo de G , entonces 1 [K ] es un subgrupo de G. Demostracin: Como a = ae, para todo a G, entonces (a) = (ae) = o (a)(e). Ahora multiplicando a ambos lados por (a)1 a derecha, se tiene que e = (e), que es lo que dice i). Para ver ii), e = (e) = (aa1 ) = (a)(a1 ), y multiplicando a ambos lados por (a)1 a derecha se tiene (a)1 = (a1 ). Sea H G y sean (a) y (b) dos elementos en [H]. Entonces (a)(b) = (ab), luego (a)(b) [H] pues ab H, esto es [H] es cerrado bajo operacin de o G . Ahora, como e = (e) y (a)1 = (a1 ) entonces [H] G , vericando iii). Sea K G y sean a, b 1 [K ]. Entonces (a)(b) K , puesto que K es grupo. Ahora, la ecuacin (2.1) prueba que ab 1 [K ]. As 1 [K ] es o , cerrado bajo la operacin de G. Adems, e K luego como e = (e), entonces o a e 1 [{e }] 1 [K ]. Y nalmente si a 1 [K ], entonces (a) K y (a)1 K . Pero (a)1 = (a1 ) y as a1 1 [K ]. Lo que completa la demostracin de iv). o 2.6 Denicin (Fibra): Sea : G G un homomorsmo y sea a G . o La imagen inversa 1 [{a }] es la bra sobre a bajo . De ahora en adelante notaremos 1 [{a }] por 1 (a ). 2.7 Nota. Como {e } es un subgrupo de G , el teorema 2.5 muestra que la bra 1 (e ) bajo un homomorsmo : G G es un subgrupo de G. Demostraremos a continuacin que las bras de G bajo son los coconjuntos o del grupo 1 (e ). As las bras de G bajo forman una particin de G (ver o gura 2.1).
PSfrag replacements
Propiedades de Homomorsmos
G
Ker() e a 1 (x ) b
19
G
e (a) (b) x
Figura 2.1: Fibras y Kernel 2.8 Denicin (Kernel): Sea : G G un homomorsmo, y e el neutro o en G. El kernel de es la bra sobre e bajo , y lo notamos Ker(). Formalmente:
Ker() := {g G : (g) = e } Teorema 2.9 Sean : G G un homomorsmo, H = Ker() y a G. Entonces la bra sobre (a) bajo es el coconjunto izquierdo aH de H, y es el coconjunto derecho Ha de H. Como consecuencia, las dos particiones de G en coconjuntos izquierdos y derechos de H son la misma. Demostracin: Se desea probar que {g G : (g) = (a)} = aH. o Suponga que a, g G son tales que (g) = (a). Entonces (a)1 (g) = e , donde e es la identidad en G . Por el teorema 2.5, sabemos que (a)1 = (a1 ), y entonces se tiene (a1 )(g) = e . Adems, como es homomorsa mo, (a1 )(g) = (a1 g), luego (a1 g) = e . Esto es a1 g H, o a1 g = h, para algn h H, luego g = ah aH. As {g G : (g) = (a)} aH. u Para comprobar la inclusin opuesta, considere g aH, entonces g = ah pao ra algn h H. Esto implica (g) = (ah) = (a)(h) = (a)e = (a). u As g {g G : (g) = (a)}, luego aH {g G : (g) = (a)}. Una demostracin similar demuestra el mismo resultado para coconjuntos deo rechos. Corolario 2.10 Un homomorsmo : G G es inyectivo si y slo si Ker() = o {e}. Demostracin: Suponga que Ker() = {e}, entonces si a, g G son tales que o (a) = (g), g aKer(). Pero aKer() = a{e} = {a}. Luego g = a. Para demostrar la implicacin inversa, suponga que es inyectiva. Por el teoreo ma 2.5 (e) = e , la identidad de G . Pero es inyectiva, luego el unico elemento enviado a e por es e, luego Ker() = {e}.
20
2.3.
Subgrupos normales
2.11 Denicin (Subgrupo normal): Un subgrupo H de G es normal si o sus coconjuntos derechos e izquierdos coinciden, lo que notaremos por H G. Es decir: H G : g G, gH = Hg
2.12 Observacin. Todo subgrupo de un grupo abeliano es normal. o Corolario 2.13 (al Teorema 2.9) Ker() mo con dominio G. Teorema 2.14 H G para cualquier homomors-
G (h, g) H G, ghg 1 H
Demostracin: Suponga que H G. Sea h H y g G. Como gh gH y por o denicin gH = Hg, entonces gh = h g, para algn h H. Luego ghg 1 = h , o u esto implica ghg 1 H. Ahora suponga que para todo h H y para todo g G, ghg 1 H. Considere algn g G. Sea gh gH, con h H, as ghg 1 H, o ghg 1 = h , para algn u u h H, luego gh = h g Hg. As gH Hg. De forma similar establecemos Hg gH. Luego gH = Hg. Corolario 2.15 H G g G, gHg 1 = H
2.16 Nota. Frecuentemente consideraremos la caracterizacin del teorema o 2.14 y de su corolario 2.15 para hacer demostraciones. 2.17 Ejemplo: Sea S3 el grupo simtrico sobre {1, 2, 3} y sea H el subgrupo e que consiste de la permutacin identidad y de la transposicin (1 2). Entonces o o H no es normal pues (2 3)1 (1 2)(2 3) = (2 3)(1 2)(2 3) = (1 3) y (1 3) H. / Lema 2.18 Sea H G y sean g1 , g2 G. Entonces g1 Hg2 H = (g1 g2 )H.
Demostracin: g2 H = Hg2 as o : g1 Hg2 H = g1 (Hg2 )H = g1 (g2 H)H = (g1 g2 )H. Teorema 2.19 Sea H G. Entonces el conjunto de todos los coconjuntos de H en G es un grupo bajo la operacin que a (g1 H, g2 H) le asocia (g1 g2 )H. o El elemento identidad de este grupo es H, y el inverso de gH es g 1 H, para cualquier g G. Demostracin: Por el lema anterior el conjunto de los coconjuntos es cerrado o bajo la operacin. Sea g G. El subgrupo H es un coconjunto de H pues H = o eH. Adems, gHH = gHeH = (ge)H = gH, HgH = eHgH = (eg)H = H, a gHg 1 H = (gg 1 )H = eH = H y nalmente g 1 HgH = (g 1 g)H = eH = H. As el conjunto de todos los coconjuntos de H es un grupo. ,
Isomorsmos y el Teorema de Cayley
21
2.20 Observacin. Es interesante en este momento observar que el resultado o anterior es otra forma de caracterizar los grupos normales, es decir un subgrupo es normal si y slo la operacin del teorema anterior resulta bien denida. o o Formalmente: Sea B = {Bi }iI una particin de G tal que (Bi , Bj ) Bi Bj es o una operacin bien denida de B B en B. Entonces B0 , la clase de e es un o subgrupo normal de G, B = G/B0 y la operacin es (g1 B0 , g2 B0 ) (g1 g2 )B0 o (ver ejercicio ??). Teorema 2.21 Sean K, N G, con N i) N K ii) N K G. Entonces:
<N K >
iii) N K =< N K >= KN iv) si K G y N K = {e}. Entonces: nk = kn, (n, k) K N
Demostracin: Como N G entonces por la caracterizacin 2.14, gng 1 N , o o para todo n N y g G. Luego si n N K N y k K, knk 1 N . As knk 1 N K, pues knk 1 K, de donde i) es vericado. Como N < N K >, ii) es trivialmente concluido segn el teorema 2.14. u Para demostrar iii), observe primero que N K < N K >, con lo cual unica mente debemos ver que < N K > N K. Ahora, un elemento h < N K > es un producto de la forma n1 k1 n2 k2 . . . nr kr , con ni N y ki K, para i {1, . . . , r}. Como N G, entonces, como se vi en la demostracin de 2.14, o o si k K y n N , kn = n k para algn n N . En trminos prcticos esto es, u e a podemos correr los ki s hacia la izquierda y as h = n(k1 k2 . . . kr ), para algn u n N , luego h N K, de forma similar h KN . Y as la inclusin que faltaba o es vericada. Suponga las hiptesis adicionales para iv), y sean k K y n N . Entonces o nkn1 K y kn1 k 1 N , luego (nkn1 )k 1 K y n(kn1 k 1 ) N , pero N K = {e} luego nkn1 k 1 = e o nk = kn. Teorema 2.22 Sean H, K G, entonces |HK| |H K| = |H| |K|, y as (H : H K) = |HK|/|K| si H y K son nitos. Demostracin: Dena la relacin de equivalencia en H K por (h, k) (h , k ) o o si hk = h k , esto es si (h )1 h = k k 1 , o mas an si (h , k ) = (gh, gk 1 ) u para algn g H K. Entonces cada una de las |HK| clases de equivalencia u es de tamao |H K|. Ahora considere f : H K/ HK denida por n f ([(h, k)] ) = hk. As f es biyectiva y |HK| |H K| = |H| |K|. ,
2.4.
Isomorsmos y el Teorema de Cayley
2.23 Denicin (Isomorsmo): Un isomorsmo es un homomorsmo o biyectivo.
22
Teorema 2.24 Sea C una coleccin de grupos, y dena la relacin o o en C por G G si existe un isomorsmo : G G . Tenemos que es una relacin o de equivalencia sobre C. Demostracin: La identidad es un isomorsmo, luego es reexiva. o Si : G G es un isomorsmo, su inversa tambin, luego es simtrica. e e La composicin de dos isomorsmos es un isomorsmo, luego es transitiva. o 2.25 Observacines. o i) Toda coleccin de grupos se puede particionar mediante la relacin o o .
ii) La estructura de dos grupos isomorfos es la misma, luego podemos identicarlos como uno solo, pues su unica diferencia es el nombre de los ele mentos. 2.26 Para probar que dos grupos G y G son isomorfos debemos: i. Denir una funcin : G G o ii. Probar que es un homomorsmo. iii. Probar que es biyectiva. Note lo util que puede resultar el corolario 2.10 al teorema 2.9 para probar iii.. Teorema 2.27 Todo grupo cclico innito es isomorfo a < Z, + >. Demostracin: Sea a un generador de G, as G = {an : n Z}. Dena : o G Z por (an ) = n. Ahora (an am ) = (an+m ) = n + m = (an ) + (am ). Finalmente observe que (an ) = 0 si y slo si n = 0, luego es inyectiva, y o adems dado n Z, (an ) = n, luego es sobreyectiva. a Teorema 2.28 (Teorema de Cayley) Todo grupo es isomorfo a un subgrupo de un grupo de permutaciones. Demostracin: Sea G un grupo y SG es grupo simtrico sobre G. Si a G dena o e a : G G por a (g) = ag. Ahora si a (g) = a (g ) entonces ag = ag luego g = g , y a (a1 g) = g, as vemos que a es una permutacin, pues es una o biyeccin. o Sea G = {a : a G}, como 1 = a1 y e = Id entonces G SG . Y a as mismo vemos que g g es un isomorsmo. 2.29 Observacin. El teorema de Cayley parece decir algo bastante general. o Pero en la teor que estamos estudiando ac no es de mucha utilidad. a a
Grupo Factor
23
2.5.
Grupo Factor
2.30 En el teorema 2.19 vimos que si H G entonces el conjunto de los coconjuntos de H bajo la operacin (aH, bH) abH es un grupo. Esto motiva o la siguiente: 2.31 Denicin (Grupo factor): Sea G un grupo. Dado H G el grupo de o los coconjuntos de H bajo la operacin (aH, bH) abH es el grupos factor o de G mdulo H. Lo notaremos G/H. o 2.32 Observacin. Segn el corolario 2.13 dado un homomorsmo con kero u nel H, podemos denir el grupo factor de G mdulo H. Este grupo factor o jugar un rol supremamente importante en el resto de la teor como empea a, zaremos vindolo en el teorema fundamental del homomorsmo (ver teorema e 2.36). 2.33 Ejemplo: Z4 Z2 es abeliano, luego todos sus subgrupos son normales, en particular {0} Z2 . Entonces (Z4 Z2 )/({0} Z2 ), es un grupo y adems a es tambin abeliano, y as lo podemos clasicar de acuerdo al teorema de los e grupos abelianos nitamente generados (teorema 1.48). Ahora, Z4 Z2 = {(0, 0), (0, 1), (1, 0), (1, 1), (2, 0), (2, 1), (3, 0), (3, 1)} y {0} Z2 = {(0, 0), (0, 1)} si podemos G = Z4 Z2 y H = {0} Z2 H1 = H + (1, 0) = {(1, 0), (1, 1)} H2 = H + (2, 0) = {(2, 0), (2, 1)} H3 = H + (3, 0) = {(3, 0), (3, 1)} tenemos G/H = {H, H1 , H2 , H3 }, as como G/H tiene cuatro elementos, solo hay dos alternativas: G/H Z2 Z2 o G/H Z4 . Pero G/H =< H1 > luego es c clico, y as es isomorfo Z4 .
2.6.
Teorema Fundamental del Homomorsmo
Lema 2.34 Si H G, : G G/H denida por (g) = gH es un homomorsmo con kernel H. Demostracin: Es consecuencia directa del teorema 2.19. o 2.35 Denicin (proyeccin cannica): Si H o o o G, a H : G G/H denida por (g) = gH la llamamos proyeccin cannica, o homomorsmo o o cannico, de kernel H. o
24
Teorema 2.36 (Teorema Fundamental del Homomorsmo) Sea : G G un homomorsmo con kernel H. Entonces la funcin : G/H [G] tal o que = H , es un isomorsmo. Demostracin Sean g, g G tales que gH = g H, as g 1 g H esto equivale o a (g)1 (g ) = (g 1 g ) = e . Esto es (g) = (g ), entonces podemos denir por (gH) := (g). Pero H (g) = gH, luego = H . Ahora por el teorema 2.19 es un homomorsmo. Es evidente que es sobreyectivo, y la inyectividad la podemos deducir de la equivalencia entre gH = g H y (g) = (g ). As es isomorsmo. Su unicidad es evidente, pues si : G/H [G] es tal que = H , (gH) = (g). Corolario 2.37 Si : G G es un homomorsmo sobreyectivo con kernel H, G/H G . 2.38 Observacin. El teorema fundamental del homomorsmo nos habla de o la dinmica del grupo G: si tenemos un homomorsmo sobreyectivo de G en a G con kernel H, podemos descomponer la operacin de G en dos partes una o primera que tiene la dinmica de H con consecuencias en otra despus que tiene a e la de G . Por ejemplo sea a, c G, b aH con b = ah y d cH con d = ch, entonces bd acH y si h H es tal que ch = h c, bd = ac(h h) (ver gura 2.2). Una visualizacin de esto es la operacin de suma en los reales que se o o puede descomponer en una parte decimal y en otra entera (1, 75 0, 75 + Z, PSfrag replacements 2, 43 0, 43 + Z, 4, 18 = 1, 75 + 2, 43 1, 18 + Z = 0, 18 + Z).
bd = ac(h h)
acH . . . aH
uv
b = ah
cH
v d = ch
. . .
h h
H
e h
h
G G
Figura 2.2: Teorema Fundamental del Homomorsmo
Clculo de Grupo Factor a
25
2.7.
Clculo de Grupo Factor a
2.39 Ejemplos: i) El subgrupo trivial {0} de Z es un subgrupo normal. Calculemos Z/{0}. Como N = {0} tiene unicamente un elemento, todo coconjunto de N tiene un solo elemento. Es decir, los coconjuntos son de la forma {m} para algn u m entero. As Z/{0} Z ii) Sea n N . El conjunto nR = {nr : r R} es un subgrupo de R con la adicin. nR es normal puesto que R es abeliano. Calculemos R/nR. o x x Note que cada x R es de la forma n( n ) con n R. De ah que para cualquier x R tenemos que x nR. Entonces nR = R y en consecuencia R/nR consta de un unico elemento, a saber, nR. A nR/R no le queda mas alternativa que ser el grupo trivial. 2.40 Observacin. Por el teorema fundamental del homomorsmo, podemos o pensar en el grupo factor G/H como un grupo en el cual cada coconjunto de H colapsa a un slo elemento. En particular H colapsa a un neutro. Como o acabamos de ver el colapso puede variar de inexistente (cuando H = {e}), a catastrco (cuando H = G). Es claro que estos dos tipos de colapsos no nos o proporcionan mayor informacin sobre la dinmica en G. o a 2.41 Ejemplos: i) Comencemos observando lo siguiente: Si G es un grupo nito y G/N tiene solo dos elementos, entonces |G| = 2|N |. Note adems que cualquier suba grupo conteniendo la mitad de los elementos de G es forzosamente normal, puesto que dado a G, a esta en H o no esta en H. En el primer caso se tendr a H, aH = H = Ha, y en el segundo a H, aH = Ha forzoa / samente. Ahora bien, como sabemos que |Sn | = 2|An |, entonces el grupo alternante An es un subgrupo normal de Sn y el grupo cociente tiene dos elementos. Sabiendo que cualquier grupo de orden dos es isomorfo a Z2 conocemos completamente la operacin en Sn /An . Tomando An una o / permutacin impar y si renombramos An por impar y An por par o vericamos la siguiente propiedad de la dinammica de Sn : a (par)(par) = par (impar)(par) = impar (par)(impar) = impar (impar)(impar) = par Vemos como conocimiento acerca de la operacin en el grupo factor S n /An o reeja una propiedad de la operacin en Sn . o ii) El rec proco del teorema de Lagrange no es cierto. Veamos que no es cierto que k | |G| implique que exista algn H G tal que |H| = u k. Mostraremos que A4 no tiene subgrupos de orden seis. Suponga por contradiccin que H es un subgrupo de A4 de orden seis. Como |A4 | = 12, o H es normal. As A4 /H tiene solo dos elementos H y H para algn u
26
Cap tulo 2. Homomorsmos H. Como en un grupo de orden dos el cuadrado de todo elemento / es la identidad, entonces HH = H y HH = H. Ahora, el producto en el grupo factor se puede lograr mediante el producto de elementos representativos de los los coconjuntos, luego tenemos que para cualquier A4 , 2 H. Pero en A4 se tiene (123) = (132)2 y (132) = (123)2 luego (123) y (132) estn en H. De la misma forma se verica que (124), (142), a (134), (143), (234) estn todos en H. Esto muestra que H tiene al menos a ocho elementos, contradiciendo la hiptesis de que H tenia seis elementos. o
iii) Calculemos el grupo factor Z4 Z6 / < (0, 1) >. Sea H =< (0, 1) >, as H = {(0, 0), (0, 1), (0, 2), (0, 3), (0, 4), (0, 5)} Como H tiene 6 elementos, todos los coconjuntos de H tambin deben tener 6 elementos y |(Z4 e Z6 )/H| = 4. Como Z4 Z6 es abeliano, entonces Z4 Z6 /H tambin. Los e coconjuntos de H en Z4 Z6 son: H = (0, 0) + H H1 = (1, 0) + H H2 = (2, 0) + H H3 = (3, 0) + H As Z4 Z6 / < (0, 1) > es c clico, luego es isomorfo a Z4 . Teorema 2.42 Sea G = H K el producto de dos grupos H y K. Entonces H = {(h, e) : h H} es un subgrupo normal de G. Adems, G/H es isomorfo a H a K. Similarmente, G/K Demostracin: Considere el homomorsmo 2 : H K K, donde 2 (h, k) = o k. Como Ker(2 ) = H y 2 es sobreyectiva, el teorema 2.36 nos dice que K. H K/H Teorema 2.43 Un grupo factor de un grupo cclico es cclico. Demostracin: Sea G =< a >, y N G. As N G, y cmo a genera todo G, o o aN genera todo G/N . Luego G/N =< aN > es c clico. 2.44 Observacin. Ya vimos que un grupo factor de un grupo no c o clico bien podra ser c clico (por ejemplo, Sn /An , para n 3). El teorema 2.42 nos muestra como algunos grupos factor colapsan separadamente, este no siempre es el caso como lo veremos ahora mismo. 2.45 Ejemplos: i) Calculemos Z4 Z6 / < (0, 2) >. Sea H =< (0, 2) >= {(0, 0), (0, 2), (0, 4)}. En primera instancia note que Z4 Z6 es abeliano, luego el grupo factor tambin es abeliano, y como |H| = 3, es de orden 8. Usando el teorema e fundamental de los grupos abelianos nitamente generados, sabemos que
Grupos simples
27
el grupo factor debe ser isomorfo a uno de los siguientes grupos: Z8 , Z4 Z2 o Z2 Z2 Z2 . Con un poco de paciencia calculamos los coconjuntos: H = (0, 0) + H = {(0, 0), (0, 2), (0, 4)} H1 = (0, 1) + H = {(0, 1), (0, 3), (0, 5)} H2 = (1, 0) + H = {(1, 0), (1, 2), (1, 4)} H3 = (1, 1) + H = {(1, 1), (1, 3), (1, 5)} y los subgrupos generados son: < H1 < H2 < H3 < H4 < H5 < H6 < H7 >= {H, H1 } >= {H, H2 , H4 , H6 } >= {H, H3 , H4 , H7 } >= {H, H4 } >= {H, H5 } >=< H2 > >=< H3 > H4 H5 H6 H7 = (2, 0) + H = (2, 1) + H = (3, 0) + H = (3, 1) + H = {(2, 0), (2, 2), (2, 4)} = {(2, 1), (2, 3), (2, 5)} = {(3, 0), (3, 2), (3, 4)} = {(3, 1), (3, 3), (3, 5)}
Como no hay ningn elemento de orden 8, entonces no puede ser isomorfo a u Z8 . Como no todo elemento tiene orden 2, entonces tampoco lo puede ser a Z2 Z2 Z2 . Entonces no quedendo ms alternativa, es isomorfo a Z4 Z2 . a Este es un ejemplo de como los coconjuntos colapsan separadamente. ii) Calculemos el grupo factor (Z4 Z6 )/ < (2, 3) >. Sea H =< (2, 3) >, entonces H = {(0, 0), (2, 3)}. Como H es de orden 2, entonces (Z4 Z6 )/H es de orden 12. Se podr cometer el error de pensar que Z4 y Z6 sepaa radamente colapsan en grupos isomorfos a Z2 y que y entonces el grupo factor ser isomorfo a Z2 Z2 . De esta manera el grupo factor tendr a a orden 4 y no 12 como de hecho es. Tenga cuidado en no pensar que los factores siempre colapsan separadamente!! Ahora bien, los grupos abelianos de orden 12 son: Z4 Z3 (que es isomorfo a Z12 ), Z6 Z2 y Z2 Z2 Z3 . Adems Z4 Z3 es el unico que tiene un elemento de orden 4. Probaremos a que el coconjunto (1, 0) + H es un elemento de orden 4. Para encontrar la potencia mas pequea de un coconjunto que de la identidad, basta esn coger la potencia mas pequea del representante que este en H. Ahora, n 4(1, 0) = (1, 0) + (1, 0) + (1, 0) + (1, 0) = (0, 0). Por lo tanto (Z4 Z6 )/H tiene un elemento de orden 4 y as es isomorfo a Z4 Z3 .
2.8.
Grupos simples
G, [N ] [G]. Si
Teorema 2.46 Sea : G G un homomorsmo. Si N N [G], 1 [N ] G.
Demostracin: Sean N o GyN [G]. [N ] [G] y 1 [N ] G por el teorema 2.5. Ahora si ((g), (n)) [G] [N ], gng 1 N y (gng 1 ) = (g)(n)(g)1 [N ], luego [N ] [G]. Por otro lado si g, n G 1 [N ], (gng 1 ) = (g)(n)(g)1 N y gng 1 1 [N ], luego 1 [N ] G.
28
2.47 Ejemplo: En S3 considere = (2 3). Dena el homomorsmo : Z2 S3 por (0) = 0 y (1) = . Ahora bien Z2 Z2 , pero {id, } = [Z2 ] no es subgrupo normal de S3 , como ya se vio previamente. 2.48 Observaciones. i) Como lo muestra el ejemplo anterior, an si N u subgrupo normal de G . G, [N ] puede no ser
ii) Sabiendo que construir grupos factor nos ilustra sobre la dinmica del a grupo, podemos preguntarnos en que condiciones un grupo no admite sino colapsos triviales. 2.49 Deniciones (Grupo simple, subgrupo normal maximal): i) Un grupo G es llamado simple si su unico subgrupo propio normal es {e}. ii) Un subgrupo propio normal M de G es llamado maximal, si: N GM <N N =G
2.50 Observaciones a la denicin 2.49. o i) Semejante a los nmeros primos, el grupo trivial no es simple. u ii) Un subgrupo es normal maximal si y slo si el unico subgrupo normal que o lo contiene propiamente es todo el grupo. Teorema 2.51 M es un subgrupo normal maximal de G si y slo si G/M es o simple. Demostracin: Sea M un subgrupo normal maximal de G. Considere la proyeco cin cannica M , y tome N o o G/M . Ahora, por el teorema 2.46, 1 [N ] G. 1 Entonces si N = {M }, [N ] = Ker(M ) = M , de lo contrario M < 1 (N ) lo cual implica 1 (N ) = G, y as N = G/M . As el unico subgrupo propio normal de G/M es {M }. Para vericar el converso, suponga que G/M es simple, y tome N G tal que M < N . As M [N ] G/M y N = {M }, luego M [N ] = G/M . Entonces N es un subgrupo de G que contiene a M y a un representante de cada coconjunto de M , luego N = G. As M es normal mximal. a
2.9.
El centro y el conmutador
2.52 Todo grupo tiene dos subgrupos normales importantes, el centro y el conmutador, que nos indican de cierto modo que tan abeliano es G. Por un lado nos podemos preguntar qu elementos conmutan en G, y por otro, e cmo podriamos abelianizar G (i.e encontrar un grupo factor de G abeliano o y parecido a G).
El centro y el conmutador
29
2.53 Notacin. Dados a, b G notaremos aba1 b1 por [a : b] y lo llamareo mos conmutador de a y b. Teorema 2.54 K = {z G : zg = gz, g G} y H =< {[a : b] : a, b G} > son subgrupos normales de G. Demostracin: Comencemos con K, si g G, eg = ge, luego e K. Ahora o si k1 , k2 K y g G, k1 g = gk1 , as multiplicando a izquierda y derecha 1 1 1 1 por k1 obtenemos, gk1 = k1 g, luego k1 K, y k1 k2 g = k1 gk2 = gk1 k2 , as k1 k2 K. Entonces K G. Ahora sea (g, k) G K. Entonces si g G, (gkg 1 )g = kg = g k = g (gkg 1 ), luego gkg 1 K. As K G. Ahora preocupemonos por H. H G por denicin. Si a, b G, e = [a : a] H, o [a : b]1 = [b : a] H. Luego por el teorema 1.38, H consiste de todos los productos nitos de conmutadores. Si x, y, g G, gxyg 1 = (gxg 1 )(gyg 1 ), entonces concluiremos que H es normal si g[x : y]g 1 es un producto de conmutadores. Pero, g[x : y]g 1 = gxyx1 y 1 g 1 = gxyx1 (g 1 y 1 yg)y 1 g 1 = ((gx)y(gx)1 y 1 )(ygy 1 g 1 ) = [gx : y][y : g]
luego H
G.
2.55 Deniciones (Centro y conmutador): i) El centro de G es el subgrupo Z(G) denido por: Z(G) := {z G : zg = gz, g G} ii) El conmutador de G es el subgrupo C(G) denido por: [G : G] :=< {[a : b] : a, b G} > 2.56 Observacin: En el caso en que G es abeliano, su centro es todo G y o su conmutador es {e}. Bajos estas condiciones estos subgrupos, como se pod a esperar, no son de mucha utilidad. 2.57 Ejemplo: Por vericacin (continuando el ejemplo 1.56), vemos que o Z(S3 ) = {id} Teorema 2.58 Sea G un grupo: i) G/[G : G] es abeliano. ii) G/N es abeliano si y slo si [G : G] N o
30
Demostracin: Sean a, b G, como [a : b] [G : G], ab(ba)1 [G : G] = [G : G], o luego ab[G : G] = ba[G : G]. As G/[G : G] es abeliano. Ahora suponga que G/N es abeliano, esto equivale a: para todo a, b G, abN = baN ; que sucede si y slo si [a : b] = ab(ba)1 N para todo a, b G, que es o [G : G] N . 2.59 Ejemplo: S3 /A3 es abeliano luego [G : G] A3 . Con la notacin de o 1.56, [ : ] = 2 = = 2 y [2 : ] = 2 = 2 = = . Luego A3 [G : G]. Concluimos que [G : G] = A3 .
2.10.
Ejercicios
1. Sea : G G un homomorsmo de grupos. Pruebe que: (a) Si |G| es nito, entonces |[G]| es nito y es un divisor de |G|. (b) Si |G | es nito, entonces |[G]| es nito y es un divisor de |G |. 2. Pruebe que todo homomorsmo : G G donde |G| es un primo debe ser o bien el homomorsmo trivial o bien un homomorsmo inyectivo. 3. Sea G un grupo y sea g un elemento jo de G. Pruebe que la aplicacin o ig : G G denida por ig (x) = gxg 1 es un isomorsmo de grupos. (Un isomorsmo de un grupo G en si mismo es llamado un automorsmo de G. El automorsmo ig es llamado el automorsmo interno de G por g). 4. Sea H un subgrupo de un grupo G. Pruebe que H G si y solo si ig [H] = H, para todo g G. (Es decir, H es normal en G si y solo si H es invariante bajo todos los automorsmos internos de G). 5. Un subgrupo H es dicho conjugado con un subgrupo K de un grupo G si existe un automorsmo interno ig de G tal que ig [H] = K. Pruebe que la conjugacin es una relacin de equivalencia sobre la coleccin de o o o subgrupos de G. 6. Sea H un subgrupo normal de un grupo G, y sea m = (G : H). Pruebe que am H para todo a G. 7. Pruebe que la interseccin de subgrupos normales de un grupo G es un o subgrupo normal de G. 8. Pruebe que si un grupo G tiene exactamente un solo subgrupo H de un orden dado, entonces H G. 9. Pruebe que si H y N son subgrupos de un grupo G, donde N es normal en G, entonces H N es normal en H. Pruebe con un ejemplo que H N no es necesariamente normal en todo G.
Ejercicios
31
10. Pruebe que el conjunto de todos los automorsmos de un grupo G forman un grupo bajo la operacin de composicin.( Dicho grupo se denota por o o AUT(G)). 11. Pruebe que los automorsmos internos de un grupo G forman un subgrupo normal de AUT(G). (Pruebe primero que el conjunto de los automorsmos internos de G es un subgrupo de AUT(G)). 12. Sean G y G dos grupos y sean H y H subgrupos normales de G y G respectivamente. Sea un homomorsmo de G en G tal que [H] H . Pruebe que induce un homomorsmo natural : G/H G /H . 13. Pruebe que si un grupo nito G contiene un subgrupo propio de ndice 2 en G, entonces G no es simple. 14. Pruebe que si un grupo G no es abeliano, entonces el grupo factor G/Z(G) no es c clico. 15. Use el ejercicio anterior para probar que un grupo G no abeliano de orden pq, donde p y q son primos, tiene un centro trivial.
32
Cap tulo 3
Conjugacin o
3.1. Elementos y subgrupos conjugados
3.1 Denicin (Elementos conjugados): Dos elementos k, h de un mismo o grupo G son conjugados si k = ghg 1 para algn g G. u 3.2 Observaciones a la denicicin 3.1. o i) La relacin ser conjugados es una relacin de equivalencia en el grupo, la o o vericacin de esta trivialidad se le deja al lector. Las clases de equivao lencia de esta relacin las denominaremos clases de conjugacin y la o o notaremos [h]. ii) La clase de conjugacin de la identidad contiene solamente a la identidad. o Adems es la unica clase de conjugacin que es un grupo, ya que las otras a o no contienen a la identidad. iii) Un grupo es abeliano si y slo si todas sus clases de conjugacin son o o conjuntos unipuntuales (ejercicio). 3.3 Denicin (Centralizador): Sea G un grupo y h G. El Centralizao dor de h, que notaremos C(h), esta denido por: C(h) := {g G : hg = gh} 3.4 Ejemplo: Considere S3 , el grupo de permutaciones sobre el conjunto {1, 2, 3}. Sea h = (1 2). Entonces, el centralizador de h es C(h) = {id, (1 2)}. Claramente C(h) S3 , pero C(h) no es subgrupo normal en S3 pues (1 3)(1 2)(1 3)1 = (2 3). 3.5 Observacin. El Centralizador de h son justamente los elementos de G o que conmutan con h. Evidentemente e C(h), ahora si g, g C(h) entonces hgg = ghg = gg h, esto es gg C(h). Lo anterior muestra que C(h) G. El
34
Cap tulo 3. Conjugacin o
centralizador tiene apariencia de ser un subgrupo normal, aunque el ejemplo anterior muestra que no siempre es el caso. Pero, aunque C(h) no es subgrupo normal, si podemos denir las siguientes aplicaciones que sern de gran utilidad a en el futuro: 3.6 h : G G g hgh1 Note que si hgh1 = hg h1 entonces g = g y si g = h1 gh entonces hg h1 = g, luego h es una biyeccin. Ademas para g, g G arbitrarios hgg h1 = o (hgh1 )(hg h1 ), luego h es isomorsmo de G en G (es decir, h es un automorsmo de G). Ahora bien, si b gC(h) entonces b = gk para algn k C(h) as bhb1 = u gkh(gk)1 = gkhk 1 g 1 = ghg 1 . Luego: fh : G/C(h) G gC(h) g (h) esto es fh (gC(h)) = ghg 1 , esta bien denida. Note que fh no es necesariamente un homomorsmo pues G/C(h) no tiene porque tener estructura de grupo, puesto que C(h) no es necesariamente normal en G. Teorema 3.7 Sea G un grupo nito, y h G. Entonces: |[h]| = (G : C(h)). Demostracin: Es claro que para demostrar esto basta ver que la aplicacin o o fh denida en 3.6 es biyectiva, ya que cuando g recorre G, fh (g) recorre [h]. Suponga que fh (aC(h)) = fh (bC(h)), esto es aha1 = bhb1 o b1 ah = hb1 a, luego b1 a C(h) lo que equivale a aC(h) = bC(h). Ahora sea a [h] as a = ghg 1 para algn g G, luego g (h) = a o fh (gC(h)) = a. u 3.8 El hecho que g sea un isomorsmo, implica que si H G entonces gHg 1 G, lo que nos sugiere expandir nuestra relacin de ser conjugados a la o siguiente, que tambin es de equivalencia: e 3.9 Denicin (Subgrupos conjugados): Dos subgrupos H, K de un miso mo grupo G son conjugados si K = gHg 1 para algn g G. u
3.2.
An para n 5 es simple
3.10 Recordemos los siguientes resultados ya obtenidos: i) Toda permutacin de un conjunto nito es la permutacin identidad, un o o ciclo, o un producto de dos o ms ciclos disyuntos. a
An para n 5 es simple
35
ii) Toda permutacin de un conjunto nito con ms de un elemento puede o a expresarse como un producto nito de transposiciones. iii) Una permutacin de un conjunto nito es un producto o bien de un nmero o u par de transposiciones o bien de un nmero impar de transposiciones, pero u no las dos. iu) Un n-ciclo es, par si n 1 es par; impar si n 1 es impar. u) Toda permutacin par de un conjunto nito con al menos tres elementos o puede expresarse como un producto de 3-ciclos. ((a b)(a c) = (a b c), (a b)(c d) = (a c b)(a c d)) Lema 3.11 Si k n 2 es impar, todos los k-ciclos en An pertenecen a una misma clase de conjugacin. o Demostracin: Sea k como en las hiptesis. Demostraremos que todo k-ciclo o o es conjugado de h = (1 2 . . . k). Considere un ciclo k = (m1 m2 . . . mk ) en An . Sea g An tal que g(i) = mi (Por qu existe un tal elemento en An ?). e As g 1 (mi ) = i. Ahora si i k 1, ghg 1 (mi ) = gh(i) = g(i + 1) = mi+1 y ghg 1 (mk ) = gh(k) = g(1) = m1 . Pero si d {1, . . . , n} es tal que d = mi , para todo i {1, . . . , k}, g 1 (d) k + 1, y as hg 1 (d) = g 1 (d) entonces ghg 1 (d) = d. Luego ghg 1 = k, esto es k y h son conjugados. 3.12 Observacin: A4 no es simple. Considere o V4 := {id, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} Sea g A4 , entonces g(1 2)(3 4)g 1 = (g(1) g(2))(g(3) g(4)) es un elemento de V4 y algo similar sucede con las otras dos permutaciones de V4 diferentes a la identidad. Luego V4 A4 . (Ejercicio: pruebe que V4 es el unico subgrupo normal propio no trivial de A4 ). Lema 3.13 Sea n 5 y N An no trivial. Entonces, existen g N \{id} y a {1, 2, . . . , n}, tales que g(a) = a. Demostracin: Dividimos la prueba en dos casos: uno, todo elemento h N es o tal que h2 = id; dos, el caso en que no. Suponga que primero que no, y sean h N y a {1, 2, . . . , n} tales que h2 (a) = a. Sea b = h(a), c = h(b), as a, b y c son distintos. Ahora como n 5, existen otros dos elementos d, e distintos a los tres anteriores. Sea h = (c d e)h(c d e)1 as h N y h (a) = b, h (b) = d. Luego h = h y si g = h1 h , entonces g N , donde g no es la identidad y g(a) = a. Ahora suponga el otro caso, y sea h N \{id} y a {1, 2, . . . , n} tal que h(a) = a. Sea b = h(a). Ahora como h es par h = (a b) y as existen dos elementos ms c y d, distintos, tales que h(c) = d. Sea e un quinto elemento a distinto de a, b, c, y d, y sea h = (c d e)h(c d e)1 . Entonces h N es tal que h (a) = b y h (d) = e luego h = h y si g = h1 h , entonces g N , donde g no es la identidad y g(a) = a.
36 Lema 3.14 Sea n 5 y N
Cap tulo 3. Conjugacin o An . Si N contiene un 3-ciclo, N = An .
Demostracin: Por el lema 3.11 si N contiene un 3-ciclo, al ser normal tambin o e contiene los demas 3-ciclos. Ahora por 3.10 u), estos generan An . Teorema 3.15 Si n 5, An es simple. Demostracin: Procederemos por induccin sobre n. o o Sea N A5 no trivial. Por el lema 3.13, existen g N \ {id} y a {1, . . . , 5} tales que g(a) = a. Sea h A5 tal que h(a) = 5, y g = hgh1 , luego g (5) = 5 y g N \ {id}. Dena H = {g A5 : g(5) = 5}, as H G y H A4 . Luego N H H, y g N H, y como el unico subgrupo propio no trivial normal de A4 es V4 , {(1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} N H. Ahora (1 2)(4 5) = (3 4 5)(1 2)(3 4)(3 4 5)1 , luego (1 2)(4 5) N . Adems a (3 4 5) = (1 2)(3 4)(1 2)(4 5), as (3 4 5) N . Entonces por el lema 3.14, N = A5 . Sea n > 5. Suponga que An1 es simple. Sea N An no trivial y H = {g An : g(n) = n}. Por el lema 3.13, existen g N \ {id} y a {1, . . . , n} tales que g(a) = a. Sea h An tal que h(a) = n, y g = hgh1 , luego g (n) = n y g N \ {id}. Luego N H H, y g N H, entonces N H = H, pues H An1 y An1 es simple, as N contiene un 3-ciclo y entonces por el lema 3.14, N = An . 3.16 Observaciones. i) Actualmente debe ser claro para el lector lo elegante de la conjugacin o en los grupos de permutaciones. Si h = n (ai bi ), entonces ghg 1 = i=1 n i=1 (g(ai ) g(bi )). Es impreciso hablar de una productoria en un grupo no abeliano, para que la identidad sea cierta se requiere que se considere el mismo orden en el producto que expresa ghg 1 que el que se us para o h. Lo anterior, evidentemente, no es lo unico impresionante en todo esto. ii) Uno de los objetivos de los primeros cursos en Algebra Abstracta es demostrar la insolubilidad de los polinomios de grado mayor o igual a cinco (la insolubilidad de la quintica). Por extrao que nos parezca actualn mente, el hecho que An sea simple para n 5 es una de las razones para ello. Elegante, no?. Sigamos entonces con nuestro estudio.
3.3.
Ejercicios
1. Pruebe que un grupo G es abeliano si y solo si todas sus clases de conjugacin contienen exactamente un elemento de G. o 2. Sea H un subgrupo de un grupo G. Para cada g G, el subconjunto gHg 1 es un conjugado de H. Probar que cada conjugado de H es un subgrupo de G y que la interseccin de los conjugados de H es un subgrupo o normal de G.
Cap tulo 4
Accin de grupo sobre un o conjunto

4.1. G-conjuntos
4.1 Denicin (Accin de Grupo y G-conjunto): Sea X un conjunto y o o G un grupo. Una accin de G sobre X es una aplicacin : G X X tal o o que: i) e x = x, x X ii) (g1 g2 ) x = g1 (g2 x), x X, g1 , g2 G Bajo estas condiciones, X es un G-conjunto. Cuando no halla lugar a confucin o notaremos g x por gx. 4.2 Nota. Aqu denimos la accin actuando por la izquierda, algunos o libros la preeren actuando por la derecha. Por lo general esto ultimo se hace cuando tambin se preere la composicin por derecha (i.e. f g(x) = g(f (x))). e o 4.3 Ejemplo: Sea X un conjunto, y H un subgrupo de SX . Entonces X es un H-conjunto, donde la accin de H sobre X es la denida por gx = g(x). La o condicin ii) de la denicin 4.1, es una consecuencia inmediata de la denicin o o o de multiplicacin de permutaciones vista como composicin, y la condicin i), o o o de la denicin de la permutacin identidad como la funcin identidad. Note o o o que en particular, {1, . . . , n} es un Sn -conjunto. 4.4 El siguiente teorema muestra que para cada G-conjunto X, dado un g G la aplicacin g : X X denida por g (x) = gx es una permutacin de X, o o y que existe un homomorsmo : G SX tal que la acc de G sobre X on es bsicamente la descrita en el ejemplo 4.3 con H = [G]. Por lo tanto, las a acciones de los subgrupos de SX sobre X describen todas las posibles acciones de un grupo G sobre X. As al momento de estudiar el conjunto X, acciones usando
38
Cap tulo 4. Accin de grupo sobre un conjunto o
subgrupos de SX sern sucientes. Sin embargo, algunas veces, un conjunto X a es usado para estudiar G v una accin de grupo G sobre X. a o Teorema 4.5 Sea X un G-conjunto. Para cada g G, la funcin g : X X o denida por g (x) = gx es una permutacin de X. Adems, la aplicacin : o a o G SX denida por (g) = g es un homomorsmo. As (g)(x) = gx, esto es: : G SX g g : X X x gx
Demostracin: Dado g G, demostremos que x gx es una biyeccin. Sean o o x, y X, tales que gx = gy. As por 4.1 ii), ex = g 1 gx = g 1 gy = ey, luego por 4.1 i), x=y. Ahora, sea x X, tome x = g 1 x, as gx = gg 1 x = ex = x. Visto entonces que x gx es una biyeccin, tiene sentido nuestra funcin , o o pues x gx es una permutacin. o Ahora, de la condicin ii) de la denicin 4.1 se sigue inmediatamente que es o o un homomorsmo. 4.6 Deniciones (Accin el, accin transitiva): Sea X un G-conjunto. o o i) Decimos que G acta elmente sobre X si: dado un g G tal que gx = x u para todo x, implica g = e. ii) Decimos que G acta transitivamente sobre X si: para cada x1 , x2 X, u existe un g G tal que gx1 = x2 . 4.7 Observacin. Sea X un G-conjunto. Segn el teorema 4.5 y el corolario o u 2.13, el subconjunto N de G que deja todo elemento de X jo es un subgrupo normal. Ahora, por el teorema fundamental del homomorsmo, a X lo podemos ver como un G/N -conjunto, donde gN x = gx. As G/N acta elmente sobre u X. 4.8 Ejemplos: i) Considere g : G G denida por g (g ) = gg . Ahora e = id y g1 g2 = g1 g2 , luego si denimos g x = g (x), G es un G-conjunto. Si H G, de misma forma podemos ver a G como un H-conjunto. Note que con las g : G G, denidas por g (g ) = g g podemos denir un accin o a derecha pero no a izquierda. ii) Recuerde g : G G denida por g (g ) = gg g 1 . Entonces, e = id y g1 g2 = g1 g2 , luego si denimos g x = g (x), G es un G-conjunto. iii) Sea V un espacio vectorial sobre R, los axiomas 1v y (rs)v = r(sv), muestran que V se puede ver como un R -conjunto, con el grupo < R , ., 1 >.
Subgrupo estabilizador y orbitas
39
iu) Sea S n = {x Rn+1 : x = 1} la esfera n-dimensional. Considere SOn+1 (R) = {U Mn+1n+1 : det(U ) = 1 U U t = I} el conjunto de matrices ortonormales de dimensin n + 1 n + 1. As bajo la accin o o U x = U x, S n es un SOn+1 (R)-conjunto. u) Sea H G y LH el conjunto de los coconjuntos izquierdos de H en G. Bajo la accin g xH = (gx)H, LH es un G-conjunto. Esta accin ser de o o a gran utilidad (cf. Cap tulo 6).
4.2.
Subgrupo estabilizador y orbitas
4.9 Notacin. Sea X un G-conjunto, notaremos: o Xg := {x X : gx = x}, y Gx := {g G : gx = x} Teorema 4.10 Sea X un G-conjunto. Entonces, Gx G, para todo x X. Demostracin Sea x X. ex = x luego e Gx , si g Gx , g 1 x = g 1 gx = x, o luego g 1 Gx , y nalmente si g1 , g2 Gx , g1 g2 x = g1 x = x, entonces g1 g2 Gx . 4.11 Denicin (Subgrupo estabilizador): Dado X un G-conjunto. A Gx o lo llamamos el subgrupo estabilizador de x. Teorema 4.12 Sea X un G-conjunto. La relacin denida por x1 x2 si o existe un g X tal que gx1 = x2 , es de equivalencia. Demostracin: ex = x, para todo x X, luego la relacin es reexiva.Sea o o x1 , x2 , x3 X. Si gx1 = x2 , x1 = g 1 x2 , entonces la relacin es simetrica. o Ahora si g1 x1 = x2 y g2 x2 = x3 , tenemos que g2 g1 x1 = x3 , luego la relacin es o tambin transitiva. e 4.13 Denicin (Orbitas): A la clase de equivalencia de x de la relacin o o denida en 4.12, la llamamos orbita de x, y la notaremos Gx. As : Gx := {a X| g G : gx = a} 4.14 Aunque la notacin de la orbita y del estabilizador se parecen, no hay que o confundirlos. Existen otras notaciones para estos conjuntos pero esta nos parece bastante descriptiva. Ahora bien, un lector prudente que ya se desenvuelva en esta teor le parecer el siguiente resultado muy natural. a, a Teorema 4.15 |Gx| = (G : Gx )
1 Demostracin: Si x Gx, con x = g1 x = g2 x entonces g1 g2 Gx , luego o g1 Gx = g2 Gx . As podemos denir : Gx {gGx }gG por (gx) = gGx . Veamos que es una biyeccin. Sea x1 , x2 Gx, tales que (x1 ) = (x2 ). o Ahora, suponga que x1 = g1 x y x2 = g2 x, as g1 Gx = g2 Gx luego existe un g Gx tal que g2 = g1 g, entonces x2 = g1 gx = g1 x = x1 . La sobreyectividad es evidente, dado g G, (gx) = gGx .
40
4.3.
Aplicaciones de G-conjuntos en combinatoria: La frmula de Burnside o
4.16 Suponga que queremos saber de cuantas maneras se puede marcar un dado cbico de forma que cada marcada sea distinguible de las otras, sin imporu tarnos que lados opuestos sumen siete. Para marcar la primera cara disponemos de 6 nmeros, para la segunda de 5, y as sucesivamente vemos que tenemos u 6! = 720 formas de marcarlos, pero varias de estas marcadas no son distinguibles pues algunas se pueden obtener de otras mediante rotacin. As si consideramos o las diferentes rotaciones del cubo como un grupo, y las 720 marcadas como un conjunto, dos de estas no son distinguibles si estn en la misma orbita de la a accin rotar el cubo. Aqu es donde el problema se une con nuestra teor y o a, para resolverlo usamos la frmula de Burnside. o Teorema 4.17 (La frmula de Burnside) Sea G un grupo nito y X un Go conjunto. Si r es el nmero de orbitas en X, entonces: r|G| = gG |Xg |. u Demostracin: Considere todos los pares (g, x) tales que gx = x, y sea N el o nmero de dichos pares. Para cada g G, hay |Xg | pares teniendo a g como u primer elemento. Entonces: N= |Xg | (4.1)
xX
Por otro lado, para cada x X, hay |Gx | pares teniendo a x como segundo elemento. Entonces: |Gx | (4.2) N=
xX
Ahora, por el teorema 4.15, |Gx| = (G : Gx ), y por el teorema de Lagrange (G : Gx ) = |G|/|Gx |, as |Gx | = |G|/|Gx|, y remplazando en (4.2): N=
xX
|G| = |G| |Gx|
xX
1 |Gx|
(4.3)
Ahora |Gx| es el mismo para todo x Gx, luego x Gx 1/|Gx| = 1, as de (4.3), N = |G|r, y combinando esto con (4.1) obtenemos el resultado buscado. Corolario 4.18 Si G es un grupo nito y X un G-conjunto, entonces: (nmero de orbitas en X bajo G) = u 1 |G| |Xg |
gG
4.19 Ejemplo: Continuemos con el problema del dado. Estbamos en que a dos marcadas son distinguibles si y slo si pertenecen a orbitas distintas, luego o nuestro problema se reduce a contar el nmero de estas. Formalicemos la idea de u actuar por rotacin del cubo. Primero note que hay 24 posibles posiciones para o el cubo mediante rotacines: cada cara se puede poner abajo (6 posibilidades), o
La frmula de Burnside o
41
y despus, la posicin del cubo queda completamente determinada por la cara e o que se ponga al frente (4 posibilidades). Estas rotaciones, si etiquetamos cada vrtice del cubo, se pueden identicar naturalmente con un subgrupo G de S8 e de 24 elementos (ver gura 4.1). As |G| = 24, y adems, dado g G con g = e, a se tiene |Xg | = 0, pues toda rotacin diferente a la identidad cambia de posicin o o el dado. Sin embargo |Xe | = 720. Entonces por el corolario 4.18, el nmero de u 1 u orbitas es 24 720 = 30. Luego el nmero de marcadas distinguibles es 30.
5 8 7 5 8 6 7 8 7 5 6 7 6 8 5
PSfrag replacements6
4 1 2
3 4
3 1
2 3
2 4
1 2
1 3
id
12345678 23416785
12345678 34127856
12345678 41238567
Figura 4.1: Rotaciones del cubo Teorema 4.20 Sea G un grupo. Sea A un G-conjunto y B un conjunto, ambos nitos. B A es un G-conjunto bajo g f denida por gf (x) = f (g 1 x). Adems, a si dado un k N , denotamos Ck (G) el conjunto de permutaciones en [G], donde es el homomorsmo del teorema 4.5, teniendo exactamente k ciclos en su descomposicin cclica. Entonces: o (nmero de orbitas en B A bajo G) = u 1 |G|
+
|Ck (G)||B|k
k=1
Demostracin: Como ef (x) = f (e1 x) = f (x) y (g1 g2 )f (x) = f ((g1 g2 )1 x) = o 1 1 1 f (g2 g1 x) = g2 f (g1 x) entonces vemos que lo que se deni en el enunciado o del teorema es una accin. o Ahora bien, por la frmula de Burnside, es suciente demostrar que para un o k N dado: |Ck (G)||B|k = |Xg |
gCk (G)
Note que si es una permutacin en A, como en la descomposicin los c o o clos son disyuntos, f ((a)) = f (a) para todo a A si y slo si f es constante sobre o A cada c de . Suponga que g Ck (g), entonces Bg = {f B A : gf = f }, y clo A Bg esta compuesta por todas las aplicaciones que son constantes en cada uno de los k c clos de (g 1 ), y estas son |B|k . 4.21 Ejemplo: Sean n c rculos iguales dispuestos en c rculo. Queremos ver cual es el nmero de coloraciones distinguibles que se logran con c colores. Note u
42
que si consideramos los n c rculos como los vrtices de un pol e gono convexo regular con n lados, entonces podemos usar el grupo diedral Dn para representar las distintas conguraciones de los c rculos. Sean entonces A el conjunto de los n c rculos, G = Dn (|G| = 2n) y B el conjunto de los c colores. Ahora cada coloracin se puede ver como un elemento o de B A , luego si el nmero de coloraciones distinguibles es N , tenemos N = u n 1 k k=1 |Ck (G)|c . 2n u El nmero de rotaciones que son k n -ciclos es el nmero de elementos en Zn u k que generan un subgrupo de orden n , esto es |Nk | donde Nk = {a {1, . . . , n} : k (a, n) = k}. Ahora si n es impar, cada una de las n simetr pasa por un vrtice, as e luego es n1 2-ciclos y un 1-ciclo. Y si n es par, cada una de las n/2 simetr as 2 que pasan por un vrtice es n2 2-ciclos y dos 1-ciclos, y cada una de las n/2 e 2 simetr que no pasan por algn vrtice es n 2-ciclos. Esto abarca todos los as u e 2 elementos de Dn . Entonces: n+1 k 1( 2 ) si n es impar 2n k|n |Nk |c + c N= n n 1 n k 2 2 +1 )) si n es par. k|n |Nk |c + 2 (c + c 2n (
4.4.
Ejercicios
1. Sea X un G-conjunto, y sean x1 , x2 X tales que x1 y x2 se encuentran en la misma orbita. Probar que los estabilizadores Gx1 y Gx2 de x1 y x2 respectivamente, son subgrupos conjugados en G. Deducir que Gx1 y Gx2 tienen el mismo orden. 2. Sea X un G-conjunto, donde G es un grupo de permutaciones. Sea O una orbita de X bajo la accin de G. Si x, y O, entonces pruebe que el o conjunto de permutaciones en G que env x a y (es decir, el conjunto an { G : (x) = y}) es un coset derecho de Gx . Contrariamente, pruebe que todos los elementos de un coset derecho de Gx env x al mismo an punto en O. 3. Sea G un grupo de permutaciones actuando transitivamente sobre un conjunto X. Entonces, G acta sobre X X, y una orbita de X X bajo la u accin de G es llamada un orbital (para diferenciarla de una orbita de X o bajo G). Sea x X. Pruebe que existe una biyeccin entre los orbitales de o X X bajo G y las orbitas de X bajo la accin del subgrupo estabilizador o Gx .
Cap tulo 5
Teoremas de Isomorsmos y Series de Grupos

5.1. Teoremas de Isomorsmos
Teorema 5.1 (Primer Teorema de Isomorsmo) Sea : G G un homomorsmo con kernel K, y sea K : G G/K la proyeccin cannica (i.e. o o K (g) = gK). Entonces, hay un unico isomorsmo : G/K [G] tal que = K (ver gura 5.1). PSfrag replacements
G
K
[G] G
G/K
Figura 5.1: Primer Teorema de Isomorsmo 5.2 Denicin (join): Sean H, N G. Se dene el join H N de H y de o N por: H N :=< HN > 5.3 Observacin. H N es el subgrupo ms pequeo de G que contiene HN . o a n Adems H N es el subgrupo ms pequeo de G conteniendo tanto a H como a a n a N , puesto que cada uno de tales subgrupos debe contener HN . En general, HN no es un subgrupo de G. Lema 5.4 Si N G, y H G, entonces H N = HN = N H. Adems, si a H G, entonces HN G.
44
Cap tulo 5. Teoremas de Isomorsmos y Series de Grupos
Demostracin: La primera parte del lema no es sino una reformulacin del teoo o rema 2.21 iii). Ahora, supongamos adems que H a G, y sea h H, n N y g G, luego ghng 1 = (ghg 1 )(gng 1 ) HN , y as HN G. Teorema 5.5 (Segundo Teorema de Isomorsmo) Si H G y N entonces HN/N H/(H N ). G,
Demostracin: Como N G entonces H N H. Sean h, h1 H y n, n1 N , o y suponga que h1 n1 = hn. Eso es equivalente a h1 h1 = nn1 , as h1 h1 esta en 1 H y en N , es decir, h1 h1 H N que es lo mismo que h(H N ) = h1 (H N ) elemento de H/(H N ). Luego podemos denir : HN H/(H N ) por (hn) = h(H N ). Veamos que es un homomorsmo. Sean n1 , n2 N y h1 , h2 H. Como en el lema 5.4, se puede escribir n1 h2 = h2 n3 para algn n3 N , puesto que N G. u Entonces: ((h1 n1 )(h2 n2 )) = ((h1 h2 )(n3 n2 )) = h1 h2 (H N ) = h1 (H N )h2 (H N ) = (h1 n1 )(h2 n2 ). Luego es homomorsmo, y es evidente que es sobreyectivo. Ahora, si hn HN es tal (hn) = N , esto es hnN = N o hN = N luego h H N . As Ker() = (H N )N = N , y adems [HN ] = H/(H N ), luego por el teorema 5.1 a HN/N H(H N ). 5.6 Ejemplos: i) Sea G = Z Z Z, H = Z Z {0}, y N = {0} Z Z. As HN = G y H N = {0} Z {0}. Se tiene entonces que (HN )/N Z y tambin e que H/(H N ) Z. ii) Si H, K G y K H, entonces H/K G/K (compruebelo). G, con K
Teorema 5.7 (Tercer Teorema de Isomorsmo) Sean H, K H, entonces G/H (G/K) (H/K).
Demostracin: Sea : G (G/K) (H/K) dada por (a) = (aK)(H/K), para o a G. Claramente, es sobreyectiva, y para a, b G, se tiene que: (ab) = [(ab)K](H/K) = [(aK)(bK)](H/K) = [(aK)(H/K)][(bK)(H/K)] = (a)(b) Entonces es homomorsmo. Ahora, si x G es tal que (x) = H/K, x H, luego por el teorema 5.1 se tiene que G/H (G/K) (H/K). 5.8 Nota. Una buena manera de ver el teorema 5.7 es mirando la aplicacin o cannica H : G G/H siendo factorizada por un subgrupo normal K de G, o obtenindose H = H/K K , como se ilustra en 5.2 e
PSfrag replacements Series de Grupos

G
K H
45
G/H
Homomorsmo natural
G/K
H/K
(G/K) (H/K)
Figura 5.2: Tercer Teorema de Isomorsmo
5.2.
Series de Grupos
5.9 Deniciones (Series normales y subnormales): i) Una serie subnormal de un grupo G es una secuencia nita H0 , H1 , . . . , Hn de subgrupos de G tal que Hi < Hi+1 , para todo i {0, 1, . . . , n 1}, y tal que {e} = H0 H1 H2 Hn1 Hn = G ii) Una serie normal es una serie subnormal donde adems: a Hi G, i {0, 1, . . . , n}. 5.10 Observaciones. i) Para un grupo abeliano, las nociones de series subnormales y normales coincide, puesto que todo subgrupo es normal. ii) Una serie normal es siempre subnormal. Pero lo contrario no es cierto (ver 5.11). 5.11 Ejemplos: i) {0} 8Z a la vez). 4Z Z, y {0} 9Z Z, son series subnormales (y normales
ii) Considere D4 , el grupo de isometr del cuadrado (el grupo diedral). La as serie {0 } {0 , 1 } {0 , 2 , 1 , 2 } D4 es subnormal, pero no es normal, puesto que {0 , 1 } no es normal en D4 . 5.12 Denicin (Renamiento): Una serie subnormal (normal) {Kj }j{0,1,...,m} o es un renamiento de una serie subnormal (normal) {Hi }i{0,1,...,n} de un grupo G si {Hi }i{0,1,...,n} {Kj }j{0,1,...,m} (i.e. cada Hi es uno de los Kj ) 5.13 Ejemplo: La serie {0} 72Z 24Z 8Z 4Z Z es un renamiento de la serie {0} 72Z 8Z Z (note que los subgrupos 4Z y 24Z han sido insertados). 5.14 Para estudiar le estructura de un grupo G, los grupos factor Hi+1 /Hi son de mucha utilidad.
46
5.15 Denicin (Series isomorfas): Dos series subnormales (normales) o {Hi }i{0,1,...,n} y {Kj }j{0,1,...,n} de un mismo grupo G son isomorfas si existe una correspondencia biun voca entre las colecciones de grupos factores, esto es entre {Hi+1 /Hi }i{0,1,...,n1} y {Kj+1 /Kj }j{0,1,...,n1} tal que los grupos correspondientes son isomorfos 5.16 Observacin. Claramente dos series subnormales (normales) isomorfas o deben contener el mismo nmero de grupos. u 5.17 Ejemplo: Las dos series de Z15 : {0} < 5 > Z15 y {0} < 3 > Z15 , son isomorfas. Tanto Z15 / < 5 > como < 3 > /{0} son isomorfos a Z5 , y Z15 / < 3 > es isomorfo a < 5 > /{0}, o a Z3 . Teorema 5.18 (Lema de Zassenhaus (mariposa)) Sean H y K dos subgrupos de un grupo G y sean H y K subgrupos normales de H y K respectivamente. Entonces (ver gura 5.3): i) H (H K ) ii) K (H K) iii) H (H K) K (H K) K (H K)/K (H K) (H K)/[(H K )(H K)]
H (H K) H (H K )
PSfrag replacements
H H (H K)
K K (H K)
HK
H (H K )
K (H K)
H K (H K )(H K)

H K
Figura 5.3: Lema de la Mariposa Demostracin: H H y H K es un subgrupo tanto de H como de K, luego o por el lema 5.4 H (H K) es grupo. De manera anloga vemos que H (H K ), a K (H K), y K (H K) tambin lo son. e Ahora si r H K y s H K, entonces sr s1 esta en H y en K, pero esto es sr s1 H K. Luego H K H K. Con un mismo argumento
Series de Grupos
47
vemos que H K H K. Y as por el lema 5.4 (H K)(H K ) = (H K )(H K) =: L H K. Veamos ahora que las tres inclusiones marcadas con negrita en la gura 5.18 son normales y sus grupos factores isomorfos, con eso habremos probado el lema. Para eso nos valdremos de un homomorsmo adecuadamente denido y del primer teorema de isomorsmo. Sean h1 , h2 H y x1 , x2 H K tales que h1 x1 = h2 x2 , esto es h1 h1 = 2 x2 x1 H (H K) = H L L. Luego x1 L = x2 L. Luego podemos denir 1 : H (H K) (H K)/L por (h x) = xL donde h H y x H K. Sean h1 , h2 H y x1 , x2 H K, como H H, entonces existe h H tal que x1 h2 = hx1 . As ((h1 x1 )(h2 x2 ) = ((h1 h)(x1 x2 )) = (x1 x2 )L = x1 Lx2 L = (h1 x1 )(h2 x2 ). Entonces es homomorsmo. Claramente es sobreyectivo. Ahora si h H , y x H K, son tales que (hx) = L, la condicin es o equivalente a x L o a hx H L = H (H K)(H K ) = H (H K). Luego Ker() = H (H K). Entonces como es sobreyectivo con kernel H (H K), por el teorema 5.1 H (H K)/H (H K) (H K)/L y adems a Ker() Dom(). Y con un homomorsmo similar de K (H K) en (H K)/L demostramos lo que falta de la prueba. 5.19 Suponga que tiene dos cadenas de subgrupos de un mismo grupo G: Hi1 Hi Hi+1 y Kj Kj+1 . Teniendo en mente el lema 5.18, note Hm,n := Hm (Hm+1 Kn ) y Km,n := Km (Km+1 Hn ). As tendremos unas cadenas como , las que se muestran en la gura 5.4 donde los grupos factor formados por los grupos unidos por lineas de mismo espesor son isomorfos. Vale la pena notar que en caso de tener series y no simples cadenas, las lineas en negrita de cada lado de la gura estar conectadas, ya que las series empiezan en {e} y terminan an en G. Esto es lo que se explica formalmente en el Teorema 5.20. Teorema 5.20 (Teorema de Schreier) Dos series subnormales (normales) de un mismo grupo tienen renamientos isomorfos. PSfrag replacements
Kj,i Hi,j
Hi1,j+1
Kj,i1
Hi1
Hi1,j
Figura 5.4: Teorema de Schreier

5566
Hi

56565 !
656
"#
2 1% 2% 1% 2%12 1%%1 2%21 1%%1 2%12 1%2%1 2%%1 1%1 2%12 1%1%1 2%122% 1%12%1 2%12% 1%12%1 12%12%1 12%12%1 12%0 %0 111 0 0 %)%)%)%)% 0%0%0%0% )%)%)%)% 0%0%0%0%)0 )%)%)%)% 0%0%0%0%)0 4 )%)%)%)% 3% ( (%(%(%(%)0 4% %%%%%'()0 3% '%'%'%'%'% 4%4 3%3 4%43 3% 4%4 3%43 4% 3%3 4%34 3% 4%34 3% 4%4 3% %3 %4 34%3 %4 34%3 %34 & & & 34%3434 $%$%$% & $% &%&%&%&% $%$%$%$% &%&%&%&%& $%$%$%$%$ &%&%&%&%& $%$%$%$% %%%%$&$&$
Hi+1
Hi,j+1
Kj,i+1
Kj+1
Kj
48
Demostracin: Sea G un grupo y sean: o {e} = H0 {e} = K0 H1 K1 ... ... Hn = G Km = G (5.1) (5.2)
dos series subnormales para G. Para i {0, 1, . . . , n 1} forme la cadena de grupos: Hi = Hi (Hi+1 K0 ) Hi (Hi+1 K1 ) Hi (Hi+1 K2 ) ... Hi (Hi+1 Km ) = Hi+1 . Despus de hacer todas estas cadenas para cada i {0, 1, . . . , n 1} y notando e Hi,j := Hi (Hi+1 Kj ), se obtendr la siguiente cadena de grupos: a {e} = H0,0 H0,1 H1,1 H2,1 . . . Hn1,1 Hn1,2 ... Hn1,m1 Hn1,m = G (5.3) Esta cadena 5.3 contiene nm + 1 grupos, no necesariamente distintos, donde Hi,0 = Hi , para cada i {0, 1, . . . , n 1}. Por el lema de Zassenhaus, la cadena 5.3 es una subnormal, es decir, cada grupo es normal en el siguiente grupo (lo que justica el uso del signo en lo que sabemos ahora que es una serie). Entonces la cadena 5.3 es un renamiento de la cadena 5.1. En forma simtrica, si Kj,i = Kj (Kj+1 Ki ), para j {0, 1, . . . , , m 1} e e i {0, 1, . . . , , n}, tenemos la siguiente serie subnormal: {e} = K0,0 K0,1 K1,1 K2,1 . . . Km1,1 Km1,2 ... Km1,n1 Km1,n = G (5.4) La cadena 5.4 contiene tambin mn + 1 grupos, no necesariamente distintos, e donde Kj,0 = Kj , para cada j {0, 1, . . . , m 1}. Entonces por un argumento similar, la cadena 5.4 es un renamiento de la cadena 5.2. Por el lema de Zassenhaus, se tiene que: Hi (Hi+1 Kj+1 )/Hi (Hi+1 Kj ) Kj (Kj+1 Hi+1 )/Kj (Kj+1 Hi ) o lo que es equivalente: Hi,j+1 /Hi,j Kj,i+1 /Kj,i , (i; j) {0, . . . , n 1} {0, . . . , m 1} (5.5) K0,2 K1,2 K2,2 ... ... ... K0,n1 K1,n1 K2,n1 K1,0 K2,0 K3,0 H0,2 H1,2 H2,2 ... ... ... H0,m1 H1,m1 H2,m1 H1,0 H2,0 H3,0
La relacin 5.5 de isomorsmo, proporciona una correspondencia biun o voca de grupos factor isomorfos entre las series subnormales 5.3 y 5.4. Para vericar esta
Series de Grupos
49
correspondencia note que Hi,0 = Hi y Hi,m = Hi+1 , mientras que Kj,0 = Kj y Kj,n = Kj+1 . Cada cadena en 5.3 y 5.4 contiene un arreglo rectangular de mn s mbolos . Cada produce un factor. Los grupos factor inducidos por en la i-sima la en 5.3 corresponden a los grupos factor inducidos por e en la misma columna en 5.4. Eliminando subgrupos repetidos de las cadenas 5.3 y 5.4, se obtiene series subnormales de grupos distintos que son renamientos isomorfos de las cadenas 5.1 y 5.2, con lo que se pruebe el teorema para series subnormales. Para series normales, donde los Hi s y los Kj s son normales en G, se tiene que todos los grupos Hi,j y Kj,i formados anteriormente son normales en G, por lo tanto, el teorema tambin se cumple para estas series. La normalidad de Hi,j y e Kj,i se obtiene por el lema 5.4 y por el hecho que la interseccin de subgrupos o normales de un grupo, es tambin subgrupo normal. e 5.21 Denicin (Serie compuesta y serie principal) o i) Una serie subnormal {Hi }i{0,1,...,n} de un grupo G es una serie compuesta si todos los grupos factor Hi+1 /Hi son simples. ii) Una series normal {Hi }i{0,1,...,n} de G es una serie principal si todos los grupos factor Hi+1 /Hi son simples 5.22 Observaciones. i) Hi+1 /Hi es simple si y solo si Hi es normal mximal en Hi+1 . a ii) En los grupos abelianos, los conceptos de serie compuesta y serie principal coinciden. iii) Como cada serie normal es subnormal, cada serie principal es una serie compuesta para todo grupo, abeliano o no. 5.23 Ejemplos: i) Z no tiene serie compuesta ni serie principal: Sea {0} = H0 H1 . . . Hn1 Hn = Z una serie subnormal. H1 debe ser de la forma rZ para algn r Z+ . Pero H1 /H0 u Z, es un grupo c clico innito con muchos subgrupos normales no triviales, por ejemplo 2rZ. Entonces Z no contiene series compuestas, ni tampoco principales. ii) {id} An Sn , con n 5, es una serie compuesta y tambin principal e de Sn , puesto que An /{id} An , es simple para n 5, y Sn /An Z2 tambin. e 5.24 Observaciones. i) Como se observ anteriormente, en una serie compuesta, cada Hi debe o ser normal mximal en Hi+1 . Entonces, para formar una serie compuesta a de un grupo G, se debe tratar de encontrar un subgrupo normal mximal a
50
Cap tulo 5. Teoremas de Isomorsmos y Series de Grupos Hn1 de G, despus Hn2 subgrupo normal mximal de Hn1 y as sue a cesivamente. Si el proceso anterior termina en un nmero nito de pasos, u se tiene una serie compuesta. De la misma forma, se puede construir una serie principal de G con la restriccin que cada i, Hi G. o
ii) Adems, como Hi es normal mximal en Hi+1 si y solo si Hi+1 /Hi es a a simple (ver teorema 2.51), una serie compuesta, no puede tener ningn u renamiento. Teorema 5.25 (Teorema de Jordan-Hlder) Cualquier par de series como puestas (principales) de un grupo G son isomorfas. Demostracin Sean {Hi }i{0,...,n} y {Ki }i{0,...,m} dos series compuestas (prino cipales) de G. Por el Teorema de Schreier (5.20), estas series tienen renamientos isomorfos. Pero como todos los grupos factor son simples, entonces por el teorema 2.51, estas series no pueden ser renadas, lo cual implica que {Hi }i{0,...,n} y {Ki }i{0,...,m} son isomorfas (y por lo tanto n = m). 5.26 En el caso de grupos nitos, se puede ver una serie compuesta como una factorizacin de un grupos en grupos factor simples, anloga a la factorizacin de o a o un entero positivo en primos. En ambos casos, la factorizacin es unica mdulo o o el orden de los factores. No hace entonces falta enfatizar ms en la importancia a del teorema de Jordan-Hlder. o Teorema 5.27 Si G tiene una serie compuesta (principal), y si N es un subgrupo normal propio de G, entonces existe una serie compuesta (principal) conteniendo a N . Demostracin: La serie {e} N G es una serie tanto subnormal como normal o de G. Como G tiene una serie compuesta {Hi }i{0,...,n} , entonces por el teorema de Schreier (5.20), existe un renamiento de {e} N G en una serie subnormal isomorfa al renamiento de {Hi }i{0,...,n} . Pero como {Hi }i{0,...,n} es una serie compuesta esta no se puede renar ms. Por lo tanto, la serie {e} N G a puede renarse a una serie subnormal donde todos sus grupos factores son simples, esto es a una serie compuesta. Un argumento similar se tiene en el caso en que {Hi }i{0,...,n} sea principal. 5.28 Ejemplo: Una serie compuesta (tambin principal) de Z4 Z9 contee niendo al subgrupo < (0, 1) > es: (0, 0) < (0, 3) > < (0, 1) > < 2 > < 1 > < 1 > < 1 >= Z4 Z9 A continuacin se dene la solubilidad de un grupo. Se darn dos deniciones o a de solubilidad: solubilidad fuerte usada por Fraleigh, y la solubilidad clsica a la cual llamaremos simplemente solubilidad. 5.29 Denicin (Grupo soluble fuerte): Un grupo se dice soluble fuero te si tiene una serie compuesta {Hi }i{0,...,n} tal que todos los grupos factor
Cadena Central Ascendente Hi+1 /Hi son abelianos.
51
Denicin (Grupo soluble): Un grupo se dice soluble si tiene una serie o subnormal {Hi }i{0,...,n} tal que todos los grupos factor Hi+1 /Hi son abelianos.
5.30 Observacin. Por el teorema de Jordan-Hlder (5.25), se tiene que para o o un grupo soluble fuerte, toda serie compuesta {Hi }i{0,...,n} debe tener grupos factor Hi+1 /Hi abelianos. 5.31 Ejemplos: i) S3 es soluble fuerte, puesto que la serie compuesta {e} A3 S3 tiene grupos factor A3 /{e} Z3 y S3 /A3 Z2 , los cuales son abelianos. ii) S5 no es soluble fuerte, puesto que A5 es simple y la serie {e} es compuesta, pero A5 /{e} A5 no es abeliano. A5 S5
5.3.
Cadena Central Ascendente
5.32 Recordemos que el centro de un grupo G es: Z(G) := {z G : zg = gz, g G}. Sabemos que Z(G) G, entonces G/Z(G) es un grupo factor. Ahora, se podr encontrar el centro del grupo factor G/Z(G), es decir, a Z(G/Z(G)). Como Z(G/Z(G)) G/Z(G), entonces si G/Z(G) : G G/Z(G) es el homomorsmo cannico, 1 o G/Z(G) [Z(G/Z(G))] =: Z1 (G) es un subgrupo normal G. Se puede entonces formar el grupo factor G/Z1 (G) y encontrar su centro, y si G/Z1 (G) : G G/Z1 (G) es el homomorsmo cannico, tomando o 1 G/Z1 (G) de dicho centro obtener Z2 (G), y as sucesivamente. 5.33 Denicin (Cadena central ascendente): Sean: o Z0 := {e} Zn+1 := 1 [Z(G/(Zn (G)))], donde n : G G/Zn (G) es el homomorsn mo cannico o La cadena {e} Z1 (G) Z2 (G) . . . es la cadena central ascendente.(Note que Z1 (G) = Z(G)) 5.34 Ejemplos: i) Z(S3 ) = {id}, entonces la cadena central ascendente de S3 es: {id} {id} . . . ii) Z(D4 ) = {id, (1 3)(2 4)}, entonces la cadena central ascendente de D4 es: {id} {id, (1 3)(2 4)} D4
52
5.4.
Ejercicios
1. Sea H G y sea K = {a G : ax = xa, para todo x H}. Sea A el grupo de automorsmos de H y sea I el grupo de automorsmos internos de H. Para cada a G, sea a el automorsmo de H tal que para todo x H, a (x) = axa1 . Denote por : G A la aplicacin denida por: o a a . a) b) Determinar Ker(). Probar que HK es un subgrupo normal de G.
c) Probar que existe un homomorsmo inyectivo de G/HK en A/I. d ) Probar que HK/K I. = 2. Sean G1 y G2 dos grupos no isomorfos de centros Z(G1 ) y Z(G2 ) respectivamente. Pruebe que Z(G1 G2 ) es isomorfo a Z(G1 ) Z(G2 ). 3. Sea H un subgrupo de un grupo G. Sea = {aH : a G} el conjunto de cosets izquierdos de H en G. Dena la accin de G sobre por traslacin, o o es decir, para cada g G y para cada aH , g(aH) = (ga)H. a) b) Determine el subgrupo estabilizador GaH para el elemento jo aH . Sea la aplicacin de G en el conjunto de permutaciones de deo nida por: g G, a G, (g)(aH) = (ga)H. Entonces, (i) pruebe que es un homomorsmo de grupos; (ii) Pruebe que Ker() = aHa1 .
aG
c) Sea N un subgrupo normal de G tal que N es un subgrupo propio de aHa1 aHa1 . Deduzca que el grupo H. Pruebe que N
aG aG
es el subgrupo normal ms grande de G contenido en H. a
Cap tulo 6
Teoremas de Sylow y Grupos libres

6.1. Teoremas de Sylow
6.1 Teniendo ya completamente caracterizados los grupos abelianos, podemos buscar un estudio ms general de los no-abelianos. Sabiendo que el rec a proco del teorema de Lagrange no es cierto, es natural preguntarnos de que orden tiene subgrupos (normales o no) un grupo dado , y que relacin hay entre ellos. o Nuestro objetivo inmediato es ver que por cada potencia de un primo que divida el orden de un grupo dado, ese grupo tiene un subgrupo de orden esa potencia. En toda esta seccin p es primo. o 6.2 Observacin. Sea X un G-conjunto nito. Sea r es el nmero de orbitas o u en X y XG := gG Xg el conjunto de los elementos de orbitas unipuntua les. Si {xi }i{1,...,r} es un conjunto de representantes de las orbitas de X con {xi }i{1,...,|XG |} = XG entonces:
r
|X| = |XG | +
i=|XG |+1
|Gxi |
(6.1)
Teorema 6.3 Si G es un grupo de orden pn y X un G-conjunto nito, |X| |XG |(mod p). Demostracin: Por el teorema 4.15, |Gx| | |G| = pn , luego |Gx| = pm , para o r algn m {0, 1, . . . , n}. As en (6.1), p | u i=|XG |+1 |Gxi |, de donde |X| |XG |(mod p). 6.4 Denicin (p-grupo, p-subgrupo): Sea p primo. Un grupo en el cual o todos los elementos tienen orden una potencia de p, es un p-grupo. Un subgrupo que es un p-grupo, lo llamamos p-subgrupo.
54
Cap tulo 6. Teoremas de Sylow y Grupos libres
Teorema 6.5 (Teorema de Cauchy) Si G es un grupo nito y p | |G|, entonces G tiene un elemento de orden p y por lo tanto, un subgrupo de orden p. Demostracin: Sea X = {(g1 , g2 , . . . , gp ) Gp | g1 g2 . . . gp = e}. Sean g1 , . . . , gp1 , o p 1 elementos en G, as (g1 , g2 , . . . , gp ) X si y slo si gp = (g1 . . . gp1 )1 , o vemos entonces que |X| = |G|p1 , luego p tambin divide |X|. Sea el ciclo e (1 2 . . . p) en Sp . Si (g1 , g2 , . . . , gp ) X, g(1) g(2) . . . g(p) = g2 . . . gp g1 = e, luego bajo la accin k (g1 , g2 , . . . , gp ) = gk (1) gk (2) . . . gk (p) , X es un < >o conjunto. Ahora, | < > | = p y as por el teorema 6.3, 0 |X| |X<> |(mod p), esto es p | |X<> |. Pero como los elementos de X<> son de la forma (g, g, . . . , g), y (e, e, . . . , e) X<> entonces |X<> | > 1 y as existe a = e tal que ap = e. | < a > | = ord(a) = p. Corolario 6.6 Sea G un grupo nito. G es p-grupo si y slo si |G| = pn para o algn n N. u
r r Demostracin: Suponga G p-grupo y pn q11 . . . qs s una descomposicin de |G| o o en potencias de primos distintos. Suponga por contradiccin que ri > 0 para o algn i {1, . . . , s}, por el teorema de Cauchy, existe b G tal que ord(b) = q i , u lo cual contradice la hiptesis de G p-grupo. El converso es una consecuencia o inmediata del teorema de Lagrange.
6.7 Denicin (Normalizador): Sea H G, el normalizador de H es el o subgrupo N [H] denido por: N [H] := {g G| gHg 1 = H} 6.8 Observacin: Es fcil ver que N [H] es el subgrupo de G ms grande en o a a el cual H es normal. Lema 6.9 Si H un p-subgrupo de un grupo nito G, entonces (N [H] : H) (G : H)(mod p). Demostracin: Considere (G/H) el conjunto de los coconjuntos izquierdos de o H en G. Bajo h gH = (hg)H, G/H es un H-conjunto. Sea gH (G/H)H , esto es (hg)H = gH para todo h H, o g 1 hg H. Entonces gH (G/H)H si y slo si g N [H]. Luego |(G/H)H | = (N [H] : H). Ahora el orden de H, o por ser p-subgrupo, es una potencia de p, luego por el teorema 6.3 |(G/H)H | |(G/H)|(mod p), que es lo que quer amos establecer. Corolario 6.10 Si H es un p-subgrupo de un grupo nito G tal que p | (G : H), entonces N [H] = H. Demostracin: 0 (G : H) (N [H] : H)(mod p), luego (N [H] : H) = 1, de o donde N [H] = H.
Teoremas de Sylow
55
Teorema 6.11 (Primer teorema de Sylow) Sea G un grupo tal que |G| = pn m, donde n 1, p primo y p | m. Tenemos que: i) G contiene un subgrupo de orden pi , para cada i {1, . . . , n}. ii) Todo subgrupo de G de orden pi es normal en un subgrupo de orden pi+1 , para i {1, . . . , n 1}. Demostracin: Haremos induccin en i. Por el teorema de Cauchy, G contiene o o un subgrupo de orden p. Ahora suponga que H es un subgrupo de orden pi1 , con i n, as como |G| = pn m, p | (G : H), entonces por el lema 6.9, p | (N [H] : H) = |N [H]/H|. Luego N [H]/H contiene un subgrupo K de orden p. Considere H la proyeccin cannica con dominio N [H], as 1 [K] es subgrupo de G de o o H orden p.ord(H) = pi en el cual H es normal. 6.12 Denicin (p-subgrupo de Sylow): Un p-subgrupo es de Sylow si es o mximal (i.e. Ningn otro p-subgrupo lo contiene). a u 6.13 Observacin y nota. Por el teorema 6.11, todos los p-subgrupos de o Sylow de un grupo dado, tienen el mismo cardinal. Esta teor fue desarrollada a por el noruego Ludvig Mejdell Sylow (1832-1918). Teorema 6.14 (Segundo teorema de Sylow) Si P1 y P2 son dos p-subgrupos de Sylow de un grupo nito G, entonces P1 y P2 son conjugados. Demostracin: Considere la accin de P2 sobre (G/P1 ) denida por y xP1 = o o (yx)P1 . As por el teorema 6.3, |(G/P1 )P2 | |(G/P1 )|(mod p). Ahora por el teorema 6.11, |G/P1 | = (G : P1 ) no es divisible por p, pues de lo contrario P1 no seria mximal. Luego |(G/P1 )P2 | = 0. Si xP1 (G/P1 )P2 entonces yx P1 = a x P1 , o x1 yx P1 , para todo y P2 , luego x1 P2 x P1 . Pero |P2 | = |P1 |, entonces x1 P2 x = P1 . Teorema 6.15 (Tercer teorema de Sylow) Si G es un grupo nito y p | |G|, entonces el nmero de p-subgrupos de Sylow es congruente con 1 mdulo p u o y divide |G|. Demostracin: Sea P un p-subgrupo de Sylow y L el conjunto de p-subgrupos o de Sylow en G. Considere P actuando por conjugacin sobre L. As |LP | o |L|(mod p). Ahora si T LP , entonces xT x1 = T , para todo x P , as P N [T ] (ver observacin 6.8). T N [T ], entonces T y P son p-subgrupos de Sylow, luego, o por el segundo teorema de Sylow, son conjugados en N [T ]. Pero T N [T ], entonces T = P . De donde, LP ={P }. Entonces 1 |LP | |L|(mod p). Si ponemos a G actuar por conjugacin, como todos los p-subgrupos de Sylow o son conjugados, bajo esta accin hay una unica orbita en L. Para P L, su o estabilizador es N [P ], luego por el teorema 4.15 |L| = (G : N [P ]), (G : N [P ]) | |G|, luego |L| | |G|.
56
6.2.
Aplicaciones de la teor de Sylow a
6.16 Ejemplo: Veamos que ningn grupo G de orden 15 = 3 5 es simple. u Por el primer teorema de Sylow, G tiene un 5-subgrupo, cuantos ms?, segn a u el tercer teorema de Sylow estos son, 1, 6 o 11, pero de estas opciones la unica que divide 15 es 1. Luego G tiene un unico 5-subgrupo, que es de Sylow. Su conjugado tambin es otro 5-subgrupo de Sylow, pero como hay uno solo, este e es normal. Luego G no es simple. Teorema 6.17 Todo grupo G con orden potencia de un primo p, es fuertemente soluble. Demostracin: Si |G| = pn , G es un p-grupo y entonces por el primer teorema o de Sylow, tiene una serie normal con factores de orden p. As los factores son abelianos y simples (por qu?). Luego la serie es compuesta y sus factores e abelianos, esto es G es fuertemente soluble. 6.18 Denicin (Ecuacin de clase): Sea X el G-conjunto donde G esta o o actuando por conjugacin sobre X = G. Si tomamos c = |Z(G)| = |XG | y o ni = |Gxi | como en (6.1), tenemos: |G| = c + nc+1 + nc+2 + . . . + nr que es lo que llamamos la ecuacin de clase de G. o 6.19 Observacin a la denicin 6.18. Como ni = (G : Gxi ) entonces por o o el teorema de Lagrange ni | |G|. La ecuacin de clase nos dice algo muy natural: o el cardinal de G es la suma de los cardinales de sus clases de conjugacin. o 6.20 Ejemplo: Las clases de conjugacin de S3 son {0 }, {1 , 2 } y {1 , 2 , 3 }. o Su ecuacin de clase es entonces |S3 | = 1 + 2 + 3. o Teorema 6.21 El centro de un p-grupo no trivial es no trivial. o Demostracin: Sea G un p-grupo no trivial y |G| = c + i ni su ecuacin de o clase. Como cada ni | |G| y |G| = pn para algn n N entonces c 0(mod p). u Ahora, e Z(G) luego c p pues |Z(G)| 1 y p | c. Como p 2, Z(G) es no trivial. Lema 6.22 Sea G un grupo. Si G tiene dos subgrupos normales H y K tales que H K = {e} y H K = G entonces G H K. Demostracin: Dena : H K G por (h, k) = hk. Por el teorema 2.21 o iu), ((h, k)(h , k )) = (hh , kk ) = hh kk = hkh k = (h, k)(h , k ). Ahora suponga que hk = e, luego h = k 1 H K, as h = k = e, luego es inyectivo. Y como HK = H K, es tambin sobreyectivo. e 6.23 Observacin. Dadas las hiptesis del lema anterior, decimos que G es o o el producto interno de H y K. Aunque este concepto no lo usaremos mucho ac, a es vlido observar que algo semejante se tiene en el algebra lineal. a
Grupos abelianos libres Teorema 6.24 Sea p un primo. Todo grupo de orden p2 es abeliano.
57
Demostracin: Sea G un grupo de orden p2 . Suponga que G no es c o clico, as todo elemento de G excepto la identidad tiene orden p. Luego, si a G es distinto de la identidad, < a > no es todo G, y si b < a >, < b > < a >= {e}. Por otro / lado por el primer teorema de Sylow, < a > y < b > son subgrupos normales de G, adems | < a > < b > | = p2 (Por qu?), entonces por el lema 6.22, a e G < a > < b >. Luego G es abeliano. Teorema 6.25 Si p y q son primos con p < q, entonces todo grupo de orden pq tiene un unico subgrupo de orden q. Mas an el subgrupo de orden q es normal, u luego G no es simple y si q 1(mod p), G es cclico. Demostracin: Por los teoremas de Sylow, G contiene un nmero n de qo u subgrupos de Sylow que es congruente a 1 mdulo q y que divide a pq. De o esto ultimo n|p, pero p < q luego n = 1. As por el segundo teorema de Sylow, si Q es el q-subgrupo de Sylow de G, Q G. De la misma forma, el nmero m de p-subgrupos de Sylow divide a q y es conu gruente a 1 mdulo p. As m {1, q}. Entonces si q 1(mod p), m = 1. As si o P es el p-subgrupo de Sylow de G, P G, y Q P = {e}. As G P Q Zp Zq Zpq .
6.3.
Grupos abelianos libres
6.26 Imaginmonos que quisieramos sumar entidades sin ninguna relacin e o entre ellas, diga usted cuadrados y tringulos. Probablemente no querr a amos que la suma de un cuadrado, un tringulo, y otro cuadrado diera algo diferena te a dos cuadrados y un tringulo. Estamos sumando tringulos y cuadrados a a formalmente, y algo as es lo que ahora consideraremos. 6.27 Denicin (Grupo abeliano libre, base): Una terna (G, A, i) que o consta de un grupo abeliano G, un conjunto A y un funcin i : A G, se llama o un grupo abeliano libre si para todo grupo abeliano H y toda funcin de o f : A H, existe un unico homomorsmo f : G H tal que (ver gura 6.1): f i=f El conjunto A es la base de G. PSfrag replacements
G
i f e f
Figura 6.1: Grupo abeliano libre
58
Teorema 6.28 Si (G, A, i) es un grupo abeliano libre, entonces: i) i es inyectiva. ii) G =< i[A] > iii) si (G , A, j) es grupo abeliano libre, G G
iu) (G, i[A], j) es grupo abeliano libre, donde j es la inclusin. o Demostracin: Suponga que i no es inyectiva, y sean a, b A tales que i(a) = o i(b) pero a = b. Dena f : A Z2 por f (a) = 0 y f (b) = 1, y sea f : G Z2 homomorsmo tal que f i = f . Entonces f (a) = f i(a) = f i(b) = f (b). Contradiccin, i es inyectiva. o Suponga que G =< i[A] >, luego G/ < i[A] > es un grupo abeliano no trivial. Ahora si dene f : A G/ < i[A] >, por f (a) = 0 para todo a A, el homomorsmo trivial, y la proyeccin cannica con kernel < i[A] >, <i[A]> 0, o o son homomorsmos diferentes tales que i = <i[A]> i = f . Contradiccin, 0 o G =< i[A] >. Ahora, considere i : G G y j : G G tales que i i = j y j j = i. Entonces i j j = j, por un lado, y por otro, idG , la identidad en G , es el unico homomorsmo tal que idG j = j, luego i j = idG . De la misma forma j i = idG , luego G G . Sean j : i[A] G, la inclucin, H un grupo abeliano y f : i[A] H una funcin. o o Considere g : A H denida por g = f i, y f : G H homomorsmo tal que f i = g. As como i es inyectiva, f j = f (i i 1 ) = g i 1 = f . f , i[A] i[A] es el homomorsmo buscado. 6.29 Nota. En vista del teorema anterior, si (G, A, i) es grupo abeliano libre, podemos considerar A G e i como la inclusin. En este caso decimos que G o es un grupo abeliano libre sobre A. Teorema 6.30 Sea G un grupo abeliano y A = {ai }i{1,...,n} subconjunto de G. Las siguientes aserciones son equivalentes: i) G es libre sobre A, con |A| < . ii) Todo elemento g en G se puede expresar de forma unica como g = con cada ni Z iii) G =< A > y
n i=1 n i=1
ni a i ,
ni ai = 0 si y slo si cada ni = 0. o
Demostracin: o ii) i) : Sean j : A G la inclusin y H grupo abeliano. Dada f : H A o n n dena f : G H por f ( i=1 ni ai ) = i=1 ni f (ai ), as f j = f . De donde G es abeliano libre sobre A. i) iii) : en el teorema 6.28 ya vimos G =< A >. Ahora suponga que 0 = n i=1 ni ai , dena para k {1, . . . , n}, fk : A Z por fk (x) = 0 si x = ak y
Teorema fundamental de los grupos abelianos
59
fk (ak ) = 1 y considere fk : G Z tal que fk j = f , donde j : A G es la n inclusin. Entonces 0 = fk (0) = i=1 ni fk (ai ) = nk . o iii) ii) : Como G =< A >, lo unico que hace falta demostrar es la unicidad n n n de la expresin. Si g = i=1 ni ai = i=1 mi ai entonces i=1 (ni mi )ai = 0 o y as ni = mi para cada i {1, . . . , n}. 6.31 Ejemplo (existencia de grupos abelianos libres): Sea A un conjunto y dena G = ZA e i : A G por i(a)(x) = 0 si x = a e i(a)(a) = 1. < G, +, > donde la suma es la usual entre funciones y es la funcin que 0 0 o env todo al 0, es un grupo abeliano. Ahora si H es un grupo abeliano, daa da f : A H, dena f : G H por f ( aA na i(a)) = aA na f (a), as f i = f . (G, A, i) es entonces grupo abeliano libre. Observe que si |A| < , y A = {ai }i{1,...,n} , bajo el isomorsmo que env g G al elemento cuya a k-sima entrada es g(ak ), G Z Z . . . Z. e
|A|
Teorema 6.32 Sea (G, A, i) grupo abeliano libre. Si (G, B, j) es grupo abeliano libre entonces |A| = |B|. Demostracin: ZB y ZA son equipotentes si y slo si |A| = |B|. Teniendo en o o mente lo que se acaba de decir en el ejemplo 6.31, el teorema se sigue entonces del teorema 6.28 iii). 6.33 Denicin (Rango): Sea (G, A, i) un grupo abeliano libre. Denimos o el rango de G como la cardinalidad de A. 6.34 Nota. En vista de lo ultimo que se prob, de ahora en adelante cuando o hablamos de un grupo abeliano libre omitiremos la referencia a la base A y a la funcin i, que por lo general la tomaremos como la inclusin. Para cualquier o o lector en este momento ya debe ser claro lo similar que es un grupo abeliano libre a un espacio vectorial. Teorema 6.35 Dos grupos abelianos libres son isomorfos si y slo si tienen o mismo rango. Demostracin: Los mismos argumentos que se usaron para demostrar el teorema o 6.32, sirven para este.
6.4.
Teorema fundamental de los grupos abelianos nitamente generados
6.36 Ya tenemos las herramientas necesarias para demostrar el teorema 1.48, lo que haremos en general es dado un grupo abeliano G nitamente generado, factorizaremos un grupo abeliano libre hasta obtener G. Comencemos.
60
6.37 Denicin (Subgrupo de torsin, grupo libre de torsin): Sea G o o o un grupo abeliano. El subgrupo de torsin de G, T , esta denido por: o T := {g G : ord(g) < +} Decimos que G es libre de torsin si T es trivial. o 6.38 Nota. Para un grupo cualquiera, se acostumbra decir que es de torsin o (o peridico) si todos sus elementos tienen orden nito, y libre de torsin (o o o aperidico) si todos sus elementos, menos la identidad, tienen orden innito. o Lema 6.39 Si G es un grupo abeliano, T su subgrupo de torsin y T =< o T c {0} >, G T T y as G/T T es libre de torsin. o Demostracin: Como T o G, T G, T T = {0} y T T = G, por el lema 6.22, G T T . Ahora si g T , ng T para todo n Z , luego G/T / / es libre de torsin. o Lema 6.40 Sea G un grupo abeliano de torsin. Entonces si |G| = i=1 pri es o i una descomposicin en potencias de primos con pi < pi+1 para i {1, . . . , n1}, o G Tp1 Tp2 . . . Tpn donde Tpi = {g G : ord(g) = pn , n N}. i Demostracin: Es claro que los Tpi son subgrupos de G, y que Tpi Tpj = {0}, o n si i = j. Ahora bien, si g G con ord(g) = i=1 psi , tomando mi = ord(g)/psi , i i n como (m1 , m2 , . . . , mn ) = 1, existen ki Z tales que 1 = i=1 ki mi , de esta n n forma g = i=1 ki gi donde gi = mi g. De esta forma como i=1 ki (mi g) = si ord(gi ) = pi , gi Tpi y G = Tp1 + Tp2 + . . . + Tpn . Luego, por el lema 6.22, G T p1 T p2 . . . T pn . Lema 6.41 Si G es un grupo abeliano libre sobre A = {ai }i{1,...,n} , i = j y t Z, B = {a1 , . . . , ai1 , ai + taj , ai+1 , . . . , an }, tambin es base para G. e Demostracin: ai = (ai + taj ) taj , luego < B >= G. Ahora si (n1 )a1 + . . . + o ni1 ai1 + ni (ai + taj ) + ni+1 ai+1 + . . . + nn an = 0, entonces como A es base, nk = 0 si k = j y tni + nj = 0. De donde nj = 0 y por el teorema 6.30, B es base para G. Teorema 6.42 Sea G un grupo abeliano libre de rango nito n. Si K G, K es tambin abeliano libre. Mas an si K es de rango m, existen A = {a i }i{1,...,n} e u base para G y {di }i{1,...,m} N , tales que di | di+1 y {di ai }i{1,...,m} es una base para K. Demostracin: Dada una base A = {ai }i{1,...,n} de G, y g G con g = o n ni ai , denimos |g|A := m n{|ni | : i {1, . . . , n}, ni = 0}. Ahora si i=1 K G, denimos |K|A := m n{|k|A : k K \ {0}}. Tome B1 = {bi,1 }i{1,...,n} base de G tal que |K|B1 sea minimal, con k1 K n tal que |k1 |B1 = |K|B1 y k1 = i=1 ni,1 bi,1 donde |n1,1 | = |K|B1 . Ahora
n
Teorema fundamental de los grupos abelianos
61
si ni,1 = qi,1 n1,1 + ri,1 , con 0 ri,1 < |n1,1 |, aplicando n 1 veces el len ma 6.41, A1 = {b1,1 + i=2 qi,1 bi,1 , b2,1 , . . . , bn,1 } es tambin base para G. e n Entonces si a1 = b1,1 + i=2 qi,1 bi,1 , ai,1 = bi,1 para i 2, y d1 = n1 , 1 k1 = d1 a1 + n ri,1 ai,1 donde ri,1 < |d1 |. As como d1 = |k1 |A1 , ri,1 = 0 i=2 n y k1 = d1 a1 K. Observe adems que si k K con k = m1 a1 i=2 mi ai,1 , a entonces d1 | m1 (Por qu?) e Si < d1 a1 >= K terminamos, de lo contrario escoja B2 = {bi,2 }i{1,...,n} base para G tal que |K|B2 sea minimal entre las bases que contengan a1 . Puede sun poner que k2 = i=2 ni,2 bi,2 es un elemento en el cual este m nimo se alcanza y que lo alcanza en el coeciente d2 del segundo elemento de la base (el primero es a1 ), pues podemos restar (o sumar) cuantas veces sea necesario d1 a1 a n de volver nulo el coeciente en a1 . As se dene, semejante a lo anterior, n o a2 = b2,2 + i=3 qi,2 bi,2 , donde qi,2 es el cociente de la divisin de ni,2 por d2 , y as k2 = d2 a2 . Entonces A2 = {a1 , a2 , b3,2 , . . . , bn,2 } es base para G. Pero adems si d2 = qd1 + r, donde 0 r < |d1 |, Y = {a1 + qa2 , a2 , b3,2 , . . . , bn,2 }, a es tambin base para G en la cual k = d1 a1 + d2 a2 = d1 (a1 + qa2 ) + ra2 K. e Entonces si r = 0, |k|Y = r < |d1 | lo que llevar a una contradiccin con la a o eleccin de B1 . As d1 | d2 . o Si < d1 a1 , d2 a2 >= K terminamos, de lo contrario continuamos as sucesiva mente. Mostrando una base para K queda de paso demostrado que es abeliano libre por el teorema 6.30. Lema 6.43 Si G es un grupo abeliano nitamente generado entonces: G Z m1 Z m2 . . . Z mn Z . . . Z
con mi | mi+1 , para i {1, . . . , n 1}. Demostracin: Suponga que G =< A > donde A = {ai }i{1,...,n} . Considere o un grupo abeliano libre (C, A, i) y tome : C G el homomorsmo tal que i = idA , donde idA es la inclusin de A en G. es sobreyectiva, luego por o el teorema fundamental del homomorsmo C/Ker() G. Entonces por el teorema 6.42, existe X = {xi }i{1,...,n} base para G con {mi }i{1,...,m} , tales que mi | mi+1 y {mi xi }i{1,...,m} es una base de Ker(). Ahora como C < x1 > . . . < xn >, K < d1 x1 > . . . < dm xm > y < di xi > < xi >, entonces C/Ker() Zm1 Zm2 . . . Zmm Z . . . Z. o Si mi = 1 podemos obviar el factor Zmi , mdulo isomorsmo. 6.44 Ahora s probaremos el teorema fundamental de los grupos abelianos nitamente generados. La existencia de la descomposicin es consecuencia inmeo diata de lo que ya hemos probado. Es frecuente en matemticas que la unicidad a se deba a una trivialidad una vez probada la existencia, pero en este teorema no es el caso, por intuitiva que sea. Teoremas que concluyan una clasicacin tan o exhaustiva son una rareza en matemticas en general y en la teor de grupos a a en particular.
62
Teorema 6.45 (Teorema fundamental de los grupos abelianos nitamente generados) Si G es un grupo abeliano nitamente generado: G Z pr 1 Z pr 2 . . . Z pr n Z . . . Z n 1 2
r
donde los pi , para i {1, . . . , n}, son primos tales que pi pi+1 , y los ri son naturales no nulos tales que ri ri+1 si pi = pi+1 . Mas an los pi , los ri y r u estn unvocamente determinados. A r se le llama nmero de Betti de G. a u Demostracin: Sea G un grupo abeliano nitamente generado. El subgrupo de o torsin T de G es nito pues si T =< {x1 , x2 , . . . , xm } >, y Ti =< xi >, cada o Ti es nito y T = T1 + T2 + . . . + Tm . Ahora, por los lemas 6.39 y 6.40, G
n
T p1 T p2 . . . T pn T
(6.2)
donde |T | = i=1 psi , con cada pi primo tal que pi < pi+1 , Tpi = {g G : i ord(g) = pn , n N}, y T es libre de torsin. o i Cada Tpi es de torsin, luego, como |Tpi | < +, por el lema 6.43, o T pi Z pr 1 Z pr 2 . . . Z pr k i i i
i
(6.3)
con ri ri+1 . Ahora como T es libre de torsin, por el lema 6.43, si T no es o trivial, T Z ... Z (6.4) Luego T es abeliano libre y por el teorema 6.35 el nmero de Zs en la producu toria (6.4), es decir el nmero de Betti de G, esta un u vocamente determinado (si T es trivial, r = 0). Cuando probemos la unicidad de la descomposicin en (6.3), habremos termio nado la demostracin. Dena para p primo, el pn -zcalo Tpi [pn ] de Tpi , por o o o Tpi [pn ] := {g Tpi : pn g = 0}. As Tpi [pn ] Tpi y cada elemento del pi -zcalo tiene orden pi o 1. Entonces por el lema 6.43, Tpi [pi ] Zpi . . . Zpi donde el nmero de elementos en la productoria esta un u vocamente determinado por el orden del pi -zcalo. Entonces como (Zpr1 Zpr2 . . . Zprk )[pi ] es isomorfo o i i i al producto directo de ki Zpi s, el nmero de elementos de la productoria (6.3) u esta un vocamente determinado. Zpd1 , . . . Zpdk , con 0 di < ri y Ahora bien dado n N , Tpi [pn ] i i i n = qi ri + di . De donde, Tpi /(Tpi [pn ]) i Zpr1 d1 . . . Zprk dk
i i
(6.5)
As el nmero de Zprj s en (6.3) para los cuales n 0(mod rj ) esta determinado u i por el nmero de elementos en la productoria (6.5) que colapsaron en triviales, u dado por el nmero de elementos no triviales, que ya vimos que es propio de todo u grupo abeliano nitamente generado. De esta forma cada rj queda un vocamente determinado cuando se recorre n por {1, . . . , logpi (ord(Tpi ))}.
Grupos libres y representaciones
63
6.46 Con un estudio ms profundo de los grupos abelianos de torsin, de los a o libres de torsin y de los abelianos libres, se puede exponer una demostracin o o mucho ms corta del teorema fundamental de los grupos abelianos. Pero el a enfoque que se le da ac ilustra bien, en un primer (y se espera que no unico) a acercamiento, el funcionamiento de los grupos abelianos nitamente generados.
6.5.
6.47 Denicin (Grupo libre): Una terna (F, X, i), que consta de un grupo o F , un conjunto X y una funcin i : X F , es un grupo libre si para todo o grupo G y toda funcin f : X G, existe un unico homomorsmo f : F G o tal que (ver gura 6.2): f i=f PSfrag replacements
F
i f e f
Figura 6.2: Grupo libre Teorema 6.48 Si (F, X, i) es un grupo libre, entonces: i) i es inyectiva. ii) si (F , X, j) es grupo libre entonces F F.
iii) (F, i[X], j) es grupo libre, donde j es la inclusin. o Demostracin: Una demostracin similar a la del teorema 6.28 verica este. o o 6.49 Observacin. A diferencia del teorema 6.28, en el 6.48 no esta F =< o i[X] >, en el caso de los grupos libres esto no es tan evidente ` priori. Por otro a lado, nada en la denicin de grupo libre nos indica que existen. Con el siguiente o teorema se visualizan los grupos libres, y estos problemas quedan resueltos. Teorema 6.50 Sea X un conjunto. Existe F grupo e i : X F funcin, tales o que (F, X, i) sea grupo libre con F =< i[X] >. Demostracin: Considere otro conjunto equipotente a X, por ejemplo X 1 = o {x1 : x X}. El s mbolo 1 no tiene ningn signicado, es slo para distinu o guirlo de los elementos de X. Por letra enteremos un elemento de X X 1 y por palabra entenderemos una sucesin nita de letras o la palabra vac que notareo a mos e (si en X est ese s a mbolo se le puede poner otro a la palabra vac As si a).
64
u mbolo, w es una palabra tenemos w = xe1 xe2 . . . xen , donde ei es o bien ningn s n 1 2 o bien el s mbolo 1. Sea W el conjunto de todas las palabras. Si w, v W , denimos wv como la palabra que se obtiene al concatenar w y v, esto es si e e e e em em w = xe1 xe2 . . . xen y v = y11 y22 . . . ym , wv = xe1 xe2 . . . xen y11 y22 . . . ym . Tamn n 1 2 1 2 e2 e1 1 1 en bin denimos w por w = xn . . . x2 x1 , donde ei es 1 si ei no es e s mbolo y ningn s u mbolo si ei es 1. Ahora, en W dena la relacin , donde o w v si de w puedo obtener v mediante las operaciones: (a) agregar entre dos letras xx1 o x1 x donde x es una letra. (b) eliminar una ocurrencia de xx1 o x1 x que suceda en la palabra. Es claro que es una relacin de equivalencia. Denimos F = W/ y [w] = o [w] . F ser nuestro grupo. Denimos la operacin por [w][v] = [wv], y as [e] a o es la identidad y [w 1 ] = [w]1 . Tambin se puede vericar fcilmente que e a [wv][u] = [w][uv], con lo cual se comprueba que F es un grupo. Y mas an si u i : X F es tal que i(x) = [x], vemos que F =< i[X] >. Ahora bien si < G, , eG > es un grupo y f : X G es una funcin, dena o e e e : W G por (xe1 xe2 . . . xen ) = g11 g22 . . . gnn donde gi = f (xi ) y n 1 2 (e) = eG . As pues (xx 1) = eG , luego podemos denir f : F G por e e e f([xe1 xe2 . . . xen ]) = g11 g22 . . . gnn y f([e]) = eG . Por construccin f es o n 1 2 homomorsmo y f i = f . Por otro lado si g es otro homomorsmo tal que g i = f , como g coincide con f en i[X], y F =< i[X] >, f = g. Luego (F, X, i) es grupo libre. Teorema 6.51 Sea (F, X, i) un grupo libre. Si (F, X , j) es grupo libre, |X| = |X | Demostracin: Considere el conjunto V compuesto por los homomorsmo de o F en Z2 . V se puede ver cannicamente como un espacio vectorial sobre Z2 . o Dado X, dena f : X Z por f (x) = 0 si x = y f () = 1 y sea BX = {f }X donde f i = f . Dado f V , f = X f ()f , y adems si a = X a f es tal que para todo x F , (x) = 0, entonces () = a = 0, luego BX es una base de V . Una base similar BX , se puede denir con X . As |BX | = |BX |, pero |BX | = |X| y |BX | = |X |. 6.52 Denicin (rango): Si (F, X, i) es un grupo libre a |X| lo llamamos o rango de F . Teorema 6.53 Dos grupos libres son isomorfos si y slo si tienen mismo rango. o Demostracin: Es fcil ver que si dos grupos libres son isomorfos tienen mismo o a rango (Por qu?). Ahora bien considere (F1 , X1 , i1 ) y (F2 , X2 , i2 ) dos grupos e libres tales que exista f : X1 X2 biyeccin. As existen dos unicas f1 : o F1 F2 , y f2 : F2 F1 tales que f1 i1 = i2 f y f2 i2 = i1 f 1 . As (f2 f1 ) i1 = f2 i2 f = i1 f 1 f = i1 , pero idF1 i1 = i1 luego idF1 = f2 f1 . De forma similar idF2 = f1 f2 . As F1 F2 .
65
6.54 El gran inters que despierta los grupos libres esta resumido en el sie guiente teorema. Teorema 6.55 Sea G un grupo tal que G =< X > y (F, Y, i) un grupo libre. Si f : Y X es sobreyectiva, entonces existe un homomorsmo : F G sobreyectivo tal que i = f . En particular todo grupo es imagen de un grupo libre. Demostracin: Viendo f con codominio G, existe un unico homomorsmo : o F G tal que i = f . Ahora bien G =< X >, luego es sobreyectiva, pues (F, Y, i) es libre. 6.56 Observacin. Dadas las condiciones del teorema anterior, G F/Ker(). o As todo grupo es de la forma F/K donde K F . Para generar un grupo en tonces consideremos un grupo libre (F, X, i), S F , y R el m nimo subgrupo normal de F que contiene < i[S] > (la clausura normal de S), nuestro grupo es F/R que esta un vocamente determinado unicamente por X y S. En esto nos concentramos ahora. 6.57 Denicin (representacin, relacionador): Sea < G, , 1 > un gruo o po. Un homomorsmo sobreyectivo : F G, donde (F, X, i) es grupo libre, es una representacin de G. A los elementos de Ker() los llamamos relao cionadores. Si S F es tal que su clausura normal es Ker() decimos que (, X, S) determina un conjunto generador y dene los relacionadores para G, que notamos: G =< X|S > 6.58 Observacines a la denicin 6.57. o o i) Si X = {xg : e = g G}, (F, X, i) grupo libre, y : F G denida por (xg ) = g, es la representacin estndar de G. o a ii) Ahora bajo el contexto de la denicin 6.57, A = i[X] es un conjunto o generador de G, y (s) = 1 para todo s S. Luego (6.57) tambin lo e notamos: G =< A|s = 1, s S > 6.59 Ejemplos: i) Una representacin de Zn es < a|an = 1 >. o ii) Considere el D =< x, y|x2 = 1, y 2 = 1 >, llamado diedral innito. Si a = xy, D =< a, x >, y x1 ax = yx = a1 , luego otra representacin o es < x, a|x2 = 1, x1 ax = a1 >, pues de x1 ax = a1 deducimos y 2 = (x1 a)2 = 1. Por otro lado x1 = x, ax = xa1 y a1 x = xa1 luego un elemento t pico de G es de la forma xr as . donde r {0, 1} y s Z.
66
iii) Dos representaciones de Dn son < x, y|x2 = y 2 = (xy)n = 1 > y < x, a|x2 = an = 1, x1 ax = a1 >. Se debe sentir porque esto es una representacin del grupo diedral, x representa una reexin y a la primeo o ra rotacin. Los otras rotaciones son am y las otras reexiones xam . La o prueba formal requiere un poco ms de trabajo. a 6.60 El tema de grupos libres y representaciones es bastante ms extenso. Por a ejemplo en 6.59 mostramos que un grupo puede tener varias representaciones, eso lo llamamos representaciones isomorfas. Tambin podemos preguntarnos si e dado S podemos determinar si un elemento de F es o no es un relacionador, en un nmero nito de pasos. u
6.6.
Ejercicios
1. Sea S un Sylow p-subgrupo de un grupo nito G. Pruebe que todo subgrupo de NG (S) de orden una potencia de p es un subgrupo de S. (Recuerde que NG (S) es el normalizador de S en G, es decir, NG (S) = {g G : gSg 1 = S}) 2. Sea G un grupo de orden 12. Cuales son los valores posibles para los nmeros de 2-subgrupos y de 3-subgrupos de Sylow en G? Pruebe que u existen exactamente 5 estructuras de grupos diferentes de orden 12. 3. Sea G un grupo nito y p un primo que divide |G|. Pruebe que si H es un p-subgrupo normal de G, entonces H esta contenido en todo p-subgrupo de Sylow de G. 4. Sea G un grupo nito y sea p un primo que divide |G|. Sea P un p-subgrupo de Sylow de G. Pruebe que N [N [P ]] = N [P ]. 5. Sea G un grupo nito y sea p un primo que divide |G|. Sea P un p-subgrupo de Sylow de G y sea H un p-subgrupo de G. Pruebe que existe g G tal que gHg 1 P . 6. Pruebe que todo grupo de orden (35)3 tiene un subgrupo normal de orden 125. 7. Pruebe que no hay grupos simples de orden 255 = (3)(5)(17). 8. Pruebe que un grupo nito de orden pn contiene subgrupos normales Hi , para 0 i n, tales que |Hi | = pi y Hi < Hi+1 para 0 i < n. (Ayuda: recuerde (o pruebe) que el centro de un p-grupo nito no trivial es no trivial, y use este hecho). 9. Pruebe que todo elemento diferente a la identidad de un grupo libre es de orden innito. 10. Pruebe que si G y G son grupos abelianos libres, entonces G G es abeliano libre.
Ejercicios
67
11. Pruebe que Q bajo la adicin no es un grupo abeliano libre. (Ayuda: o pruebe que ningn par de nmeros racionales distintos n/m y r/s pueden u u estar en un conjunto que cumpla con las condiciones de ser base.)
68

Abstract A

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Abstract A

Uploaded by

Copyright:

Available Formats

Notas para un curso de Algebra Abstracta I

6.1. Grupo abeliano libre . . . . . . . . . . . . . . . . . . . . . . . . . 6.2. Grupo libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Cap tulo 1. Grupos

Cap tulo 1. Grupos

Cuadro 1.1: Los dos unicos grupos de cuatro elementos

Cap tulo 1. Grupos

} tiene tamao n/s. n

ii) Todo subgrupo de G es de la forma < ar >, con r Z, | < ar > | =

Grupos generados y producto directo

Grupos generados y producto directo

Cap tulo 1. Grupos

Grupos de permutaciones Demostracin: o sg() =

Cap tulo 1. Grupos

Figura 1.2: transformaciones del cuadrado 0 1 2 3 1 2 1 2 0 0 1 2 3 1 2 1 2 1 1 2 3 0 2 1 1 2 2 2 3 0 1 2 1 2 1 3 3 0 1 2 1 2 2 1 1 1 1 2 2 0 2 1 3 2 2 2 1 1 2 0 3 1 1 1 1 2 1 3 1 0 2 2 2 2 1 2 1 3 2 0

Coconjuntos y el Teorema de Lagrange

Coconjuntos y el Teorema de Lagrange

Cap tulo 1. Grupos

Cap tulo 2. Homomorsmos

Cap tulo 2. Homomorsmos

Isomorsmos y el Teorema de Cayley

iii) N K =< N K >= KN iv) si K G y N K = {e}. Entonces: nk = kn, (n, k) K N

Isomorsmos y el Teorema de Cayley

2.23 Denicin (Isomorsmo): Un isomorsmo es un homomorsmo o biyectivo.

Cap tulo 2. Homomorsmos

Teorema Fundamental del Homomorsmo

Cap tulo 2. Homomorsmos

Figura 2.2: Teorema Fundamental del Homomorsmo

Clculo de Grupo Factor a

Clculo de Grupo Factor a

Teorema 2.46 Sea : G G un homomorsmo. Si N N [G], 1 [N ] G.

Cap tulo 2. Homomorsmos

Cap tulo 2. Homomorsmos

Cap tulo 2. Homomorsmos

Cap tulo 3. Conjugacin o

36 Lema 3.14 Sea n 5 y N

Cap tulo 3. Conjugacin o An . Si N contiene un 3-ciclo, N = An .

Accin de grupo sobre un o conjunto

Cap tulo 4. Accin de grupo sobre un conjunto o

Subgrupo estabilizador y orbitas

Subgrupo estabilizador y orbitas

Cap tulo 4. Accin de grupo sobre un conjunto o

Aplicaciones de G-conjuntos en combinatoria: La frmula de Burnside o

|G| = |G| |Gx|

Cap tulo 4. Accin de grupo sobre un conjunto o

Teoremas de Isomorsmos y Series de Grupos

Cap tulo 5. Teoremas de Isomorsmos y Series de Grupos

PSfrag replacements Series de Grupos

Figura 5.2: Tercer Teorema de Isomorsmo

Cap tulo 5. Teoremas de Isomorsmos y Series de Grupos

Figura 5.4: Teorema de Schreier

Cap tulo 5. Teoremas de Isomorsmos y Series de Grupos

Cadena Central Ascendente Hi+1 /Hi son abelianos.

Cadena Central Ascendente

Cap tulo 5. Teoremas de Isomorsmos y Series de Grupos

es el subgrupo normal ms grande de G contenido en H. a

Teoremas de Sylow y Grupos libres

Cap tulo 6. Teoremas de Sylow y Grupos libres

Cap tulo 6. Teoremas de Sylow y Grupos libres

Aplicaciones de la teor de Sylow a

Grupos abelianos libres

Figura 6.1: Grupo abeliano libre

Cap tulo 6. Teoremas de Sylow y Grupos libres

Teorema fundamental de los grupos abelianos

Teorema fundamental de los grupos abelianos nitamente generados