Cap tulo 1 Grupos y Subgrupos

001.El concepto de grupo Sea G un conjunto no vac o y sea GG G una operaci on interna en G para la cual denotaremos a la imagen de un par (x, y ) mediante xy . Supongamos que 1) x, y, z G (xy )z = x(yz ). 2) e G / (x G xe = ex = x). 3) x G (x1 G / xx1 = x1 x = e). En estas condiciones se dice que la pareja (G, G G G) dene una estructura de grupo en G para la operaci on G G G. M as abreviadamente, se suele decir que G es un grupo respecto de la operaci on G G G. Haciendo abuso de lenguaje, hablaremos simplemente del grupo G suponiendo que en el conjunto G hemos prejado una cierta operaci on interna. La primera propiedad se conoce como asociativa. El elemento e aludido en la segunda se nombra como elemento neutro. Para cada x G, el x1 que aparece en la tercera, se denomina elemento inverso o sim etrico de x. 002.- Grupos abelianos Un grupo G se llama abeliano (por Niels Abel), o conmutativo cuando 4) x, y G xy = yx. Esta propiedad se llama conmutativa, y la cumplen s olo algunos grupos.

003.- Notaci on aditiva Al denir los grupos hemos usado notaci on multiplicativa. Podr a sustituirse por otra cualquiera. En particular, tambi en es usual la notaci on aditiva. En este caso, el elemento neutro se nombra como elemento nulo o cero, escribiendo 0 en lugar de e; el sim etrico de uno dado x se nombra como opuesto de x, escribiendo x donde antes pon amos x1 . La denici on de grupo se redactar a as : 1) x, y, z G (x + y ) + z = x + (y + z ). 2) 0 G / (x G x + 0 = 0 + x = x). 3) x G ( x G / x + (x) = (x) + x = 0), mientras que la propiedad conmutativa, de cumplirse, se escribir a 4) x, y G x + y = y + x. Precisamente en los grupos con esta propiedad, es decir, los grupos abelianos, es donde con m as frecuencia se emplea la notaci on aditiva. 004.- Primeras propiedades de los grupos 1) Propiedad asociativa generalizada La propiedad asociativa se ha enunciado para tres datos, pero puede extenderse a cuatro o m as. V ease, por ejemplo, que con los datos x, y, z, u, aplicando oportunamente la propiedad asociativa para tres, obtendr amos ((xy )z )u = (x(yz ))u = x((yz )u) = x(y (zu)) = (xy )(zu), es decir, todas las formas de agruparlos conducen a un mismo resultado. Una vez establecido esto, se pasar a a operaciones con cinco datos y , por recurrencia, a operaciones con una cantidad nita, pero arbitraria, de datos, obteniendo el mismo resultado para todas las agrupaciones posibles. Esta es la generalizaci on de la propiedad asociativa, que una vez comprobada permite prescindir de los par entesis en que agrupamos el resultado de operar parte de los datos. As se justica el nombre de primera regla de supresi on de par entesis, usado por algunos tratadistas. 2) El elemento neutro es u nico: Si e, f G son dos posibles neutros, consideremos su producto ef . Por ser e neutro, sale ef = f , y por serlo f es ef = e. Por tanto, e = f . 3) Para cada x G, su sim etrico es u nico: Si y, z G son dos posibles sim etricos de x, se tiene z = ze = z (xy ) = (zx)y = ey = y. 4) El sim etrico de un producto es el producto de los sim etricos en orden contrario: x, y G (xy )1 = y 1 x1. En efecto, (xy )(y 1x1) = x(yy 1)x1 = xex1 = = xx1 = e = y 1y = = y 1ey = y 1 (x1 x)y = (y 1x1 )(xy )
p.2/@becedario

Introducci on a la Teor a de Grupos

y 1 x1 = (xy )1. Con notaci on aditiva, tendr amos (x + y ) = (y ) + (x), que habitualmente se escribe en la forma (x + y ) = y x, constituyendo la llamada segunda regla de supresi on de par entesis, usada sobre todo en grupos conmutativos. 5) El sim etrico del sim etrico de un elemento es el propio elemento: x G (x1 )1 = x. Cambiando el orden de las igualdades en la denici on de sim etrico, sale x1 x = xx1 = e x = (x1 )1 . 6) Es v alida la propiedad de simplicaci on (o cancelativa), tanto por la derecha (x, y, z G / xz = yz ) x = y, como por la izquierda (x, y, z G / zx = zy ) x = y. Basta multiplicar ambos miembros por el inverso del elemento a simplicar, por el mismo lado en que est e situado. Por ejemplo, xz = yz (xz )z 1 = (yz )z 1 x(zz 1) = y (zz 1) xe = ye x = y. 7) Se puede efectuar la operaci on inversa, tanto por la derecha x, y G (u G / x = yu), como por la izquierda x, y G (v G / x = vy ). Tomando, en efecto, u = y 1x, v = xy 1, se comprueba que yu = y (y 1 x) = (y 1 y )x = = ex = x = xe = = x(y 1y ) = (xy 1 )y = vy. El elemento u = y 1x se conoce como cociente de x por y por la derecha, mientras que v = xy 1es el cociente de x por y por la izquierda. Si el grupo G fuese conmutativo,
@becedario/p.3

ambos coinciden y se habla sin m as de cociente de x por y . As la operaci on inversa es una verdadera operaci on en G a la que suele denominarse como divisi on, y su resultado suele escribirse como x/y . En notaci on aditiva, en lugar de cociente se habla de diferencia a uno u otro lado. En el caso abeliano, la operaci on inversa se denomina sustracci on y su resultado se escribe como x y = x + (y ), constituyendo la tercera regla de supresi on de par entesis. 005. El orden de un grupo Como veremos, con ejemplos concretos que aparecer an en el siguiente cap tulo, el cardinal del conjunto G sobre el que tengamos una estructura de grupo puede ser tanto innito como nito. El Teor a de Grupos es frecuente llamar orden de un grupo al cardinal de G, usando para su valor cualquiera de las dos notaciones Ord.(G), | G | . La observaci on que hemos hecho da lugar a clasicar los grupos en grupos innitos o grupos nitos, seg un que lo sea su orden. 006.- Subgrupos Sea H = un subconjunto de G. Se dice que H es subgrupo de G si al operar, mediante la operaci on de G, solamente con elementos de H (esto es: al restringir la operaci on de G a H ), H adquiere la estructura de grupo. As , un subgrupo no s olo es un grupo dentro de otro, sino que ha de serlo con la misma operaci on del total. Proposici on 01: Un subconjunto H = es un subgrupo de G si y s olo si 1) x, y H xy H. 2) e H. 3) x H x1 H. Demostraci on: a) Supongamos que H cumple las tres condiciones del enunciado. La primera indica que la restricci on de la operaci on de G a H se convierte en una operaci on interna de H. El neutro de G, que est a en H por la segunda condici on, sirve de neutro en la operaci on de H . Tambi en el sim etrico en G de cada x H , que pertenece a H por la tercera condici on, sirve de sim etrico en la operaci on de H . Finalmente, esta operaci on es asociativa, pues, al tener tal propiedad car acter universal en G, la hereda cualquier parte de G y, en particular, la hereda H . As , llegamos a que H , con la operaci on restringida, se ha convertido en otro grupo, o sea, H es un subgrupo de G. b) Seg un la denici on dada, para que H sea un grupo por s solo lo primero que tendr a que ocurrir es que la restricci on de la operaci on de G a H sea una operaci on interna en H , lo cual signica que: 1) x, y H xy H. En segundo lugar, H ha de tener neutro. Como el de G (por su universalidad) sirve para H y como el neutro en cada grupo es u nico, se deber a cumplir que:
p.4/@becedario

Introducci on a la Teor a de Grupos

2) e H. Finalmente, si H ha de ser grupo, cada elemento suyo ha de tener un sim etrico perteneciente a H. Por la unicidad en G del sim etrico, este no puede ser otro que el que ya pose a como elemento de G. O sea, 3) x H x1 H. Proposici on 02: Un subconjunto H = es un subgrupo de G si y s olo si x, y H xy 1 H. Demostraci on: a) Supongamos que H cumple la condici on del enunciado. Entonces, al ser no vac o, existe al menos un elemento x H . Aplicando la condici on a la pareja x, x se deduce que xx1 = e H. Si x H , al aplicar la condici on a la pareja e, x sale ex1 = x1 H. Por n, si x, y H , tambi en x, y 1 H , luego x(y 1 )1 = xy H. As , H cumple las tres propiedades de 01 y se trata de un subgrupo. b) Si H = es un subgrupo, cumple las condiciones de 01. Entonces, dados x, y H , por la tercera se cumple que y 1 H , y por la primera, aplicada a los datos x, y 1 H se tiene la implicaci on x, y H xy 1 H. En lo sucesivo, la relaci on H es subgrupo de G se indicar a escribiendo H G. Trivialmente se tiene G G y {e} G. Estos subgrupos se llaman impropios. Un subgrupo propio H ser a el que cumpla {e} = H = G. 007.- Intersecci on de subgrupos Proposici on 01: La intersecci on de una cantidad cualquiera de subgrupos de G, es otro subgrupo. Demostraci on: Sea = un conjunto cualquiera y sea {H } una familia de subgrupos de G. Entonces, x, y H x, y H , xy 1 H , xy 1 H . En particular, dados H, K G, se tendr a que H K G. Sin embargo, en general, el conjunto H K no es subgrupo de G. En el siguiente cap tulo aparecer a alg un ejemplo que corrobore tal armaci on.
@becedario/p.5

008.- Producto de dos subgrupos Dados dos subconjuntos no vac os H y K de un grupo G, el conjunto HK = {g = xu / x H, u K } de todos los resultados de operar un elemento de H con otro de K , se nombra como el producto de H por K . Suponiendo que H y K sean subgrupos, en general HK no va a ser otro subgrupo. Lo veremos con un ejemplo cuando m as adelante establezcamos caracterizaciones, as como condiciones solamente sucientes, para que HK sea un subgrupo. De momento, vamos a desarrollar una de las condiciones sucientes y vamos a se nalar una propiedad que posee HK en caso de ser subgrupo. Proposici on 01: Si H y K son subgrupos de un grupo abeliano G, se cumple que HK es otro subgrupo de G. Demostraci on: Sean g = xu, h = yv , donde x, y H, u, v K , dos elementos de HK . Entonces, aplicando las propiedades asociativa y conmutativa, tenemos gh1 = (xu)(yv )1 = (xu)(v 1y 1 ) = (xy 1 )(uv 1) HK, porque, al tratarse de subgrupos, sabemos que x, y H xy 1 H, uv K uv 1 K. A su vez, la relaci on gh1 HK implica que HK es subgrupo. Proposici on 02: Supongamos dos subgrupos H y K de G tales que HK tambi en sea subgrupo. Sea L un tercer subgrupo. Entonces, 1) H K HK. 2) H K L HK L. Demostraci on: 1) Todo elemento x H se escribe en la forma x = xe, con e K , luego x HK . Igualmente, si u K , escribiendo u = eu, con e H , vemos que u HK . As , HK contiene a H y contiene a K , y, por ello, H K HK. 2) Sea L un subgrupo tal que H K L. Dado un elemento g HK , se tendr ag= xu, donde x H y u K . Como los dos factores pertenecen a H K , pertenecer an a L. Siendo L subgrupo, su producto tambi en. As , queda probado que HK L. Este teorema signica que si HK es subgrupo, tiene la propiedad de ser el m nimo subgrupo (para la relaci on de contenido) que contiene a la uni on.

Ejercicios
01.- Razonar que en la denici on de grupo hubiese bastado postular la existencia de neutro y de sim etricos solamente por la izquierda.
p.6/@becedario

Introducci on a la Teor a de Grupos

02.- Para cada operaci on denida en el conjunto G, d gase cu ando la pareja (G, ) es un grupo. En caso negativo, se nalar qu e axiomas fallan. 1) G = Z, x y = xy. 2) G = Z, x y = x y. 3) G = Q, x y = xy. 4) G = R+ , x y = xy. 5) G = C , x y = x + y. 6) G = R , x y = x. 03.- En el conjunto G = {e, a, b, c, d, f } tabla e a e e a a a e b b c c c d d d f f f b se dene una operaci on interna mediante la b b c e f a d c c d f e b a d d f a b e c f f b d a c e

La pareja (G, ) es un grupo abeliano? Cu al de los axiomas falla? 04.- Sea la operaci on * de R denida por la ley x y = 3 x3 + y 3 . Comprobar que (R, ) es un grupo abeliano. 05.- En el conjunto G de puntos de la curva de ecuaci on xy = 1 se ja el punto P = (1, 1). Dados A, B G, se considera la recta < A, B > que pasa por ellos (si A = B , esta recta se sustituye por la tangente en A a la curva) y se traza la paralela a la misma que pasa por P , la cual cortar a a la curva en otro punto C . Tomando la operaci on A B = C , razonar que (G, ) es un grupo abeliano. 06.- En el conjunto G = R {1} se dene una operaci on mediante la ley a b = a + b + ab. Comprobar que se trata de una operaci on interna. Razonar que (G, ) es un grupo abeliano. Resolver en dicho grupo la ecuaci on 6 x = 9. 07.- Sea E = un conjunto, sea G = P (E ). En G se dene la operaci on X Y = (X Y c ) (X c Y ),

llamada diferencia sim etrica. Razonar que con ella, P (E ) se convierte en un grupo abeliano en el cual cada elemento es sim etrico de s mismo. Si E es de cardinal nito n, qu e orden tiene el grupo? 08.- Razonar que si en un grupo G todo elemento coincide con su inverso, el grupo es abeliano. 09.- Dado un grupo (G, ), se dene una operaci on T en G por la ley xT y = yx.
@becedario/p.7

Comprobar que (G, T ) tambi en es un grupo. (Se conoce como conmutado de G y se anota c como G ). Qu e ocurre si G es abeliano? 10.- Sea G un grupo, A y B dos subconjuntos de G, y H un subgrupo tal que A H . Razonar que AB H = A(B H ). (Ley de Dedekind).

p.8/@becedario