[siguiente][anterior][arriba]

2.2 Grupos

Definición 2.17. Sea un monoide y . Si es tal que , entonces decimos que es un inverso de .

Es fácil verificar que si el inverso de un elemento dado existe, entonces es único: si son inversos de , entonces . El inverso de , si éste existe, se representa por en la notación multiplicativa y por en la notación aditiva. Desde luego, tenemos que

Definición 2.18. Un grupo es un monoide cuyos elementos son todos invertibles. Si la operación de es además conmutativa, decimos que es un grupo abeliano.

Puesto que nuestro principal interés son los grupos y no los semigrupos ni los monoides, quizá sea conveniente desglosar lo que significa la definición anterior, que nos dice que el par es un grupo si cumplen las propiedades siguientes:

  1. Para cualesquiera , .
  2. Existe un elemento , llamado identidad (o elemento neutro) de , tal que para todo .
  3. Para todo existe un , llamado inverso de , tal que .

Como ya vimos, la identidad de un grupo (más en general, de un monoide) es única, como también lo es el inverso de cualquier elemento del grupo.

Por ejemplo, el conjunto de los números naturales (que para nosotros incluye al cero) es un monoide pero no un grupo respecto de la suma ordinaria de dichos números, pues el único elemento invertible es el cero (que es su propio inverso, como ocurre para la identidad de cualquier monoide). En contraste, el conjunto de los números enteros enteros sí es un grupo abeliano respecto de la suma ordinaria de números enteros, con como la identidad del grupo y con el inverso de . Siempre que hablemos del grupo , se entenderá que nos referimos a con dicha estructura. Por otra parte, observemos que, respecto de la multiplicación, es un monoide pero no un grupo, pues ningún entero distinto de la unidad tiene inverso multiplicativo.

Veamos algunos otros ejemplos de grupos.

Ejemplo 2.19. Desde luego, son también grupos respecto de la suma los conjuntos , y . Respecto de la multiplicación, son grupos los conjuntos , y . También son grupos multiplicativos los conjuntos formados por los elementos positivos de los tres conjuntos anteriores.
Ejemplo 2.20 (Enteros módulo ). La relación de congruencia módulo un entero es de equivalencia, y por tanto induce una partición de en clases de equivalencia, a las que llamamos clases residuales módulo . A la clase de un entero la representamos por , o sea que mód Al conjunto de todas las clases residuales módulo lo representamos por . Del algoritmo de la división se deduce que consiste exactamente de las clases todas ellas distintas entre sí. Sobre este conjunto definimos la operación de suma módulo n por la fórmula Puesto que esta operación se especifica en términos de representantes de las clases residuales, es necesario verificar que está bien definida comprobando que el resultado de aplicar la fórmula no cambia al tomar otros representantes de las clases, o sea, que si y , entonces . Pero esto es consecuencia directa del inciso (a) de la teorema 1.40.

Se verifica de inmediato que es un grupo respecto de la operación de suma módulo . Su elemento neutro es , y el inverso de es . Cuando hablemos del grupo , se entenderá que nos estamos refiriendo a este grupo.

Ejemplo 2.21 (Unidades de ). En podemos definir también la multiplicación módulo , en este caso por la fórmula Por el inciso (b) de la teorema 1.40, esta operación está bien definida, si bien tal operación da a estructura de monoide con identidad pero no de un grupo en el caso general, ya que es posible que una clase residual no tenga inverso multiplicativo. Sin embargo, es claro que el subconjunto de formado por las clases residuales que sí cuentan con inverso multiplicativo será un grupo respecto de la multiplicación de clases, al que llamamos grupo de las unidades de y que representamos por . En particular, es claro que , y en general si y sólo si existe tal que mód. Puesto que módexiste  tal que existe  tal que mcd tenemos mcd luego , donde es la aplicación de Euler. En el caso particular en que es primo, tenemos
Ejemplo 2.22 (Racionales módulo uno). La relación en el grupo aditivo de los números racionales dada por  si y sólo si  es claramente de equivalencia. Al conjunto de las clases de equivalencia inducidas por esta relación lo representaremos por , y sobre éste definimos la operación de suma dada por . Se deja al lector verificar que esta operación está bien definida y que con ella forma un grupo aditivo, mismo que llamaremos grupo de los racionales módulo uno.
Ejemplo 2.23. El subconjunto de , donde , es un grupo respecto de la multiplicación ordinaria de números complejos.
Ejemplo 2.24 (Raíces -ésimas de la unidad). Generalizando el ejemplo anterior, tomemos el número complejo con , de manera que son las raíces -ésimas de la unidad. Puesto que mód y , éstas forman un grupo respecto de la multiplicación ordinaria de números complejos, al cual representaremos por . Su elemento neutro es el 1 y el inverso de cada es . Siempre que hablemos del grupo de las raíces -ésimas de la unidad nos estaremos refiriendo a esta estructura.
Ejemplo 2.25 (Grupo de Klein). Sea y defínase el producto en por la siguiente tabla de multiplicar:

| ⋅ |1 a b c ---|-------------- 1 |1 a b c | a |a 1 c b | b | b c 1 a | c c b a 1

Tenemos entonces que es la identidad y que todo elemento de es su propio inverso. Verificar que se trata también de una operación asociativa es fácil si observamos que si y son los tres elementos de que no son la identidad, entonces , y , luego para dichos elementos tenemos que , y que . La asociatividad en el caso en que alguno de estos tres elementos es la identidad es obvia. A se le conoce como grupo de Klein.

Ejemplo 2.26 (Producto directo de grupos). Sean y dos grupos cualesquiera, y defínase sobre su producto cartesiano la operación dada por Es inmediato que forma un grupo respecto de esta operación. A este grupo lo llamamos producto directo de y . Esta construcción nos da una forma más concreta de obtener el grupo de Klein, pues el lector podrá comprobar que no existe ninguna distinción formal entre la tabla de multiplicar de y la de más allá del nombre de los elementos. Más adelante introduciremos las nociones que nos permitirán precisar lo que queremos decir con que no exista una diferencia esencial entre dos grupos.
Ejercicio 2.27. Demostrar que es abeliano si y sólo si y son ambos abelianos.
Solución: Si y son abelianos y y , entonces , luego es abeliano. Recíprocamente, si es abeliano y y , entonces el hecho de que significa que , e igualando componentes obtenemos y , o sea que y son abelianos.
Ejemplo 2.28. El conjunto de todas las matrices no singulares de con componentes en forman un grupo respecto de la multiplicación de matrices. A este grupo lo llamamos grupo lineal general, y lo representamos por .

Ahora vamos a establecer algunos resultado básicos en relación a los inversos de los elementos de un grupo . Por ejemplo, tenemos que si , entonces (2.1) donde no debe pasar inadvertido el orden en que aparecen los factores del miembro derecho. Para comprobar esta igualdad simplemente verificamos que es el inverso de . En efecto, pues . Un sencillo argumento inductivo extiende la fórmula (2.1) a inversos de productos con cualquier número de factores:

Proposición 2.29. Si son elementos de un grupo , entonces

Una consecuencia inmediata de la existencia de inversos en un grupo es que en éste se cumple la ley de cancelación:

Proposición 2.30 (Leyes de cancelación). Si y son elementos cualesquiera de un grupo , entonces cualquiera de las igualdades o implica . En particular, implica que .
Demostración: Supongamos que . Entonces . El caso en que se demuestra de forma similar.

En un grupo , la existencia de inversos permite definir potencias negativas: si , definimos para todo entero . En la notación aditiva, tenemos . Desde luego, esta definición es compatible con las leyes de los exponentes que ya conocíamos para potencias no negativas:

Proposición 2.31 (Leyes de los exponentes). Sean y enteros cualesquiera y un elemento de un grupo . Se verifican las relaciones siguientes:
  1. ;
  2. ;
  3. .
Demostración: (a) Para y ya lo sabemos. Si y entonces y el caso anterior nos dice que , de donde se sigue la igualdad buscada. Desde luego, el caso y puede razonarse manera similar. Finalmente, si y , entonces , y al invertir la ecuación obtenemos . Esto cubre todos los casos posibles para .

(b) Se sigue inmediatamente de (a), pues , luego es en efecto el inverso de .

(c) Si entonces se sigue de (a) y el principio de inducción matemática sobre . Probado ese caso, tenemos que si entonces, por (b), .

Terminamos la sección mostrando que los axiomas de la teorema 2.18 pueden debilitarse y dar lugar al mismo concepto.

Teorema 2.32. Un semigrupo es un grupo si y sólo si
  1. cuenta con “identidad derecha”: existe un tal que para todo , ;
  2. todo elemento de es “invertible por la derecha”: para todo existe un tal que .
Demostración: PENDIENTE.
Ejercicio 2.33. Dar un ejemplo que demuestre que, en un semigrupo , la existencia de una identidad derecha y de inversos izquierdos no basta para afirmar que es un grupo.
Solución: Sea un conjunto de más de un elemento y defínase el producto en por la fórmula . Es rutina verificar que es un semigrupo en el que cualquier elemento de es una identidad derecha. Sin embargo, ningún elemento puede ser “la identidad” de , pues de otro modo el hecho de que para todo implicaría que es inverso izquierdo de todo elemento de , lo que no puede ser a menos que consista de un único elemento.

Se deja al lector demostrar la proposición siguiente, que nos da una forma alternativa de caracterizar la estructura de grupo.

Proposición 2.34. Un semigrupo es un grupo si y sólo si las ecuaciones y tienen soluciones únicas en .
Ejercicio 2.35. Demostrar la teorema 2.34.
Solución: Sea la solución de . Entonces es una identidad derecha para todo elemento , pues por hipótesis existe una solución tal para , y haciendo uso de ella encontramos que . Por otra parte, también tiene solución para todo , por lo que todo elemento de es invertible por la derecha. Así, se cumplen las hipótesis del teorema 2.32 para el semigrupo , luego este teorema nos dice que es un grupo. Recíprocamente, si es un grupo, está claro que las ecuaciones y tienen soluciones únicas y .

[siguiente][anterior][arriba]