Introducción
En la entrada anterior vimos una introducción a los homomorfismos y algunas propiedades. Ahora sabemos que un homomorfismo es una función $\varphi :G\rightarrow \bar{G}$ entre dos grupos $(G,*)$ y $(\bar{G},\bar{*})$, que respeta las operaciones, es decir, que para todas $a,b\in G$, $\varphi(a*b) = \varphi(a)\bar{*}\varphi(b)$. A partir de ahora simplificaremos la notación y escribiremos simplemente la condición anterior como: para todas $a,b\in G$, $\varphi(ab) = \varphi(a)\varphi(b)$ (a menos que haya ambigüedad respecto a qué operación se está usando en cada caso).
En esta entrada, continuaremos dando algunas propiedades de los homomorfismos, en particular veremos cómo se comportan con las potencias de elementos del grupo y, en seguida, cómo se comparan el orden de un elemento y el orden de su imagen bajo un homomorfismo.
Homomorfismos y la potencia
Dado que el homomorfismo respeta el producto, se va a comportar bien con las potencias.
Proposición. Sean $G, \bar{G}$ grupos, $\varphi: G\rightarrow \bar{G}$ un homomorfismo. Entonces,
- $\varphi(e_G) = e_{\bar{G}}$.
- $\varphi(a^{-1}) = \left( \varphi(a)\right)^{-1}$ para toda $a \in G$.
- $\varphi(a^n) = \left( \varphi(a)\right)^n$ para toda $a \in G$ y para toda $n \in \z$.
Demostración.
Sean $G, \bar{G}$ grupos y $\varphi: G \rightarrow \bar{G}$ un homomorfismo.
P.D. $\varphi(e_G) = \varphi e_{\bar{G}}$.
Por un lado tenemos que $\varphi(e_g) e_{\bar{G}} = \varphi(e_G)$ porque $e_{\bar{G}}$ es el neutro de $\bar{G}$. Por otro lado tenemos que $\varphi(e_G) = \varphi(e_G e_G)$ porque $e_{G}$ es el neutro de $G$, y $ \varphi(e_G e_G) = \varphi(e_G) \varphi(e_G)$ porque $\varphi$ es un homomorfismo.
Entonces tenemos
\begin{align*}
&\varphi(e_g) e_{\bar{G}} = \varphi(e_G) = \varphi(e_G) \varphi(e_G). \\
\end{align*}
Cancelamos $\varphi(e_G)$, y obtenemos
\begin{align*}
e_{\bar{G}} = \varphi(e_G).
\end{align*}
Sea $a \in G$.
P.D. $\varphi(a^{-1}) = \left( \varphi(a)\right)^{-1}$.
Por un lado tenemos que $\varphi(a) \left(\varphi(a) \right)^{-1} = e_{\bar{G}}$.
Por el inciso anterior, tenemos que $e_{\bar{G}} = \varphi(e_G) = \varphi(a a^{-1})$ y como $\varphi$ es un homomorfismo, tenemos que $\varphi(a a^{-1}) = \varphi(a)\varphi( a^{-1})$.
Entonces tenemos que $\varphi(a) \left(\varphi(a) \right)^{-1} = \varphi(a)\varphi( a^{-1})$, donde podemos cancelar $\varphi(a)$:
\begin{align*}
&\varphi(a) \left(\varphi(a) \right)^{-1} = \varphi(a)\varphi( a^{-1}) \\
&\Rightarrow \left(\varphi(a) \right)^{-1} = \varphi( a^{-1}).
\end{align*}
Sea $a\in G$.
P.D. $\varphi(a^n) = \left( \varphi(a)\right)^n$ para toda $a \in G$ y $n \in \z$.
Demostraremos primero el resultado para $n\in\n$ por inducción sobre $n$.
Sea $n=0$.
Entonces, por el inciso 1,
\begin{align*}
\varphi(a^0) = \varphi(e_G) = e_{\bar{G}} = (\varphi(a))^0.
\end{align*}
Sea $n\geq 0$.
Para nuestra hipótesis de inducción, supongamos que $\varphi(a^n) = (\varphi(a))^n$.
Por la definición de potencia,
\begin{align*}
\varphi(a^{n+1}) = \varphi(a^n a).
\end{align*}
Luego, como $\varphi$ es un homomorfismo,
\begin{align*}
\varphi(a^n a) &= \varphi(a^n) \varphi(a) \\
&= (\varphi(a))^n \varphi(a) & \text{Por H.I.}\\
&= (\varphi(a))^{n+1} &\text{Por la definición de potencia}
\end{align*}
Por lo tanto $\varphi(a^n) = (\varphi(a))^n$ para toda $n\in \n$.
Finalmente, si $n \in \z^+$.
\begin{align*}
\varphi(a^{-n}) &= \varphi((a^n)^{-1}) \\
&= \varphi((a^n))^{-1} &\text{Por el inciso 2}\\
&= ((\varphi(a))^n)^{-1} &\text{Por lo probado anteriormente}\\
&= (\varphi(a))^{-n}
\end{align*}
Por lo tanto $\varphi(a^m) = (\varphi(a))^m$, para toda $m \in \z$.
$\blacksquare$
Homomorfismos y el orden
Corolario. Sean $G, \bar{G}$ grupos, sea $\varphi: G\to \bar{G}$ un homomorfismo.
Si $a\in G$ es de orden finito, $\varphi(a)$ también lo es y $o(\varphi(a)) \big| o(a)$. Es decir, el orden de $\varphi(a)$ divide al orden de $a$.
Más aún, si $\varphi$ es un isomorfismo, entonces $o(\varphi(a)) = o(a)$.
Demostración.
Sean $G, \bar{G}$ grupos, $\varphi: G \to \bar{G}$ un homomorfismo y sea $a\in G$ de orden finito.
Ahora, usamos las propiedades de $\varphi$ para obtener las siguientes igualdades.
\begin{align*}
\varphi(a)^{o(a)} = \varphi(a^{o(a)}) = \varphi(e_G) = e_{\bar{G}}.
\end{align*}
Esto nos dice que $\varphi(a)$ es de orden finito. Esto no significa que $o(a)$ es el orden de $\varphi(a)$, pero sí se sigue, por las propiedades del orden de un elemento, que $o(\varphi(a))\big| o(a)$.
Ahora, si $\varphi$ es un isomorfismo, $\varphi^{-1}$ también, así que por lo antes probado $o(\varphi^{-1}(b))\big| o(b)$ para todo $b\in\bar{G}$; en particular, para $b=\varphi(a)$ se tiene que $o(\varphi^{–1}(\varphi(a))) \big| o(\varphi(a))$. Entonces,
\begin{align*}
o(a) = o(\varphi^{–1}(\varphi(a))) \big| o(\varphi(a))
\end{align*}
Por lo tanto $o(\varphi(a)) = o(a)$.
$\blacksquare$
Ejemplo.
Por último, veamos un ejemplo para ilustrar las propiedades que acabamos de ver.
Sea $G$ un grupo, $a \in G$ de orden finito.
Dado $g\in G$ sabemos que
\begin{align*}
\gamma_g : G \to G \quad \text{con} \quad \gamma_g(x) = gxg^{-1} \; \forall x\in G
\end{align*}
es un isomorfismo.
Así, $\gamma_g(a)$ es de orden finito y $o(\gamma_g(a)) = o(a)$. Entonces, $gag^{-1}$ es de orden finito y $o(gag^{-1}) = o(a)$.
Así, elementos conjugados tienen el mismo orden.
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.
- Sean $G$ y $\bar{G}$ grupos y $X\subseteq G$ tal que $G = \left< X\right>.$ Sea $\varphi: X \to \bar{G} $ una función. ¿Qué se requiere para poder extender $\varphi$ a un homomorfismo $\psi: G \to \bar{G}$? En ese caso ¿de cuántas formas se pueden extender?
- Describe, si es que existen, todos los homomorfismos:
- de $\z$ en $\z$
- de $\z_{12}$ en $\z_5$
- de $\z$ en $\z_8$
- de $\z_{12}$ en $\z_{14}$
- Determina si los siguientes grupos son isomorfos
- $Q$ y $D_{2(4)}$
- $(SO(2,\r), \cdot\,)$ y $(S^1, \cdot\,)$
- $(\z[x], +)$ y $(\mathbb{Q}^+, \cdot\,)$
Más adelante…
Los resutados mostrados en esta entrada no son más que consecuencias lógicas a lo que establecimos en la entrada anterior. Es importante recalcarlos, pero es claro que si un homomorfismo se comporta bien con el producto, se va a comportar bien con la potencia y por ende, con el orden de un elemento.
En la siguiente entrada, definiremos nuevos conceptos relacionados con los homomorfismos, como el núcleo de un homomorfismo y la proyección canónica.
Entradas relacionadas
- Ir a Álgebra Moderna I.
- Entrada anterior del curso: Homomorfismo, Monomorfismo, Epimorfismo, Isomorfismo y Automorfismo.
- Siguiente entrada del curso: Núcleo e Imagen de un Homomorfismo.
- Resto de cursos: Cursos.