(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

Ya vimos la definición de un grupo. Es un conjunto con una operación binaria que se comporta «bien», es decir, que es asociativa, tiene un neutro y tal que todo elemento tiene un inverso.

Ahora nos interesa trabajar con una subcolección de $G$, llamémosla $H$. Estudiaremos qué se necesita para que $H$ sea un grupo en sí mismo. La idea es trabajar con la misma operación de $G$, pero ahora usando sólo los elementos de $H$. Para que la operación $\ast$ siga siendo binaria en $H$, necesitamos que $\ast$ sea cerrada en $H$. Además, necesitamos que el neutro de $G$, $e_G$, sea elemento de $H$. Porque si $e_G$ deja fijos a todos los elementos de $G$, en particular deja fijos a todos los elementos de $H$. Y la tercera condición es la de los inversos, para todo elemento en $H$, su inverso también debe estar en $H$. La asociatividad, se «hereda» al restringir la operación $\ast$ a $H$. De esta manera, nos podremos olvidar de $G$ y concentrarnos en $H$.

En esta entrada veremos la definición formal de subgrupos y algunos ejemplos para que quede más clara la definición y la utilidad de definir un grupo dentro de otro.

Definiendo a los subgrupos

Comencemos con la definición formal de subgrupos.

Definición. (Subgrupo)
Sea $G$ un grupo, $H$ subconjunto de $G$. Decimos que $H$ es un subgrupo de $G$ si cumple lo siguiente:

1. El neutro $e_G$ de $G$ está en $H$, es decir, $e_G\in H$.
2. $H$ es cerrado con la operación, es decir si $a,b\in H$, entonces, $ab\in H$.
3. Todo elemento de $H$ tiene su inverso en $H$. Es decir, si $a\in H$, entonces $a^{-1}\in H$.

Notación. $H\le G$ denotará que $H$ es subgrupo de $G$.

Ejemplos.

1. Si $G$ es un grupo, $\{e\}$ y $G$ son subgrupos de $G$. Puede haber muchos más, pero al menos esos dos seguro son subgrupos.
2. Sea $X$ un conjunto, ${\mathcal{S}}_X=\{f:X\to X|f\text{ es biyectiva en }G\}$ es un grupo con la composición.
   Dado $x_0\in X$ consideramos todos los elementos de ${\mathcal{S}}_X$ que dejan fijo a $x_0$
   $\{f\in {\mathcal{S}}_X|f(x_0)=x_0\}$. Este es un subgrupo de ${\mathcal{S}}_X$.
3. Consideremos $(\mathbb{Z},+)$ y su subconjunto $\{n\in \mathbb{Z}|n\text{ es múltiplo de }2\}\le \mathbb{Z}$.
   Podemos generalizarlo, dado $m\in \mathbb{Z}$ consideremos el conjunto de todos los múltiplos de $m$. Este conjunto se denota como $m\mathbb{Z}:=\{n\in \mathbb{Z}|n\text{ es múltiplo de }m\}\le \mathbb{Z}$ y se tiene que $m\mathbb{Z}\le \mathbb{Z}$.

Caracterizaciones de los subgrupos

Observación 1. Dado $G$ un grupo y $H$ un subconjunto de $G$, $H$ es un subgrupo de $G$ si y sólo si

1. $H\ne \mathrm{\varnothing }$.
2. Si $a,b\in H$, entonces $a{b}^{-1}\in H$.

Demostración. La demostración quedará como ejercicio.

Observación 2. Dado $G$ un grupo, $H$ un subconjunto de $G$, $H$ es un subgrupo de $G$ si y sólo si $H$ es un grupo con la operación restringida a $H$.

Demostración.

$|\Rightarrow )$ Supongamos que $H\le G$.

Por el inciso 2 de la definición de subgrupo, la operación es cerrada en $H$, entonces es una operación binaria en $H$.

Por el inciso 1 de la definición, $e_G\in H$, y sabemos que $e_G\ast a=a\ast e_G$ para toda $a\in G$. En particular $e_G\ast a=a\ast e_G$ para toda $a\in H$. Así $e_G$ es neutro en $H$.

Sea $a\in H$, por el inciso 3 de la definición de subgrupo, $a^{-1}\in H$, es decir el inverso de $a$ en $G$ está en $H$, entonces existe $a^{-1}\in H$ tal que $a{a}^{-1}=a^{-1}a=e_G=e_H$, y así $a^{-1}$ es el inverso de $a$ en $H$.

Por lo tanto, $H$ es un grupo con la operación restringida.

$\Leftarrow |)$ Supongamos que $H$ es un grupo con la operación restrigida. Entonces, $H$ tiene un neutro $e_H\in H$.

Aquí hay que hacer una observación. En principio no sabemos que el neutro de $G$ y el neutro de $H$ son el mismo, porque $e_H$ es un neutro restringido a $H$ y puede no serlo fuera del subconjunto. Además, que sean distintos no rompe la unicidad del neutro ya que $e_H$ es el neutro en $H,$ no en $G$ así que no estamos hablando de dos neutros distintos en $G;$ y si $e_G$ es el neutro en $G,$ pero $e_G\notin H,$ de nuevo no se rompe la unicidad pues sólo hay un neutro en $H$. Así, lo primero que tenemos que demostrar, es que $e_H=e_G$. Las siguientes operaciones las realizaremos en $G$, porque no podemos asegurar que $e_G$ es un elemento de $H$.

$\begin{array}{rlr}{e}_H{e}_G& =e_H& e_G\text{ es neutro en }G\\ & =e_H{e}_H& e_H\text{ es neutro en }H\end{array}$

Entonces $e_H{e}_G=e_H{e}_H$ y por la cancelación en $G$, $e_G=e_H$. Así $e_G\in H$.

Sean $a,b\in H$. Como $H$ es un grupo con la operación restringida, esta operación es una operación binaria en $H$ y por tanto cerrada. Así $ab\in H$.

Sea $a\in H$, como $H$ es un grupo con la operación restringida, $a$ tiene un inverso en $H$, digamos $\hat{a}\in H$, tal que $a\hat{a}=\hat{a}a=e_H$.

Sea $a^{-1}$ el inverso de $a$ en $G$, entonces $a{a}^{-1}=a^{-1}a=e_G$. Como $e_H=e_G$

$\begin{array}{rl}a\hat{a}& =a{a}^{-1}\\ \hat{a}& =a^{-1}& \text{por la ley de cancelación en }G\end{array}$

Así $a^{–1}\in H$.

Por lo tanto $H\le G$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Caracterización de subgrupos finitos

Ya teniendo la definición de subgrupo, podemos considerar sólo subconjuntos finitos de un grupo $G$. En este caso basta pedir sólo dos condiciones al subconjunto para que sea un subgrupo: que sea no vacío y que sea cerrado bajo la operación.

Proposición. Sea $G$ un grupo, $H$ un subconjunto finito de $G$, no vacío. $H$ es un subgrupo de $G$ si y sólo si $ab\in H\mathrm{\forall }a,b\in H$.

Demostración. Sea $G$ un grupo. Consideremos $H$ un subconjunto finito no vacío de $G$.

$|\Rightarrow )$ Supongamos que $H\le G$, entonces se cumple la definición de subgrupo. En particular se cumple el inciso 2, es decir, el producto en $H$ es cerrado.

$\Leftarrow |)$ Supongamos que el producto en $H$ es cerrado.
Como $H\ne \mathrm{\varnothing }$ consideremos $h\in H$.

Como el producto de $H$ es cerrado, tenemos que $h^n\in H$ para toda $n\in {\mathbb{Z}}^{+}$. Entonces los elementos de la lista: $h,h^2,h^3,\cdots$ están en $H$, y como $H$ es finito debe haber repeticiones.

Sean $l,m\in {\mathbb{Z}}^{+}$ con $l<m$ tales que $h^l=h^m$. Como $h^l\in G$ consideremos su inverso $h^{-l}\in G$. Multiplicando por $h^{-l}$ tenemos que

$h^m{h}^{-l}=h^l{h}^{-l}=e_G$

Por las leyes de los exponentes

$h^{m-l}=e_G$ con $m-l\in {\mathbb{Z}}^{+}$

Recordemos que $h^n\in H$ para toda $n\in {\mathbb{Z}}^{+}$, entonces $e_G\in H$.
Además, $h{h}^{m-l-1}=e_G$. Entonces tenemos dos casos.
Si $m-l-1=0$, entonces $h=e_G\in H$ y $h$ es su propio inverso.
Si $m-l-1\in {\mathbb{Z}}^{+}$, entonces $h^{m-l-1}\in H$, y como $h{h}^{m-l-1}=e_G$, entonces $h^{m-l-1}$ es el inverso de $H$.

Así $H$ es cerrado bajo inversos y por lo tanto $H$ es un subgrupo de $G$.

Tarea moral

1. Demuestra que el ejemplo 2 de la definición de subgrupo efectivamente es un subrupo de ${\mathcal{S}}_X$.
2. Para que un subconjunto $H$ de un grupo $G$ sea un subgrupo ¿es necesario pedir que $H$ tenga al neutro o se puede deducir de la condición de cerradura bajo producto y de la cerradura de los inversos?
3. Demuestra la observación 1.
4. Prueba o da un contraejemplo: un subconjunto $H$ de un grupo $G$ es un subgrupo si y sólo si $H$ es no vacío y para cualesquiera dos elementos $a,b\in H$ se tiene que $ab\in H$.
5. De acuerdo las definiciones en los ejemplos importantes de matrices, prueba que
   • $SL(2,\mathbb{R})\le GL(2,\mathbb{R})$
   • $GL(2,\mathbb{Q})\le GL(2,\mathbb{R})$
6. Investiga lo que es el diagrama reticular o diagrama de Hasse de los subgrupos de un grupo.

Más adelante…

En la siguiente entrada seguiremos profundizando en los subgrupos. Especialmente analizaremos cuántas veces podemos multiplicar un elemento por sí mismo sin que se repita el resultado. En el caso en que se trate de un subgrupo finito el hecho de que existan repeticiones en las potencias de un elemento se puede justificar con los argumentos que se dieron en la prueba de la última proposición que vimos.

Entradas relacionadas

• Ir a Álgebra Moderna I.
• Entrada anterior del curso: Asociatividad Generalizada y Leyes de los Exponentes.
• Siguiente entrada del curso: Orden de un elemento y Grupo cíclico.
• Resto de cursos: Cursos.