Introducción

En la entrada anterior tomamos un grupo $G$ y un subconjunto $X\subseteq G$ y, logramos encontrar al menor subgrupo de $G$ que contiene a $X$. Este conjunto resultó ser la intersección de todos los subgrupos contenidos en $G$ que, a su vez, contienen a $X$. Recordemos que se llama el subgrupo de $G$ generado por $X$ y se denota

$$\begin{array}{r}⟨X⟩=\bigcap _{\begin{array}{c}H\le G\\ X\subseteq H\end{array}}H.\end{array}$$

Sin embargo, esto no nos dice mucho sobre los elementos de $X$. Ilustremos un poco lo que tenemos. Tomemos un grupo $G$, un subconjunto $X\subseteq G$ y al generado $⟨X⟩\subset G$. Entonces, si tomamos $x_1,x_2,x_3\in X$, sabemos que todas las potencias de esos elementos están en el generado de $X$. Es decir, para todas $q,r,s\in \mathbb{Z}$, $x_1^q,x_2^r,x_3^s\in ⟨X⟩$. Más aún, las diferentes multiplicaciones de esos elementos también están en $⟨X⟩$, por ejemplo, si consideramos $x_1^1,x_3^{-2},x_2^3$ y $x_1^{-4}$, el elemento

$$\begin{array}{}\text{(1)}& x_1^{-4}{x}_3^{-2}{x}_1^1{x}_2^3\end{array}$$

está en $⟨X⟩$, por ser una multiplicación de elementos del subgrupo. Entonces, en el generado de $X$ estarán todos los elementos de $X$, las potencias de esos elementos y todas las multiplicaciones entre dichas potencias.

Al elemento $\text{(1)}$ la llamamos una palabra en $X$ y es lo que estudiaremos en esta entrada. Además, las palabras nos permiten dar descripción del subgrupo generado. Esta idea es análoga a la que se estudia en álgebra lineal cuando se describe al subespacio generado por un conjunto como una colección de combinaciones lineales de vectores. Sin embargo, en el caso de subgrupos, esta descripción no es igual a la de álgebra lineal porque hay que recordar que un grupo en general no es abeliano. Esto influye en qué tanto se pueda simplificar una palabra.

Nuestra primera aproximación a las palabras

Definición. Sea $G$ un grupo, $X$ un subconjunto de $G$. Una palabra en $X$ es, o bien el neutro $e$, o bien un elemento de la forma

$x_1^{{\alpha }_1},\dots ,x_n^{{\alpha }_n}$

con $n\in {\mathbb{N}}^{+}$, $x_1,\dots ,x_n\in X,{\alpha }_1,\dots ,{\alpha }_n\in \mathbb{Z}$.

Notación. Denotamos por $W_X$ al conjunto de todas las palabras en $X$.

Ejemplos

Ejemplo 1. Sea $G=D_{2(4)}$ el grupo diédrico formado por las simetrías de un cuadrado centrado en el origen. Sea $a$ la rotación de $\pi /2$ y $b$ la reflexión con respecto al eje $x$.
$b{a}^{3}b{a}^{-1}{b}^{-4}a$ es una palabra en $\{a,b\}$.

En este caso, la palabra sí se puede simplificar como:
$$\begin{array}{rl}b{a}^{3}b{a}^{-1}{b}^{-4}a& =b{a}^{3}b{a}^{-1}ea\\ & =b{a}^{3}b{a}^{-1}a\\ & =b{a}^{3}b\end{array}$$

Para la primera igualdad, recordemos que $b$ es la rotación por $\pi /2$, entonces al aplicar esa rotación $4$ veces, el cuadrado recupera su estado inicial, así por eso $b^4=e$ y de forma análoga como $b^{-1}$ es la rotación por $-\pi /2$ se tiene que $b^4=e$.

Notación. Usaremos la notación $D_{2(4)}$ para denotar las simetrías del cuadrado (que tiene 4 vértices), este grupo diédrico tiene 8 elementos. Otros autores pueden escribir simplemente $D_8$, pero esto se puede confundir con el grupo de las simetrías de un octágono. De forma más general el grupo diédrico de un polígono de $n$ lados es el grupo de simetrías de un polígono regular de $n$ lados centrado en el origen, con la operación de composición. Lo denotatemos por $D_{2n}$ y tendrá $2n$ elementos.

Ejemplo 2. Consideremos el conjunto $\{\pm 1,\pm i,\pm j,\pm k\}$. Este conjunto es llamado el grupo de los cuaterniones o cuaternios y se suele denotar por $Q$ o $Q_8$ porque tiene 8 elementos.

Las operaciones en el conjunto se definen como:
$$\begin{array}{rlr}1a& =a1=a& \mathrm{\forall }a\in Q\\ (-1)a& =a(-1)=-a& \mathrm{\forall }a\in Q\end{array}$$

Además, las multiplicaciones no son conmutativas y están definidas así:
$\begin{array}{rlrl}ij& =k,& jk=i,& ki=j,\\ ji& =-k,& kj=-i,& ik=-j,\\ i^2& =j^2=k^2=-1.\end{array}$

Una palabra en $\{j\}$ es $j^5{j}^{-2}{j}^3{j}^{-4}$, resolviendo las potencias podemos concluir que esta palabra es igual a $-1$ (verificarlo quedará como ejercicio). Podemos ahora considerar el conjunto de todas las palabras formadas con el elemento $j$, es decir el conjunto de palabras en $\{j\}$. Se puede ver que:
$$\begin{array}{r}{W}_{\{j\}}=\{j,-1,-j,+1\}.\end{array}$$

También podemos considerar el conjunto de palabras formadas con los elementos $j$ y $k$, es decir el conjunto de palabras en $\{j,k\}$. En este caso se tiene que:
$$\begin{array}{r}{W}_{\{j,k\}}=\{\pm 1,\pm i,\pm j,\pm k\}=Q.\end{array}$$

Palabras y el subgrupo generado por $X$

Lema. Sea $G$ un grupo y $X$ un subconjunto de $G$. $W_X$ es un subgrupo de $G$ que contiene a $X$.

Demostración.
Caso 1, cuando $X=\mathrm{\varnothing }$.
En este caso, $W_X=\{e\}\le G$ y $X=\mathrm{\varnothing }\subset \{e\}=W_X$.

Caso 2, cuando $X\ne \mathrm{\varnothing }$.
P.D. $W_X\le G$.
Por definición $e\in W_X$.
Sean $a,b\in W_X$, entonces

$$\begin{array}{rlr}a& =x_1^{{\alpha }_1}\dots x_n^{{\alpha }_n}& {\alpha }_1,\dots ,{\alpha }_n,{\beta }_1,\dots ,{\beta }_m\in \mathbb{Z}\\ b& =y_1^{{\beta }_1}\dots y_m^{{\beta }_m}& x_1,\dots ,x_n,y_1,\dots ,y_m\in X\\ & & n,m\in {\mathbb{N}}^{+}\end{array}$$

Entonces, podemos tomar $a{b}^{-1}$ y verificar quién es

$$\begin{array}{rl}a{b}^{-1}& =(a_1^{{\alpha }_1}\dots x_n^{{\alpha }_n})(y_1\dots y_m^{{\beta }_m}{)}^{-1}\\ & =x_1^{{\alpha }_1}\dots x_n^{{\alpha }_n}{y}_m^{-\beta }\dots y_1^{-{\beta }_1}\in W_X.\end{array}$$

Por lo tanto $W_X\le G$.

P.D. $X\subseteq W_X$.
Sea $x\in X$,
$$\begin{array}{r}x=x^1\in W_X.\end{array}$$

Por lo tanto $X\subseteq W_X$.

En ambos casos $W_X$ es un subgrupo de $G$ que contiene a $X$.

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

Teorema. Sea $G$ un grupo, $X$ un subconjunto de $G$. Entonces

$⟨X⟩=W_X$.

Demostración.
$\subseteq )$ Por el lema anterior, $W_X\in \{H\le G:X\subseteq H\}$. Entonces, por nuestra definición del subgrupo generado,
$$\begin{array}{r}⟨X⟩=\bigcap _{\begin{array}{c}H\le G\\ X\subseteq H\end{array}}H\subseteq W_X.\end{array}$$

$\supseteq )$ Sea $a\in W_X$, entonces $a=x_1^{{\alpha }_1}\cdots x_n^{{\alpha }_n}$ con, $n\in {\mathbb{N}}^{+}$, ${\alpha }_1,\dots ,{\alpha }_n\in \mathbb{Z}$ y $x_1,\dots ,x_n\in X$.

Como cada $x_i\in X$, con $i\in \{1,..,n\}$, y $X\subseteq ⟨X⟩$, entonces $x_i\in ⟨X⟩$ para toda $i\in \{1,\dots ,n\}$.
Como el generado es un subgrupo de $G$, obtenemos que $x_i^{{\alpha }_i}\in ⟨X⟩$ para toda $i\in \{1,\dots ,n\}$. Usando nuevamente que el generado es un subgrupo de $G$ tenemos que $a=x_1^{{\alpha }_1}\dots x_n^{{\alpha }_n}\in ⟨X⟩$.

Por lo tanto, $⟨X⟩=W_X$.

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

¿Cuál es el orden de un producto?

Ya hemos hablado del orden de un elemento. Si tenemos un grupo $G$ y $a,b\in G$ y sabemos quién es $o(a)$ y $o(b)$, ¿podemos saber cómo es $o(ab)$? En algunos casos podemos respuesta a esta pregunta dando una explicación más precisa de cómo es el orden de un producto en términos del orden de sus factores. El siguiente resultado aparece en el libro Grupos I de Avella, Mendoza, Sáenz y Souto mencionado en la bibliografía, Teorema 3.3.12:

Teorema. Sea $G$ un grupo y $a,b\in G$.
Si $a$ y $b$ son de orden finito, sus ordenes son primos relativos y $ab=ba$, entonces

$$\begin{array}{rl}o(ab)& =o(a)o(b)\\ \text{y }⟨a,b⟩& =⟨ab⟩.\end{array}$$

Demostración.
Sea $G$ un grupo, $a,b\in G$ de orden finito con $n=o(a)$, $m=o(b)$. Supongamos que $(n;m)=1$ y $ab=ba$.

P.D. $o(ab)=nm$.
Entonces

$$\begin{array}{rlr}(ab{)}^{nm}& =a^{nm}{b}^{nm}& \text{ porque }ab=ba\\ & =(a^n{)}^m(b^m{)}^n& \text{ propiedades de los exponentes}\\ & =e^m{e}^n\\ & =e\end{array}$$

Ya teniendo que $(ab{)}^{nm}=e$, tenemos que ver que $nm$ es el menor exponente positivo tal que al elevar $ab$ a ese exponente nos da el neutro, o bien ver que divide a cualquier otro $k$ tal que $(ab{)}^k=e$. Procedamos de acuerdo a la segunda opción.

Sea $k\in \mathbb{Z}$ tal que $(ab{)}^k=e$, y como $ab=ba$ esto implica que $a^k{b}^k=e$. Despejando, obtenemos $a^k=b^{-k}$.

Así $(a^k{)}^m=(b^{-k}{)}^m=(b^m{)}^{-k}=e^{-k}=e$ (porque $o(b)=m$), es decir $a^{km}=e$. Dado que $o(a)=n$, entonces $n|km$ y como $(n;m)=1$ entonces $n|k$.

Si consideramos ahora $(a^k{)}^n=(b^{-k}{)}^n$ y seguimos un argumento análogo obtenemos que $m|k$.

Como $n|k$ y $m|k$ y $(n;m)=1$, entonces $nm|k$.
Por lo tanto $o(ab)=nm$.

P.D. $⟨a,b⟩=⟨ab⟩$.
Como toda palabra en $\{ab\}$ es una palabra en $\{a,b\}$ entonces
$$\begin{array}{r}⟨ab⟩\subseteq ⟨a,b⟩.\end{array}$$

Por otro lado, como $ab=ba$, toda palabra en $\{a,b\}$ se reduce a una de la forma $a^i{b}^j$ con $i,j\in \mathbb{Z}$, y como $o(a)=n$, $o(b)=m$, la expresión $a^i{b}^j$ se puede reducir aún más a una expresión de la forma $a^i{b}^i$ con $0\le i<n$ y $0\le j<m$.

Entonces $⟨a,b⟩=\{a^i{b}^j:0\le i<n,0\le j<m\}$. Luego, $|⟨a,b⟩|\le nm$.
Pero $⟨ab⟩\subseteq ⟨a,b⟩$, entonces $|⟨ab⟩|\le |⟨a,b⟩|$.
Así,

$$\begin{array}{rl}nm=o(ab)=|⟨ab⟩|& \le |⟨a,b⟩|\le nm.\end{array}$$

Por lo tanto $⟨ab⟩=⟨a,b⟩$.

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

Tarea moral

1. En el grupo de los cuaternios definido anteriormente, verifica que $j^5{j}^{-2}{j}^3{j}^{-4}=-1$.
2. Considera $Q$, el grupo de cuaternios. Reduce la siguiente palabra a uno de los elementos $\pm 1,\pm i,\pm j,\pm k$,
   $$\begin{array}{r}{j}^{7}k(-i)jk{i}^{2}j{k}^{-6}\end{array}$$
3. Sea $D_{2n}=\{\text{ id },a,\dots ,a^{n-1},ab,\dots ,a^{n-1}b\}$ el grupo diédrico formado por las simetrías de un polígono regular de $n$ lados, con $a$ la rotación de ${\displaystyle \frac{2\pi }{n}}$ y $b$ la reflexión con respecto al eje $x$.
   1. Identifica geométricamente quiénes son $\text{ id },a,\dots ,a^{n-1},ab,\dots ,a^{n-1}b$.
   2. Determina quién es el elemento $bab$ y, de modo más general, quién es el elemento $b{a}^{i}b$ para toda $i\in \mathbb{Z}$.
   3. Determina quién es el elemento $b{a}^i$ para toda $i\in \mathbb{Z}$.
4. Considera el grupo simétrico $S_5$, $\alpha$ la permutación que manda $1$ en $2$, $2$ en $3$ y $3$ en $1$, fija a $4$ y a $5$, y $\beta$ la permutación que intercambia $4$ y $5$.
   1. Encuentra $\beta \alpha$ y $\alpha \beta$.
   2. Encuentra el orden de $\alpha$, $\beta$, $\alpha \beta$ y $\beta \alpha$.
5. Por último, te invitamos a que veas este video que habla sobre las aplicaciones tecnológicas del grupo de los cuaternios. El video está en inglés, pero tiene subtítulos en español.

Más adelante…

¡Felicidades por acabar la Unidad 1! Ya entiendes las bases de este curso, trata de recordarlas porque las estaremos usando implícitamente.
En la siguiente unidad estaremos viendo Permutaciones y Grupo Cociente, para no adelantar mucho, sólo diremos que ambas estructuras son grupos muy importantes en el álgebra y nuestros objetos de estudio en la siguiente unidad.

Entradas relacionadas

• Ir a Álgebra Moderna I.
• Entrada anterior del curso: Teoremas sobre subgrupos y Subgrupo generado por $X$.
• Siguiente entrada del curso: Permutación y Grupo Simétrico.
• Resto de cursos: Cursos.