42

TEORIA DE GRUPOS

Grupos abelianos libres

En Algebra Lineal es clsica la estructura de espacio vectorial V sobre un cuerpo a K. Esta seccin trata de estudiar el caso anlogo de un grupo abeliano sobre Z. o a La notacin en grupos abelianos suele ser aditiva. As la operacin se suele designar o , o mediane +, el neutro mediante 0, el simtrico de x se denomina opuesto de x y se e escribe x; asimismo, dado z Z, x G, x + + x, si z > 0 0, si z = 0 zx = zx, si z < 0, Finalmente, en lugar de coproducto diremos suma directa y en vez de G H escribiremos G H. Anlogamente, iI Gi se escribir iI Gi . En principio, a a el producto directo arbitrario de grupos abelianos, como aplicaciones de soporte arbitrario, no ser objeto de nuestro estudio; de hecho probaremos que todo grupo a abeliano libre es isomorfo a un coproducto, es decir suma directa, de copias de Z. Denicin 9.1 Una parte nita X de un grupo abeliano se dice libre si es vaca o o si z1 x1 + + zn xn = 0 = zi = 0 En caso contrario se dice ligada. Ejemplos Los elementos no nulos de Z son libres; en cambio, los elementos de un grupo abeliano nito son ligados, pues si su orden es n, nx = 0. Cualquier parte de Z con ms de un elemento {n, m, . . .} es ligada. En efecto, a nm + (m)n + 0 . . . = 0 Denicin 9.2 Una parte X de un grupo abeliano se dice libre si lo es cualquier o parte nita de X. En caso contrario, se dice ligada. Ejemplo En el grupo abeliano de los polinomios con coecientes enteros, el subconjunto {1, x, x2 , . . . , xn , . . .} es libre. Observacin 9.3 Pueden trasladarse algunas propiedades conocidas de la teor o a de espacios vectoriales, pero no todas. . . Una parte que contenga el 0 es ligada. Toda familia con vectores repetidos es ligada. No todo elemento no nulo es libre. Elementos en estas condiciones se denominan de torsin. Por ejemplo en el grupo abeliano Q/Z todo elemento es o de torsin. o

Grupos abelianos libres

43

No todo subgrupo S de un grupo abeliano poosee un T tal que G = S T . C4 posee un subgrupo C2 Denicin 9.4 Se dice base en un grupo abeliano a una parte libre que sea sistema o generador. Ejemplos 1 es base de Z. (1, 0, . . . , 0), (0, . . . , 0, 1) es base de Zn . Se dice base cannica. o Denicin 9.5 Un grupo abeliano F se dice libre si posee una base. o Ejemplos y contraejemplos 1. Cualquier suma directa de copias de Z: Z, Z2 , . . . , Zn , . . . es un grupo abeliano libre de base la cannica. o 2. El grupo de polinomios con coecientes enteros Z[x] es libre. 3. Ningn grupo abeliano nito puede ser libre, pues carece de partes libres. u 4. Q tampoco puede ser un grupo abeliano libre1 , pues dos o ms nmeros a u racionales forman una familia ligada y un unico racional no puede generar Q. Caractericemos todos los grupos abelianos libres. Teorema 9.6 Son equivalentes i) F es libre. ii) F es suma directa interna de subgrupos mongenos innitos. o iii) F es isomorfo a una suma directa de (copias) de Z. iv) Existe un conjunto X y una aplicacin : X F tal que para cada grupo o abeliano G y aplicacin f : X G existe un unico homomorsmo de grupos o : F G tal que = f Demostracin: Antes de nada digamos que el item iv), donde es clave la o propiedad universal de la suma directa, ser de utilidad a la hora de describir a los grupos abelianos libres, salvo isomorsmo, por su rango. Asimismo, el item ii) permite considerar cada grupo abeliano como cociente de un grupo abeliano libre. i) = ii): Sea X una base de F y para cada x X sea Fx el subgrupo de F generado por x; entonces, al ser x libre su orden es innito. Ahora F =< X > da F =< xX Fx >. Por otro lado, z Fx < y=x Fy > = z = nx = n1 y1 + + nr yr = z = 0 ii) = iii): Por la proposicin 8.23, F es isomorfo a xX < x > y ste a xX Z, o e pues cada < x > es mongeno innito luego una copia de Z. o
1 aunque

Xlibre

es libre de torsin o

44

TEORIA DE GRUPOS

iii) = i): Sea xX Z F y para cada x X, sea x la inyeccin cannica de Z o o = en la suma directa y fx = ( x )(1). Veamos que {fx | x X} es una base de F . {fx | x X} es libre z1 fx1 + + zr fxr = 0F = z1 ( x1 )(1) + + zr ( xr )(1) = 0F Puesto que es monomorsmo z1 x1 (1) + + zr xr (1) = 0xX Z = (z1 x1 (1) + + zr xr (1))(xk ) = 0 Puesto que (ver proposicin 8.17) z x (1)(y) = x,y z, se tiene zk = 0 k. o {fx | x X} es sistema generador Al ser un epimorsmo es suciente probar que {x (1) | x X} es sistema generador de la suma directa. Dado un g en dicha suma directa, si J es su soporte, sabemos (proposicin 8.18 con notacin aditiva) que g = jJ j (g(j)) y como o o g(j) Z g= j (g(j).1) = g(j)j (1)
jJ jJ

iii) = iv): Sea xX Z F y : X F dada por (x) = x (1), donde x la = inyeccin cannica de Z en la suma directa. Dada f : X G, sea (x : Zx G) o o dada por x (z) = zf (x); es claro que se trata de una familia de homomorsmos. Por la propiedad universal, existe un unico homomorsmo : xX Z G tal que x = x . Ahora = 1 es un homomorsmo de F en G y (x) = 1 (x) = 1 x (1) = x (1) = x (1) = f (x) x X Por tanto, = f . Supongamos que : F G satisface = f . Entonces, x (1) = (x) = f (x) = x (1) = x = x Por tanto, la unicidad de la propiedad universal da = ; es decir, = 1 = iv) = iii): Veremos que F es una suma directa de (Zx | x X). Al efecto, denimos x : Zx F mediante x (1) = (x). Sea (x : Zx G) una familia de homomorsmos. Denimos f : X G mediante f (x) = x (1). Entonces, la hiptesis iv) da un unico : F G tal que f = . Por tanto, o ( x )(1) = (x) = f (x) = x (1) En denitiva, x = x .

Grupos abelianos libres Finalmente, si existe otro tal que x = x se tiene (x) = x (1) = x (1) = f (x) Luego la unicidad en iv) da = . Hemos terminado.

45

Observacin 9.7 Una vez descrita la caracterizacin de grupos abelianos libres o o la pregunta que se plantea es obvia cada dos bases poseen la misma cantidad de elementos? La respuesta es armativa2 . Teorema 9.8 Sean X e Y dos bases de F . Entonces |X| = |Y |. Se dice rango3 de F . Demostracin: La tcnica de la demostracin ser la siguiente. Supondremos o e o a X nito y probaremos que Y debe ser asimismo nito y que |X| = |Y |. A continuacin supondremos que todas las bases de F son no nitas y estableceremos o una aplicacin inyectiva de X en Y . o X = {x1 , . . . , xn }: Entonces, F =< x1 > < xn > Sea 2F = {2x | x F } =< 2x1 > < 2xn > As , F/2F n < xi > / < 2xi > n Z/2Z = i=1 = i=1

Por tanto, |F/2F | = 2n . En conclusin cualquier base nita debe poseer n elemeno tos. Si Y fuera una base innita, escribiendo xi como c.l. de los elementos de Y encontrar amos una parte nita Yo de Y , por tanto libre, que es sistema generador de F . Ahora, y Y \ Yo y la parte {y} Yo Y es ligada. X arbitrario: Veremos que |X| = |F |, lo que indudablemente conlleva una buena racin de teor de cardinales, que no es objeto de etse curso. Puesto que4 |X| o a |F |, ser suciente ver la otra desigualdad. Sea S la unin numerable de los a o productos cartesianos nitos de X: S = X X 2 X 3 X n Dado s S existe n N tal que s = (x1 , . . . , xn ) X n ; consideremos el subgrupo Gs =< x1 , . . . , xn > de F generado por estos n elementos. Entonces, F = sS Gs Eliminando elementos repetidos, Gs es isomorfo a una suma directa nita de copias de Z, por lo que |Gs | = |Z|. Basta ver que |S| = |X| y |F | |S||Z| = |S|, pero stos y otros detalles5 es lo que se sale del alcance de este curso. e
2 gracias 3o

a la conmutatividad de los n meros enteros u dimensin o 4 la inclusin de X en F es inyectiva o 5 como |X| |Y |, |Y | |X| = |X| = |Y | (teorema de Schroeder-Bernstein)

46

TEORIA DE GRUPOS

Como en el caso de espacios vectoriales, el rango describe los grupos abelianos libres salvo isomorsmos.

Proposicin 9.9 Dos grupos abelianos libres son isomorfos si y slo si poseen el o o mismo rango. Demostracin: El directo es consecuencia de que un isomorsmo transforma o una base en una base. Para el rec proco supongamos que F y G poseen el mismo rango; sea pues una biyeccin entre X e Y bases respectivas de F y G. Entonces, existen homomorso mos unicos : F G y : G F tales que X = Y

Y = X 1 As ,

( ) X = X

( ) Y = Y

Puesto que idF X = X la unicidad de la propiedad universal da: = idf = 1G idG Y = Y

y se trata de isomorsmos entre F y G (uno inverso del otro). Finalizamos asociando a cada grupo abeliano uno libre que se proyecta sobre l e

Proposicin 9.10 Todo grupo abeliano G es cociente de un grupo abeliano libre o de rango el tamao de un conjunto de generadores de G. n Demostracin: Sea X un sistema generador de G y F = xX Z. Entonces, F o es libre (vase la demostracin del apartado iii) = i) en 9.6) de rango |X| y e o existe : F G tal que es la inclusin de X en G. As X (F ) y es o , epimorsmo.

Grupos abelianos libres

47

EJERCICIOS 1. Probar que los coecintes de un elemento como c.l. de una base son unicos; se diecn coordenadas. 2. Encontrar elementos libres en Z que no son base de Z. 3. Encontrar elementos libres en Z no prolongables a una base de Z. 4. Probar que si m 1, mZ es un subgrupo propio de Z del mismo rango. 5. Encontrar sistemas generadores en Z que no contienen ninguna base de Z. 6. Sea f un homomorsmo del grupo abeliano libre G en el grupo abeliano H. Probar que son equivalentes: (a) f es mono (b) Toda familia libre se transforma en una familia libre (c) Toda base se transforma en una base (d) Existe una base que se transforma en una familia libre. (e) ker f = 0G 7. Sea f un homomorsmo del grupo abeliano libre G en el grupo abeliano H. Probar que son equivalentes: (a) f es iso (b) Toda base se transforma en una base (c) Existe una base que se transforma en una base 8. Probar que los racionales no tienen un sistema generador nito. 9. Probar que el grupo aditivo Z[x] es isomorfo al multiplicativo (Q+ ) . Deducir que el conjunto de primos es una base de (Q+ ) . 10. Prubese que todo grupo abeliano libre es libre de torsin6 e o

6 sus

elementos no nulos son libres