[skip-to-content]
\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\gcd}{\operatorname{mcd}} \renewcommand{\lcm}{\operatorname{mcm}} \renewcommand{\deg}{\operatorname{gr}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Sección9.1Definición y Ejemplos

Dos grupos \((G, \cdot)\) y \((H, \circ)\) son isomorfos si existe una función biyectiva \(\phi : G \rightarrow H\) que preserve la operación de grupo; es decir,

\begin{equation*} \phi( a \cdot b) = \phi( a) \circ \phi( b) \end{equation*}

para todo \(a\) y \(b\) en \(G\text{.}\) Si \(G\) es isomorfo con \(H\text{,}\) escribimos \(G \cong H\text{.}\) La función \(\phi\) se llama un isomorfismo.

Ejemplo9.1

Para demostrar que \({\mathbb Z}_4 \cong \langle i \rangle\text{,}\) defina una función \(\phi: {\mathbb Z}_4 \rightarrow \langle i \rangle\) como \(\phi(n) = i^n\text{.}\) Debemos mostrar que \(\phi\) es biyectiva y que preserva la operación de grupo. La función \(\phi\) es biyectiva pues

\begin{align*} \phi(0) & = 1\\ \phi(1) & = i\\ \phi(2) & = -1\\ \phi(3) & = -i. \end{align*}

Como

\begin{equation*} \phi(m + n) = i^{m+n} = i^m i^n = \phi(m) \phi( n), \end{equation*}

se preserva la operación de grupo.

Ejemplo9.2

Podemos definir un isomorfismo \(\phi\) del grupo aditivo de los números reales \(( {\mathbb R}, + )\) al grupo multiplicativo de los números reales positivos \(( {\mathbb R^+}, \cdot )\) mediante la función exponencial; es decir,

\begin{equation*} \phi( x + y) = e^{x + y} = e^x e^y = \phi( x ) \phi( y). \end{equation*}

Por supuesto, debemos aún demostrar que \(\phi\) es una biyección; esto puede ser hecho usando cálculo diferencial.

Ejemplo9.3

Los enteros son isomorfos al subgrupo de \({\mathbb Q}^\ast\) que consiste de los elementos de la forma \(2^n\text{.}\) Defina una función \(\phi: {\mathbb Z} \rightarrow {\mathbb Q}^\ast\) como \(\phi( n ) = 2^n\text{.}\) Entonces

\begin{equation*} \phi( m + n ) = 2^{m + n} = 2^m 2^n = \phi( m ) \phi( n ). \end{equation*}

Por definición la función \(\phi\) es sobreyectiva en el subconjunto \(\{2^n :n \in {\mathbb Z} \}\) de \({\mathbb Q}^\ast\text{.}\) Para mostrar que la función es inyectiva, supongamos que \(\phi(m) = \phi(n)\text{.}\) Entonces \(2^m = 2^n\) y \(2^{m-n} = 1\text{.}\) Concluimos que \(m = n\text{.}\)

Ejemplo9.4

Los grupos \({\mathbb Z}_8\) y \({\mathbb Z}_{12}\) no pueden ser isomorfos pues tienen diferentes órdenes; Sin embargo \(U(8) \cong U(12)\text{.}\) Sabemos que

\begin{align*} U(8) & = \{1, 3, 5, 7 \}\\ U(12) & = \{1, 5, 7, 11 \}. \end{align*}

Un isomorfismo \(\phi : U(8) \rightarrow U(12)\) está dado por

\begin{align*} 1 & \mapsto 1\\ 3 & \mapsto 5\\ 5 & \mapsto 7\\ 7 & \mapsto 11. \end{align*}

La función \(\phi\) no es el único isomorfismo posible entre estos dos grupos. Podríamos definir otro isomorfismo \(\psi\) como \(\psi(1) = 1\text{,}\) \(\psi(3) = 11\text{,}\) \(\psi(5) = 5\text{,}\) \(\psi(7) = 7\text{.}\) De hecho, estos dos grupos son isomorfos a \({\mathbb Z}_2 \times {\mathbb Z}_2\) (Vea el Ejemplo 3.28 en el Capítulo 3).

Ejemplo9.5

Si bien \(S_3\) y \({\mathbb Z}_6\) poseen el mismo número de elementos, podríamos sospechar que no son isomorfos, pues \({\mathbb Z}_6\) es abeliano y \(S_3\) es no abeliano. Para demostrar que esto es así, supongamos que \(\phi : {\mathbb Z}_6 \rightarrow S_3\) es un isomorfismo. Sean \(a , b \in S_3\) dos elementos tales que \(ab \neq ba\text{.}\) Como \(\phi\) es un isomorfismo, existen elementos \(m\) y \(n\) en \({\mathbb Z}_6\) tales que

\begin{equation*} \phi( m ) = a \quad \text{and} \quad \phi( n ) = b. \end{equation*}

Pero,

\begin{equation*} ab = \phi(m ) \phi(n) = \phi(m + n) = \phi(n + m) = \phi(n ) \phi(m) = ba, \end{equation*}

lo que contradice el hecho de que \(a\) y \(b\) no conmutan.

Las afirmaciones (1) y (2) son consecuencia de que \(\phi\) sea una biyección. Demostraremos (3) y dejaremos el resto del teorema para ser demostrado en los ejercicios.

(3) Supongamos que \(h_1\) y \(h_2\) son elementos de \(H\text{.}\) Como \(\phi\) es sobreyectiva, existen elementos \(g_1, g_2 \in G\) tales que \(\phi(g_1) = h_1\) y \(\phi(g_2) = h_2\text{.}\) Por lo tanto,

\begin{equation*} h_1 h_2 = \phi(g_1) \phi(g_2) = \phi(g_1 g_2) = \phi(g_2 g_1) = \phi(g_2) \phi(g_1) = h_2 h_1. \end{equation*}

Estamos ahora en condiciones de caracterizar todos los grupos cíclicos.

Sea \(G\) un grupo cíclico de orden infinito y supongamos que \(a\) es un generador de \(G\text{.}\) Definamos la función \(\phi : {\mathbb Z} \rightarrow G\) como \(\phi : n \mapsto a^n\text{.}\) Entonces

\begin{equation*} \phi( m+n ) = a^{m+n} = a^m a^n = \phi( m ) \phi( n ). \end{equation*}

Para mostrar que \(\phi\) es inyectiva, supongamos que \(m\) y \(n\) son dos elementos en \({\mathbb Z}\text{,}\) con \(m \neq n\text{.}\) Podemos suponer que \(m \gt n\text{.}\) Debemos mostrar que \(a^m \neq a^n\text{.}\) Supongamos lo contrario; es decir, \(a^m = a^n\text{.}\) En ese caso \(a^{m - n} = e\text{,}\) con \(m - n \gt 0\text{,}\) lo que contradice el hecho de que \(a\) tiene orden infinito. Nuestra función es sobreyectiva pues todo elemento en \(G\) puede ser escrito como \(a^n\) para algún entero \(n\) y \(\phi(n) = a^n\text{.}\)

Sea \(G\) un grupo cíclico de orden \(n\) generado por \(a\) y defina una función \(\phi : {\mathbb Z}_n \rightarrow G\) como \(\phi : k \mapsto a^k\text{,}\) donde \(0 \leq k \lt n\text{.}\) La demostración de que \(\phi\) es un isomorfismo es uno de los ejercicios al final del capítulo.

La demostración es un resultado directo del Corolario 6.12.

El principal objetivo en la teoría de grupos es el de clasificar todos los grupos; sin embargo, tiene sentido considerar que dos grupos isomorfos son en realidad el mismo grupo. Enunciamos este resultado en el siguiente teorema, cuya demostración dejamos coom ejercicio.

Luego, podemos modificar nuestro objetivo de clasificar todos los grupos al de clasificar todos los grupos salvo isomorfismo; es decir, consideraremos que dos grupos son el mismo si son isomorfos.

SubsecciónTeorema de Cayley

Cayley demostró que si \(G\) es un grupo, entonces es isomorfo a un grupo de permutaciones de algún conjunto; luego, todo grupo es un grupo de permutaciones. El Teorema de Cayley es lo que llamamos un teorema de representaciones. El objetivo de la teoría de representaciones es encontrar un isomorfismo de algún grupo \(G\) que queramos estudiar a un grupo sobre el que tengamos bastante información, tal como un grupo de permutaciones o de matrices.

Ejemplo9.11

Considere el grupo \({\mathbb Z}_3\text{.}\) La tabla de Cayley para \({\mathbb Z}_3\) es como sigue.

\begin{equation*} \begin{array}{c|ccc} + & 0 & 1 & 2 \\ \hline 0 & 0 & 1 & 2 \\ 1 & 1 & 2 & 0 \\ 2 & 2 & 0 & 1 \end{array} \end{equation*}

La tabla de sumas para \({\mathbb Z}_3\) sugiere que es igual al grupo de permutaciones \(G = \{ (0), (0 1 2), (0 2 1) \}\text{.}\) El isomorfismo acá es

\begin{align*} 0 & \mapsto \begin{pmatrix} 0 & 1 & 2 \\ 0 & 1 & 2 \end{pmatrix} = (0)\\ 1 & \mapsto \begin{pmatrix} 0 & 1 & 2 \\ 1 & 2 & 0 \end{pmatrix} = (0 1 2)\\ 2 & \mapsto \begin{pmatrix} 0 & 1 & 2 \\ 2 & 0 & 1 \end{pmatrix} = (0 2 1). \end{align*}

Sea \(G\) un grupo. Debemos encontrar un grupo de permutaciones \(\overline{G}\) que sea isomorfo a \(G\text{.}\) Para cualquier \(g \in G\text{,}\) definamos una función \(\lambda_g : G \rightarrow G\) como \(\lambda_g(a) = ga\text{.}\) Afirmamos que \(\lambda_g\) es una permutación de \(G\text{.}\) Para demostrar que \(\lambda_g\) es 1-1, supongamos que \(\lambda_g(a) = \lambda_g(b)\text{.}\) Entonces

\begin{equation*} ga =\lambda_g(a) = \lambda_g(b) = gb. \end{equation*}

Luego, \(a = b\text{.}\) Para demostrar que \(\lambda_g\) es sobre, debemos demostrar que para cada \(a \in G\text{,}\) existe \(b\) tal que \(\lambda_g (b) = a\text{.}\) Sea \(b = g^{-1} a\text{.}\)

Estamos preparados para definir nuestro grupo \(\overline{G}\text{.}\) Sea

\begin{equation*} \overline{G} = \{ \lambda_g : g \in G \}. \end{equation*}

Debemos mostrar que \(\overline{G}\) es un grupo con la operación de composición de funciones y encontrar un isomorfismo entre \(G\) y \(\overline{G}\text{.}\) Tenemos la clausura bajo composición de funciones pues

\begin{equation*} (\lambda_g \circ \lambda_h )(a) = \lambda_g(ha) = gha = \lambda_{gh} (a). \end{equation*}

Además,

\begin{equation*} \lambda_e (a) = ea = a \end{equation*}

y

\begin{equation*} (\lambda_{g^{-1}} \circ \lambda_g) (a) = \lambda_{g^{-1}} (ga) = g^{-1} g a = a = \lambda_e (a). \end{equation*}

Podemos definir un isomorfismo de \(G\) en \(\overline{G}\) como \(\phi : g \mapsto \lambda_g\text{.}\) La operación de grupo se preserva pues

\begin{equation*} \phi(gh) = \lambda_{gh} = \lambda_g \lambda_h = \phi(g) \phi(h). \end{equation*}

Es 1-1, pues si \(\phi(g)(a) = \phi(h)(a)\text{,}\) entonces

\begin{equation*} ga = \lambda_g a = \lambda_h a= ha. \end{equation*}

Luego, \(g = h\text{.}\) Que \(\phi\) sea sobre sigue del hecho de que \(\phi( g ) = \lambda_g\) para cualquier \(\lambda_g \in \overline{G}\text{.}\)

El isomorfismo \(g \mapsto \lambda_g\) se conoce como la representación regular izquierda de \(G\text{.}\)

SubsecciónNota histórica

Arthur Cayley nació en Inglaterra en 1821, pero pasó la primera parte de su vida en Rusia, donde su padre era comerciante. Cayley se educó en Cambridge, donde ganó el primer Premio Smith en matemáticas. Ejerció como abogado la mayor parte de su vida adulta, y escribió varios trabajos antes de entrar a la profesión legal a los 25 años de edad. Durante su práctica como abogado siguió sus investigaciones matemáticas, escribiendo más de 300 publicaciones en esta etapa de su vida. Estas incluyeron parte de sus obras más importantes. En 1863 dejó la abogacía para convertirse en profesor en Cambridge. Cayley escribió más de 900 trabajos en áreas como teoría de grupos, geometría y álgebra lineal. Sus conocimentos legales eran muy apreciados en Cambridge; participó en la redacción de muchos de los estatutos de la universidad. Cayley fue también uno de los responsables de la admisión de mujeres a Cambridge.