Tema 2. Grupos.

Grupos
1. * es asociativa 2. * tiene elemento neutro 3. todo elemento de G tiene simtrico. e

Denicin 1 Un grupo es una estructura algebraica (G, ) tal que la operacin binaria verica: o o

Si, adems, * es conmutativa se dice que (G, ) es un grupo conmutativo o abeliano (en honor al a matemtico noruego Niels Henrik Abel, 1802-1829). a Ejemplo 1 Las siguientes estructuras algebraicas son grupos. 1. (Z, +), (Q, +), (R, +), (Zm , +). 2. (Q , ) (R , ), (Z , ) con p primo. p 3. El conjunto de matrices de orden 2 con coecientes enteros (o reales) con la suma es un grupo conmutativo. 4. (S3 , ), con la operacin dada por la tabla o
a 1= a a = b a = c b b b a b a c c a = a a = b a = c b c b c b b c b c a c a 1 c c c b 1 1 1 1 1 1 1

Nota = . Proposicin 1.1 En un grupo (G, ) se verica: o 1. El elemento neutro es unico (suele denotarse por e). 2. El simtrico de un elemento g de G es unico (se escribe g 1 ). e 3. Para cada g G, (g 1 )1 = g. 4. Dados g, h G, (g h)1 = h1 g 1 . 5. Todo elemento de G es simplicable. 6. Para cualesquiera g, h G, la ecuacin g x = h (tambin, x g = h) tiene solucin unica en G. o e o 7. El neutro es el unico elemento idempotente de G. 8. Cada elemento de un grupo nito aparece exactamente una vez en cada la y en cada columna de la tabla de la operacin del grupo. o

Nota Cuando la operacin del grupo es + (adicin), el grupo se dice aditivo, el elemento neutro se denota o o por 0 y el simtrico de a se escribe a. e Se llama orden de un grupo (G, ) al cardinal del conjuinto G. Hay slo un grupo de orden 1, 2 3; o o cuntos grupos de orden 4 puede haber? a Denicin 2 Sean (G1 , ) y (G2 , ) dos grupos. Consideremos, en el conjunto G1 G2 , la operacin o o interna (x, y)(x , y ) = (xx , y y ). Se verica que (G1 G2 , ) tiene estructura de grupo, que llamaremos el grupo producto de (G1 , ) y (G2 , ). Observemos que su neutro es (e, e ); y para cada (x, y) (G1 G2 ) su simtrico es (x, y)1 = (x1 , y 1 ). e

Subgrupos

Sea (G, ) un grupo y H un subconjunto no vac de G. o Denicin 3 Se dice que H es un subgrupo de G si, considerando restringida a H, se verica que o (H, ) es un grupo. Es decir: 1. h, h H, h h H 2. e H 3. h H, h1 H. Proposicin 2.1 Son equivalentes, o 1. H es subgrupo de G 2. h, h H, h h H y h H, h1 H. 3. h, h H, h (h )1 H Ejemplo 2 1. G y {e} son subgrupos de (G, ); se llaman subgrupos triviales de G.

2. (Z, +) es subgrupo de (Q, +). 3. H = {0, 2} es subgrupo de (Z4 , +); sin embargo, H = {0, 1} no lo es. 4. H = {1, 6} es un subgrupo de (Z , ), pero H = {1, 5} no lo es. 7 5. H = {1, } y H = {1, , } son subgrupos de (S3 , ); sin embargo H = {1, , } no lo es.

Orden de un elemento y grupos c clicos

Notacin. Dado un elemento de un grupo G, se denen las potencias g n , para cualquier entero n, de la o forma siguiente: g 0 = e, y para n 1, g n = g g; g n = (g n )1 Usando induccin se prueba que para todo n 1, g n = g g n1 ; (g n )1 = (g 1 )n . o Adems, se cumple que: a g n g m = g n+m y (g n )m = g nm , n, m Z. 3.1 Aunque g n es un elemento de G para cada entero n, no signica que todas las potencias g n representen elementos distintos de G. De hecho, si G es nito, algunas de las potencias han de ser iguales: Supongamos que g a = g b con a > b, entonces g ab = e, donde a b > 0. En consecuencia, se puede asegurar que g s = e para algn entero positivo s; por el axioma del buen orden, existe el menor entero u positivo con esa propiedad. 2
n

Denicin 4 Sea g un elemento de un grupo G. Si para todo entero positivo n, g n = e se dice que g o tiene orden innito. En caso contrario, se dice que g tiene orden nito y al menor entero positivo m para el cual g m = e se llama orden de g, denotado por ord g. Por lo sealado anteriormente, en un grupo nito todo elemento tiene orden nito y el orden del n elemento neutro es 1. Ejemplo 3 1. En (Z, +) : ord 0 = 1, pero n es de orden innito n Z, n = 0.

2. En (Z4 , +) : ord 0 = 1, ord 1 = 4 = ord 3, ord 2 = 2. 3. En (Z7 , ) : ord 1 = 1, ord 2 = 3 = ord 4, ord 3 = 6 = ord 5, ord 6 = 2. 4. En (S3 , ) : ord 1 = 1, ord = 2 = ord = ord , ord = 3 = ord . 5. En (Z2 Z2 , +) todos los elementos, salvo el neutro, tienen orden 2. 6. En (C , ) : ord i = 4, ord (1) = 2, ord ((1 + i 3)/2) = 3. Proposicin 3.2 Sea g G. o 1. ord g = 1 si, y slo si, g = e. o 2. ord g = 2 si, y slo si, g = e y g = g 1 . o 3. Si G es nito, entonces ord g |G|. 4. g s = e si, y slo si, s es mltiplo del orden de g. o u 5. ord g = ord g 1 . Denicin 5 Sea g un elemento de un grupo (G, ). El conjunto < g > = {g n , n Z} es un subgrupo o de G, llamado subgrupo c clico generado por g. Denicin 6 Se dice que un grupo (G, ) es c o clico si existe x G tal que G = < x >, es decir, todos los elementos de G pueden expresarse como potencias de x. Ejemplo 4 Los grupos (Z, +) y (Z , ) son c clicos generados por 1 y 3, respectivamente. 7 3.3 Sea g un elemento del grupo G tal que ord g = m. 1. Para 0 i < j < m, se verica que, g i = g j . 2. Para cualquier entero n, g n = g r siendo r el resto de dividir n por m (0 r < m). Por lo tanto, < g > = {e, g 1 , g 2 , ..., g m1 } y el cardinal del conjunto < g > coincide con el orden del elemento g. Ejemplo 5 1. En un grupo, (G, ), < e > = {e} y para todo g G, < g > = < g 1 > .

2. En (Z, +), < 1 > = Z =< 1 > y < a > es el conjunto de los mltiplos del elemento a. u 3. En (Z4 , +), < 1 > = Z4 = < 3 >, < 2 > = {0, 2}. 4. En (Z12 , +), < 1 > = Z12 =< 5 > = < 7 > = < 11 > (ntese que 1, 5, 7, 11 son primos con 12), o < 2 > = {0, 2, 4, 6, 8, 10}, < 3 > = {0, 3, 6, 9}. 5. En (Z , ), < 1 > = {1}, < 2 > = {1, 2, 4} = < 4 >, < 3 > = Z = < 5 >, < 6 > = {1, 6}. 7 7 6. En (S3 , ), < 1 > = {1}, < > = {1, }, < > = {1, }, < > = {1, }, < > = {1, , } =< > .

Proposicin 3.4 o 1. Si G es c clico, entonces G es conmutativo. Pero el rec proco no es cierto, por ejemplo, (R, +) es conmutativo, pero no c clico. 2. Todo subgrupo de un grupo c clico es c clico (est generado por la menor potencia positiva del a generador del grupo que pertenezca al subgrupo). Demostracin (del primer enunciado). Para n, m Z, se tiene g n g m = g n+m = g m g n . o Proposicin 3.5 Sean (G, ) es un grupo nito y H un subconjunto no vac de G. H es subgrupo de G o o si, y slo si, la operacin es interna en H. o o Demostracin. Si H es subgrupo de G entonces la operacin es interna en H por denicin de subgrupo. o o o Supongamos que la operacin es interna en H. Para demostrar que H es subgrupo basta con justicar o que dado cualquier elemento h H se tiene que su inverso tambin pertenece a H (ver Proposicin ??). e o Fijemos h H y veamos que su inverso tambin pertenece a H. Sabemos que el orden del elemento h es e nito, supongamos ord h = m. Si m = 1 entonces h es el elemento neutro y su inverso es el mismo. Si m > 1 entonces e = hm = hm1 h = h hm1 . Por lo tanto, h1 = hm1 H.

Teorema de Lagrange

En este apartado demostraremos el Teorema de Lagrange, que arma que el orden de un subgrupo de un grupo nito divide al orden del grupo. La idea de la demostracin es construir una particin del grupo o o en la que todas las partes tengan el mismo nmero de elementos que el subgrupo. u Sea (G, ) un grupo (no necesariamente nito) y sea H un subgrupo de G. Se dene la siguiente relacin en G. Para x, y G o x y x1 y H. 1. La relacin es de equivalencia: o (a) es reexiva (equivale a que el neutro sea un elemento de H) g g g 1 g H e H (b) es simtrica (equivale a que el inverso de cualquier elemento de H pertenece a H) e x y x1 y H (x1 y)1 H y 1 x H y x (c) es transitiva x y, y z x1 y, y 1 z H (x1 y) (y 1 z) H (x1 z) H x z 2. Sea g G. La clase lateral (por la izquierda) de g respecto a H es: [g] = {x G/ g x} = {x G/ g 1 x H} = {x G/ g 1 x = h, para algn h de H}. u Luego [g] = {x = g h, para algn h de H}. u Denotaremos [g] = g H. Observemos que, [e] = [h] = H para todo h H. 3. Todas las clases de equivalencia tienen el mismo cardinal, que coincide con el cardinal de H. Sea g G veamos que [g] y H son conjuntos con el mismo cardinal. En efecto, teniendo en cuenta que el elemento g es simplicable y la caracterizacin de [g] en el punto anterior, se concluye que o la aplicacin : H g H denida por (h) = g h es biyectiva. o 4. Se llama ndice de H en G al nmero de clases de equivalencia de la relacin inducida por H en G. u o Se representa por [G : H]. Como todas las clases tienen el mismo cardinal que H y las clases distintas forman una particin de G, o se obtiene el siguiente Teorema de Lagrange. Teorema 4.1 Sea (G, ) un grupo nito y H un subgrupo de G. Entonces, |G| = [G : H] |H|. 4

Corolario 4.2 Sea (G, ) un grupo nito 1. El orden de un subgrupo divide al orden del grupo. 2. El orden de un elemento de un grupo nito divide al orden del grupo. 3. Si G es un grupo nito de orden n, entonces g n = e, para todo g de G. 4. Si |G| es un nmero primo, entonces G es c u clico (y, por lo tanto, conmutativo). Ejemplo 6 1. El subgrupo H = {1, } de (S3 , ) da lugar a las siguientes clases:

[1] = [] = H; [] = { 1, } = {, } = []; [] = { 1, } = {, } = [ ]. 2. La relacin dada por el subgrupo H =< m > = {zm/ z Z} en (Z, +), es la relacin ser congruente o o mdulo m o x y x + y H x y H z Z, tal que x y = zm x m y. Las clases de equivalencia son las clases de resto mdulo m, [x] = {x + zm/ z Z} = x + < m > . o

Relaciones de congruencia y grupo cociente

1. La relacin de equivalencia denida por H en G, x y x1 y H es una relacin o o de congruencia, es decir, compatible con la operacin . En efecto, si x y e z t entonces o (x z)1 (y t) = z 1 x1 y t = (x1 y) (z 1 t) H ya que es el resultado de operar dos elementos de H. Luego (x z) (y t). En ese caso, el conjunto cociente tiene estructura de grupo, llamado grupo cociente, que se representa por G/H. La operacin est denida por [g] [g ] = [g g ] ( (g H) (g H) = (g g ) H). o a o Observemos que el elemento neutro es [e] = H. 2. Rec procamente, si es una relacin de congruencia en G entonces o (a) [e] es un subgrupo. En efecto, [e] es no vac pues contiene al neutro. Veamos que la operacin es interna: si o o x, y [e] entonces x e e y e de donde se tiene que x y e e por ser una relacin de o congruencia. Luego x y [e]. Finalmente, veamos que para todo x [e], su simtrico tambin e e pertenece a [e] : si x [e] entonces x e. Por otro lado, x1 x1 (por ser una relacin o de equivalencia), luego x1 x x1 e. Es decir, e x1 o equivalentemente, x1 [e]. (b) Adems, para todo x G se verica [x] = x [e]. Es decir, coincide con la relacin denida a o por el subgrupo [e]. En efecto, si y [x] entonces y x. Por otro lado, x1 x1 y la relacin es compatible o con la operacin, luego x1 y x1 x1 = e de donde se tiene que x1 y [e] o o equivalentemente, y x [e]. Veamos la inclusin x [e] [x]. Si y x [e] entonces x1 y [e] o equivalentemente, o x1 y e. Usando que x x y que la relacin es compatible con la operacin tenemos que o o x x1 y x e. Luego y x y por tanto y [x].

Sea (G, ) un grupo conmutativo y sea H un subgrupo de G. 5.1

Ejemplo 7 El subgrupo H = < m > de (Z, +) dene la relacin de equivalencia ser congruente mdulo o o m y la operacin en el cociente Zm es la suma mdulo m. o o

Morsmos de grupos

Sean (G, ) y (G , #) grupos. Denicin 7 Una aplicacin f : G G se denomina morsmo de grupos si f conserva la operacin. o o o Es decir, f (g1 g2 ) = f (g1 )#f (g2 ), para todos g1 , g2 G. Proposicin 6.1 Sea f : G G un morsmo de grupos o 1. f (e) = e , siendo e y e los elementos neutros de G y G , respectivamente. 2. f (g 1 ) = f (g)1 , para todo g G. 3. Si H es un subgrupo de G, entonces f (H) es un subgrupo de G . En particular, Im(f ) = f (G) es un subgrupo de G . 4. Si H es un subgrupo de G ,entonces f 1 (H ) es un subgrupo de G. En particular, Ker(f ) = {g G/ f (g) = e } es un subgrupo de G. 5. f es inyectiva si, y slo si, Ker(f ) = {e}. o Ejemplo 8 1. f : (R, +) (R+ , ), con f (x) = ex es un isomorsmo y f 1 (x) = Ln(x).

2. f : (Z, +) (Zm , +), con f (x) = [x] es un epimorsmo. 3. Para denir un morsmo de grupos desde un grupo c clico (G = < a >, ) a un grupo (G , #), f : G G , basta denir la imagen del generador de G. Observemos que dicha imagen f (a) ser a un elemento cualquier de G en el caso de orden innito. En el caso nito de orden n, tenemos que f (a)n = e de donde se deduce que el orden de f (a) debe ser un divisor de n. Si f es inyectivo (es decir, monomorsmo) entonces el orden de un elemento coincide con el orden de su imagen (ver ejercicios). Luego, en este caso, ord a = ord f (a). Por otro lado, f es un epimorsmo si, y slo si, f (a) es un generador de G . En efecto, si y G , o existe un x G tal que y = f (x). Es decir, y = f (as ) para algn s Z. Por ser f morsmo tenemos u que y = f (a)s lo que justica que G = < f (a) > . Rec procamente, si f (a) es un generador de G entonces f es sobreyectiva. Si ambos grupos son c clicos y del mismo orden, el morsmo ser biyectivo, (es decir, ser un a a isomorsmo) si, y slo si, f (a) es un generador de G . o En particular, todo grupo c clico innito es isomorfo a (Z, +). Y, todo grupo c clico de cardinal n es isomorfo a (Zn , +). 4. El morsmo de grupos f : (Z4 , +) (Z , ), con f (1) = 2 es un isomorsmo. 5 5. Sea (G, ) un grupo c clico de cardinal innito. El morsmo f : (Z, +) (G, ), f (1) = g con g generador de G es un isomorsmo. 6. Sea (G, ) un grupo c clico de cardinal n y generador g. El morsmo f : (Zn , +) (G, ), dado por f (1) = g, es un isomorsmo. 7. El grupo (Z4 , +) no es isomorfo al grupo producto (Z2 Z2 , +), que se llama grupo de Klein. Este grupo es conmutativo, pero no c clico, pues sus elementos tienen orden 1 2. o 8. (Q , ) y (Z, +) no son isomorfos, ya que el orden de 1 en Q es 2, mientras que en Z ningn u elemento tiene ese orden. 9. Si f es un isomorsmo, ord (f (x)) = ord (x), para todo x G.