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

Introducción

Como dijimos en la primera entrada de esta unidad, uno de los temas a los que queremos llegar es el Teorema fundamental de los grupos abelianos finitos, para poder demostrar el teorema necesitamos los siguientes lemas. Los enumeramos para que sea más sencillo identificarlos.

El primer lema nos dice que si tomamos un elemento de orden máximo $g$ en $G$ y un $p$-subgrupo, tal que $\left< g\right>$ no es un subgrupo de $G$ y luego tomamos un elemento de orden mínimo $h$ en $G\setminus\left< g\right>$ el orden de $h$ es $p$.

El segundo lema nos dice que si tenemos un elemento de orden máximo $g$ en $G$, podemos ver a $G$ como el producto directo interno del generado de $g$ y un $H$ subgrupo de $G$.

El tercer lema nos dice que cualquier $p$-subgrupo abeliano es producto directo interno de grupos cíclicos.

En esta entrada enunciamos y probamos los primeros dos lemas importantes, el tercero está en la siguiente entrada.

El orden de un elemento mínimo

Lema 1. Sean $p\in\z^+$ un primo y $G$ un $p$-grupo abeliano. Sea $g\in G$ un elemento de orden máximo. Si $\left<g\right> \lneq G$ y $h$ es un elemento de orden mínimo en $G\setminus \left<g\right>$, entonces $o(h)=p$ y $\left< g\right> \cap \left< h\right> = \{e\}$.

Demostración.
Sean $p\in \z^+$ primo, $G$ un $p$-grupo abeliano.

Por la definición de $p$-grupo $|G| = p^n$ para algún $n\in \n$.

Sea $g\in G$ de orden máximo. Como $|G|=p^n$, sabemos que $o(g)\Big| |G| = p^n$ y así $o(g) = p^m$ con $m\leq n$.

Observemos que
\begin{align}\label{eq:uno}
a^{pm} = e \text{ para toda } a\in G,
\end{align}
ya que para toda $a\in G$, $o(a)=p^l$ con $l\leq m$ (debido a que $o(g)=p^m$ es máximo).

Supongamos que $\left< g \right> \lneq G$. Consideremos un elemento $h$ de orden mínimo en $G\setminus \left< g \right>$.

Veamos primero que $o(h)=p$.

Sabemos que $o(h) = p^t$ para alguna $t\leq n$.

Sabemos que $o(h^p) = p^{t-1} < p^t = o(h)$. Así, por la elección de $h$, $h^p\in\left< g \right>$. Tenemos que
\begin{align}\label{eq:dos}
h^{p} = g^s \text{ para algún } s\in N.
\end{align}

Entonces $(g^s)^{p^{m-1}} = (h^p)^{p^{m-1}} = h^{p^m} = e$ por (\ref{eq:uno}). Así
\begin{align}\label{eq:tres}
o(g^s) < p^m \text{ y } g^s \text{ no genera a } \left< g \right>.
\end{align}

Sabemos que $\displaystyle o(g^s) = \frac{o(g)}{(s,o(g))}$. Si $p$ no divide a $s$, como $o(g)$ es una potencia de $p$ tendríamos que $(s, o(g)) = 1$ y así $o(g^s) = o(g) = p^m$ contradiciendo (\ref{eq:tres}). Así $p|s.$

Concluimos que $s = pq$ para algún $q\in\z$.

Consideremos $a = g^{-q}h$. Tenemos que
\begin{align*}\label{eq:cuatro}
a^p = g^{-pq} h^p = g^{-s} h^p &= g^{-s}g^s &\text{ por (\ref{eq:dos})} \\
& = e.
\end{align*}

Además, si $a\in \left< g \right>$ tendríamos que $h = ag^q \in\left< g\right>$ lo cual contradice la elección de $h$.

Hemos encontrado entonces un elemento $a\not\in \left< g \right>$ con $a^p = e$, y por lo tanto $a\not\in \left< g \right>$ con $o(a) = p$. Así, $h$ debe ser también de orden $p$.

Veamos ahora que $\left< g \right> \cap \left< h\right> = \{e\}$.

Sabemos que $\left<g\right>\cap\left<h\right>$ es un subgrupo de $\left<h\right>$ y $\left<h\right>$ es de orden $p$, entonces $\left<g\right>\cap \left<h\right>$ es de orden $1$ o $p$. Si $|\left<g\right>\cap \left<h\right>|= p$ tendríamos que $\left<h\right>\subseteq \left<g\right>$, de donde $h \in \left<g\right>$, lo que contradice la elección de $h$.

Concluimos que $\left<g\right>\cap \left<h\right> = \{e\}$.

$\blacksquare$

$G$ como producto de $\left< g\right>$ y un subgrupo cualquiera

Lema 2. Sean $p\in \z^+$ un primo y $G$ un $p$-grupo abeliano. Supongamos que $g\in G$ es un elemento de orden máximo. Entonces $G$ es el producto directo interno de $\left< g\right>$ y un subgrupo $H$ de $G$.

Demostración.
Sean $p\in\z^+$ primo, $G$ un $p$-grupo abeliano. Por la definición de $p$-grupo $|G| = p^n$ para algún $n\in\n$.

Demostraremos por el segundo principio de inducción.

H.I. Supongamos que para todo grupo abeliano $\tilde{G}$ con $|\tilde{G}| = p^k$ y $0\leq k < n$ se tiene que si $\tilde{g}\in \tilde{G}$ es de orden máximo, entonces $\tilde{G}$ es el producto directo interno de $\left< \tilde{g}\right>$ y un subgrupo $\tilde{H}$ de $\tilde{G}$.

Sea $g\in G$ de orden máximo. Como $|G| = p^n$, sabemos que $o(g)\Big||G| = p^n$ y así $o(g) = p^m$ con $m\leq n$.

Si $G = \left<g\right>$ no hay nada que probar.

Si $\left< g \right> \lneq G$ consideremos un elemento $h$ de orden mínimo en $G\setminus \left<g\right>.$

Por el lema 1, sabemos que $o(h) = p$ y que $\left<g\right> \cap \left<h\right> = \{e\}$. Sea $H = \left< h \right>.$

Observemos que $gH$ es un elemento de orden máximo en $G/H$ ya que por (\ref{eq:uno}), $(aH)^{p^m} = a^{p^m}H = H$ para todo $a\in G$. Además $(gH)^{o(g)} =g^{o(g)}H = H $ por lo que $o(gH) \leq o(g) = p^m$, y si $o(gH)< p^m$ tendríamos que
\begin{align*}
H = (gH)^{p^{m-1}} = g^{p^{m-1}} H
\end{align*}
y así $g^{p^{m-1}} \in \left< g \right> \cap H = \{e\}$ contradiciendo que $o(g) = p^m$.

Concluimos así que $gH$ es un elemento de orden máximo en $G/H$, con $G/H$ un $p$-grupo abeliano de orden menor que el de $G$.

Por H.I. sabemos que $G/H$ es el producto directo interno de $\left<gH \right>$ y un subgrupo $\tilde{H}$ de $G/H$.

Por el teorema de la correspondencia $\tilde{H} = K/H$ para algún $H\leq K \leq G$.

Veamos que $G$ es el producto directo interno de $\left< g\right>$ y $K$.

Si $x\in \left<g\right> \cap K$, entonces $xH\in \left<gH\right>\cap K/H = \left<gH\right> \cap \tilde{H}$ y como $G/H$ es el producto directo de $\left<gH\right>$ y $\tilde{H}$, entonces $\left<gH\right>\cap \tilde{H} = \{H\}$. Así $xH \in \{H\}$ y entonces $x\in H$.

Tenemos que $x\in \left<g\right>\cap H = \{e\}$ probando que $x = e$.

Así $\left<g\right> \cap K = \{e\}$. Por otro lado, si $y\in G$, sabemos que $yH\in G/H = \left<gH\right>\tilde{H} = \left<gH\right>K/H$. Tenemos que
\begin{align*}
yH &= (gH)^tkH \text{ para algunos } t\in\z, k\in K\\
&= g^tkH.
\end{align*}

Entonces $(g^tk)^{-1}y = \tilde{h}$ con $\tilde{h}\in H$. Así $y = g^t k \tilde{h}$. Como $H\leq K$ tenemos que $k\tilde{h} \in K$, entonces $y\in\left<g\right>K$.

Concluimos que $\left<g\right> \cap K = \{e\}$ y $\left<g\right> K = G$ por lo que $G$ es el producto directo interno de $\left<g\right>$ y $K$.

$\blacksquare$

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

1. Considera los siguientes grupos:
   • $S_4.$
   • $\z_{11}.$
   • $A_5.$
   • $Q_8 = \{\pm 1, \pm i, \pm j, \pm k\}.$
2. De ser $p$-subgrupos abelianos, aplica el lema 1. De no serlo, considera un $p$-subgrupo de ellos. Busca un elemento de orden máximo tal que $\left< g\right>$ no es un subgrupo de $G$ y encuentra $h$ elemento de orden mínimo tal que su orden sea $p$.
3. De ser $p$-subgrupos abelianos, aplica el lema 2. De no serlo, considera un $p$-subgrupo de ellos. Busca un elemento de orden máximo $g$ en $G$, y describe a $G$ como el producto directo interno $\left<g\right>$ y un $H$ subgrupo de $G$.

Más adelante…

No hay mucho más que decir sobre estos lemas, su función es clara y se verá en la siguiente entrada. Como estos lemas ya están demostrados, la demostración del Teorema Fundamental de los Grupos abelianos es más directa. En la siguiente entrada enunciaremos y demostraremos el Lema 3 y por fin podremos enfrentarnos al Teorema fundamental de los grupos abelianos finitos.

Entradas relacionadas

• Ir a Álgebra Moderna I.
• Entrada anterior del curso: Producto directo interno.
• Siguiente entrada del curso: Teorema fundamental de los grupos abelianos finitos.

• Resto de cursos: Cursos.