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

Introducción

Antes de comenzar conviene que recordemos que estamos trabajando con grupos. Un conjunto con una operación da lugar a un grupo si cumple ciertas condiciones, entre ellas tener un neutro y ser cerrado bajo su operación. Ahora nos interesamos por los subconjuntos cualquiera del grupo, no necesariamente subgrupos. Esta entrada está dedicada al estudio del producto de dichos subconjuntos.

La primera parte comienza definiendo a nuestro producto y lo ilustramos con unos ejemplos. La segunda parte pretende responder a la pregunta ¿cuándo es el producto de dos subconjuntos un subgrupo? En la tercera parte, nos imaginamos un caso particular, ¿qué pasa cuando uno de los subconjuntos elegidos es unitario? Es decir, estamos multiplicando un subgrupo de $G$ por un solo elemento de $G$.

Producto de $S$ con $T$

Ejemplos.

1. Tomemos las permutaciones de $S_3=\{(1),(12),(13),(23),(123),(132)\}$. Consideramos a $S$ como $S=\{(12)\}$ y a $T$ como $T=\{(123),(132)\}$. Entonces, su producto queda
   $$\begin{array}{rl}ST& =\{(12)(123),(12)(132)\}\\ & =\{(23),(13)\}.\end{array}$$
2. Si consideramos $(\mathbb{Z},+)$, podemos tomar a $S$ y a $T$ como
   $$\begin{array}{rl}S& =2\mathbb{Z}=\{2n|n\in \mathbb{Z}\},\\ T& =3\mathbb{Z}=\{3m|m\in \mathbb{Z}\}.\end{array}$$
   En este caso, el producto se denota como $S+T$ y este conjunto es
   $$\begin{array}{r}S+T=2\mathbb{Z}+3\mathbb{Z}=\{2n+3m|n,m\in \mathbb{Z}\}=\mathbb{Z}.\end{array}$$
   Donde la última igualdad se da porque $(2,3)=1$ (es decir, $2$ y $3$ son primos relativos).

¿Cuándo es el producto un subgrupo de $G$?

Vamos a ver qué pasa ahora a la hora de multiplicar subgrupos. Durante la demostración del siguiente teorema, observaremos que en general, el producto no es un subgrupo debido a un detalle de la conmutatividad de los elementos. El siguiente se trata de un resultado clásico que aparece por ejemplo en el texto de Dummit mencionado en la bibliografía, Proposición 14:

Teorema. Sea $G$ un grupo, $H$, $K$ subgrupos de $G$. Entonces,
$$\begin{array}{r}HK\le G\text{ si y sólo si }HK=KH.\end{array}$$

Demostración.
Sea $G$ un grupo, $H,K$ subgrupos de $G$.

$|\Rightarrow )$ Supongamos que $HK\le G$.
P.D. $KH=HK$

Procedemos por doble contención.
$\subseteq ]$
Sea $x\in KH$, entonces existen $k\in K$ y $h\in H$ tales que $x=kh$.

Como $HK$ es subgrupo de $G$, entonces $h^{-1}{k}^{-1}\in HK$, así
$$\begin{array}{r}{x}^{-1}=(kh{)}^{-1}=h^{-1}{k}^{-1}\in HK.\end{array}$$

Entonces, $x^{-1}\in HK$, y como $HK$ es subgrupo, $x\in HK$. Por lo tanto $KH\subseteq HK$.

$\supseteq ]$
Sea $x\in HK$.

Observación: Si intentamos hacer lo mismo de antes, tomaríamos $h\in H$ y $k\in K$ tales que $x=hk$, así $x^{-1}=k^{-1}{h}^{-1}$ ya que en el inverso se invierte el orden, es decir $x^{-1}\in KH$. Pero como no sabemos nada de $KH$, nos atoramos aquí. Por lo tanto, tomaremos un camino un tanto diferente.

Sabemos que $HK\le G$, entonces sabemos que $x^{-1}\in HK$. Entonces existen $h\in H$ y $k\in K$ tales que $x^{-1}=hk$. Así,

$$\begin{array}{rl}& x=(x^{-1}{)}^{-1}=(hk{)}^{-1}=k^{-1}{h}^{-1}\in KH\end{array}$$
Por lo tanto $HK\subseteq KH$.

Así, $HK=KH$.

$\Leftarrow |)$ Supongamos que $HK=KH$.
P.D. $HK\le G$.

Observemos primero que $e=ee\in HK$.

Ahora consideremos $x,y\in HK$, entonces
$$\begin{array}{rlr}x=hk& & h,\bar{h}\in H\\ y=\overline{h}\overline{k}& & k,\bar{k}\in K.\end{array}$$

Entonces
$$\begin{array}{rl}x{y}^{-1}=(hk)(\overline{h}\overline{k}{)}^{-1}& =(hk)({\overline{k}}^{-1}{\overline{h}}^{-1})\\ & =h((k{\overline{k}}^{-1}){\overline{h}}^{-1}).\end{array}$$

Pero
$$\begin{array}{rlr}& (k{\overline{k}}^{-1}){\overline{h}}^{-1}\in KH=HK& \text{Por la hipótesis}\\ \Rightarrow & (k{\overline{k}}^{-1}){\overline{h}}^{-1}=\hat{h}\hat{k}& \text{ con }\hat{h}\in H,\hat{k}\in K.\end{array}$$

Sustituyendo los valores $$x{y}^{-1}=h(\hat{h}\hat{k})=(h\hat{h})\hat{k}\in HK.$$

Por lo tanto $HK\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">}$

Del teorema anterior se sigue este corolario:

Corolario. Sea $G$ un grupo abeliano, $H,K$ subgrupos de $G$. Tenemos que $HK$ es un subgrupo de $G$.

Clases Laterales

Ahora, tomemos $T=\{a\}$ con $a\in G$. De esta manera $TH=\{a\}H$, pero para simplificar la notación, usaremos $\{a\}H=aH$. A este caso específico, lo llamaremos clase lateral. A continuación lo definiremos de una manera más formal.

Definición. Sean $G$ un grupo, $H$ un subgrupo de $G$, $a\in G$.
La clase lateral izquierda de $H$ en $G$ con representante $a$ es
$$aH=\{ah|h\in H\}.$$
La clase lateral derecha de $H$ en $G$ con representante $a$ es
$$Ha=\{ha|h\in H\}.$$

Ambas clases son análogas, aunque como veremos más adelante no necesariamente iguales, y para fines prácticos trabajaremos sólo con una, pero es importante definir ambas.

Ejemplos.

Tarea moral

1. Prueba o da un contraejemplo: Si $G$ es un grupo y $S$ y $T$ son subconjuntos de $G$ tales que $ST$ es un subgrupo de $G$, entonces $S$ y $T$ son subgrupos de $G$.
2. Sea $D_{2(6)}=\{\text{id},a,\dots ,a^5,b,ab,\dots ,a^{5}b\}$ el grupo diédrico formado por las simetrías de un hexágono, con $a$ la rotación de $\frac{\pi }{3}$ y $b$ la reflexión con respecto al eje $x$. Calcula las clases laterales izquierdas y derechas de $⟨a⟩$ en $D_{2(6)}$.
3. En cada inciso calcula $HK$ y determina si es un subgrupo de $S_4$.
   1. $H=\{(1),(12)\}$ y $K=\{(1),(13)\}$.
   2. $H=\{(1),(12)\}$ y $K=\{(1),(34)\}$.

Más adelante…

En la siguiente entrada definiremos una relación de equivalencia y, al tratar de describir las clases de equivalencias inducidas, podremos relacionar las clases laterales con los elementos de $H$. Además, continuaremos respondiendo a las preguntas: ¿qué relación existe entre el número de elementos de las clases laterales derechas e izquierdas? y ¿qué es el índice de $H$ en $G$?

Entradas relacionadas

• Ir a Álgebra Moderna I.
• Entrada anterior del curso: Paridad de una permutación.
• Siguiente entrada del curso: Relación de equivalencia dada por un subgrupo e índice de $H$ en $G$.
• Resto de cursos: Cursos.