Matemáticas/Álgebra Abstracta/Grupos/Teoremas de Homomorfismos

Introducción

En este capítulo, veremos el teorema fundamental de homomorfismos, usualmente atribuido a Emmy Noether (1882-1935), que relaciona de una manera brillante los grupos cocientes con las imágenes homomórficas de un grupo. Aplicaremos dichos resultados para obtener unos resultados clásicos de la teoría de números.

Teorema Fundamental de Homomorfismos

Recordemos que cuando un homomorfismo $f:G⟶H$ es un supramorfismo, entonces decimos que $H$ es una imagen homomórfica de $G$ . El teorema fundamental establece una correspondencia biyectiva entre las imágenes homomórficas de $G$ y los subgrupos normales de $G$ .

Teorema de Fundamental de Homomorfismos (Teorema de Noether)

Sea $f:G⟶H$ un homomorfismo de grupos y sea $K$ el núcleo de $f$ . Entonces, $f(G)\cong G/K.$

El isomorfismo está dado por la correspondencia $\bar{f}$ que a cada $xK$ de $G/K$ asocia el elemento $f(x)$ de $f(G)$ .

Demostración: Primeramente, estableceremos que $\bar{f}:xK\mapsto f(x)$ es una función bien definida, es decir que su valor es independiente del representante de la clase usado para computar su valor. Sea $y$ en $xK$ . Entonces, hay un $k$ en $K$ tal que $y=xk$ . Luego, Plantilla:Eqn Lo que prueba que $f$ está bien definida. Probaremos, ahora que se trata de un homomorfismo. Plantilla:Eqn Claramente, $\bar{f}$ es suprayectiva, por lo que basta verificar que es inyectiva, para concluir que se trata de un isomorfismo. Si $\bar{f}(xK)=e_H$ se tiene que $f(x)=e_H,$ por lo que $x$ está en $K,$ de donde $xK=K,$ el neutro de $G/K,$ lo que prueba la inyectividad de $\bar{f}$ . Plantilla:QED

---

---

Plantilla:Ejmpl

Sea f:G --> H un homomorfismo de grupos y sea G un grupo finito. Entonces,

|G| = |f(G)| |ker(f)|.

Demostración: Se tiene del isomorfismo anteriormente establecido que |f(G)|= |G/K|, donde K = ker(f). De donde, por el teorema de Lagrange obtendremos que |G| = |G/K||K|, lo que al sustituir en la relación anterior nos da el resultado deseado. Plantilla:QED

---

Notemos que el orden de la imagen de un homomorfismo es un divisor del orden del grupo.

Cómputo de Homomorfismos

Plantilla:Ejmpl Hallar todos los homomorfismos posibles desde ${\mathbb{Z}}_5$ en ${\mathbb{Z}}_{10}$ .

Resolución: Sea $f:{\mathbb{Z}}_5\to {\mathbb{Z}}_{10}$ un homomorfismo. Entonces, $\ker (f)⊲{\mathbb{Z}}_5$ implica que $|\ker (f)|=1$ o $|\ker (f)|=5$ . En el segundo caso, se trata de $f(x)=0_{10},$ el neutro en ${\mathbb{Z}}_{10}$ . En el primer caso, se trata de un monomorfismo que envía el $1_5\in {\mathbb{Z}}_5$ en un elemento de orden 5 en ${\mathbb{Z}}_{10}$ . ¿Cuáles son los elementos de orden 5 en ${\mathbb{Z}}_{10}$ ? La respuesta es 2, 4, 6, y 8. Por lo tanto, tenemos homomorfismos dados por $f_a(x)=ax$ donde a = 2, 4, 6 u 8.

---

Hallar todos los homomorfismos posibles desde ${\mathsf{\text{C}}}_{12}$ en ${\mathsf{\text{C}}}_9$ .

Resolución Sea $f$ el homomorfismo que envía el generador $a$ de ${\mathsf{\text{C}}}_{12}$ en el generador $b$ de ${\mathsf{\text{C}}}_9$. Entonces, $\ker(f) \vartriangleleft \textsf{C}_{12}</math> implica que $q=|\ker (f)|$ es un divisor de 12, o sea 1, 2, 3, 4, 6 o 12. Por el teorema acerca del orden de subgrupos de un grupo cíclico, tenemos que $12/q=|f({\mathsf{\text{C}}}_{12})|$ debe ser un divisor de 9. Lo que elimina a todos los valores de $q$, excepto posiblemente $q=4$ o $q=12$.

• $q=12$ corresponde al homomorfismo trivial $f(a^k)=b^9$ (el neutro de ${\mathsf{\text{C}}}_9$).
• $q=4$ implica que $|{\mathsf{\text{C}}}_{12}/\ker f|=3$. La clase de $a$ tiene entonces orden 3, por lo que su imagen por $\bar{f}$ debe tener orden 3. Sigue de la proposición mencionada que los únicos elementos de ${\mathsf{\text{C}}}_9$ con orden 3, son $b^3$ y $b^6$. Luego, los homomorfismos no triviales son tales que
  • $f(a)=b^3$, o sea que $f(a^k)=(b^3{)}^r$, donde $r$ es el residuo de la división de $k$ por 3, y
  • $f(a)=b^6$, o sea que $f(a^k)=(b^6{)}^r$, donde $r$ es el residuo de la división de $k$ por 3.

---

Ejercicios

1. (Homomorfismos y ordenes) Sea $f:G⟶H$ un homomorfismo de grupos. Si $f(a)=b,$ entonces $o(b)|o(a)$ .
2. Sea $G={\mathsf{\text{GL}}}_2(ℝ)$ el grupo lineal (las matrices $2\times 2$ invertibles sobre los Reales). El subgrupo ${\mathsf{\text{SL}}}_2(ℝ)$ de $G,$ formado por las matrices de determinante 1 es un subgrupo normal de $G$ . Describir a su grupo cociente.
3. Sea $G$ un grupo. Para cada elemento $g$ de $G$ definamos la función $c_g$ (conjugación por $g$ ) de $G$ en sí mismo, por: $c_g:x\mapsto gx{g}^{-1}$ .
   1. Probar que c_g es un isomorfismo de grupos.
   2. Si H es un subgrupo de G, entonces c_g(H) será también un subgrupo de G, llamado el conjugado de $H$ por c_g. Probar que $H$ es normal en $G,$ ssi, coincide con todos sus conjugados.
4. ¿Qué relación hay entre el diagrama de los subgrupos de un grupo y el correspondiente diagrama para un grupo cociente del mismo?
5. (Isomorfismo de Productos)
   1. Sean $r$ y $s$ numeros enteros positivos relativamente primos entre si. Probar que el grupo ${\mathsf{\text{C}}}_r\times {\mathsf{\text{C}}}_s$ es isomorfo a ${\mathsf{\text{C}}}_{rs}$ .
   2. Sean $n_1,n_2,\dots ,n_k$ enteros positivos relativamente primos entre sí. Entonces, Plantilla:Eqn donde $n=n_1{n}_2\cdots n_k$ .
6. ¿Cuáles son todos los homomorfismos posibles de ${\mathsf{\text{C}}}_{10}$ en ${\mathsf{\text{C}}}_5$ y viceversa?
7. Listar todos los posibles homomorfismos de ${\mathbb{Z}}_r$ en ${\mathbb{Z}}_s$ cuando r y s son iguales respectivamente a
   (a) 4, 2.   (b) 6, 2.   (c) 6, 3.   (d) 9, 3.
8. Listar todos los posibles homomorfismos de ${\mathbb{Z}}_r$ en ${\mathbb{Z}}_s$
   (a) r = 1, s = n.   (b) r = 2, s = 3,4,5,n.   (c) r = 4, s = 5,n.    (d) r = 4, s = 6,9,n,2n.
9. Sea $f:<ℝ,+>\to <ℂ,\cdot >$ tal que $f(t)=\cos (2\pi t)+i\text{sen}(2\pi t)$ .
   1. Probar que f es un homomorfismo de grupos.
   2. Probar que $f(ℝ)=𝕋$ donde $𝕋$ es el conjunto de todos los complejos cuyo módulo es igual a 1. Geométricamente, $𝕋$ es la circunferencia unitaria del plano complejo.
   3. Hallar el núcleo $K$ de $f$ . (Se trata de un grupo muy conocido).
   4. Aplicar el teorema de Noether, para concluir que $ℝ/K\cong 𝕋$
10. (Segundo Teorema de Isomorfismo) Sea $G$ un grupo y $H,$ $K$ subgrupos normales de $G$ tales que $H<K$ . Probar las siguientes afirmaciones.
    1. $x{\equiv }_{H}y$ implica $x{\equiv }_{K}y$ .
    2. $[x{]}_H\subset [x{]}_K$ .
    3. La función $\mu :G/H⟶G/K$ tal que $f(xH)=xK$ es un supramorfismo de grupos.
    4. El núcleo de $\mu$ consiste de todos las clase $xH$ tales que $x$ está en $K,$ o sea $K/H$ .
    5. $(G/H)/(K/H)\cong G/K$ (Segundo Teorema).
11. (Tercer Teorema de Isomorfismo) Sea $G$ un grupo y $H,$ $N$ subgrupos de $G$ tales que $N$ es normal en $G$ . Probar las siguientes afirmaciones.
    1. $NH$ es un subgrupo de $G$ .
    2. $N$ es un subgrupo normal de $NH$ .
    3. $H$ es un subgrupo de $NH$ .
    4. $H\cap N$ es un subgrupo normal de $H$ .
    5. Sea $\mu :H⟶NH⟶NH/N$ la asignación a cada $h$ de $H$ de $hN$ es un supramorfismo de grupos.
    6. El kernel de $\mu$ es $\{h\in H:h\in N\}=H\cap N$ .
    7. $H/H\cap K\cong NH/N$ (Tercer Teorema).

Aplicaciones

Teorema Chino de los Residuos

Como una primera aplicación del teorema de Noether, probaremos el siguiente resultado.

Proposición 1. Si $r$ y $s$ son enteros relativamente primos entre si, se cumple que ${\mathbb{Z}}_{rs}\cong {\mathbb{Z}}_r\times {\mathbb{Z}}_s.$

Demostración: Sea $f:\mathbb{Z}\to {\mathbb{Z}}_r\times {\mathbb{Z}}_s$ tal que $f(x)=([x{]}_r,[x{]}_s).$ Como $\begin{array}{ccc}f(x+y)& =& ([x+y{]}_r[x+y{]}_s)=([x{]}_r+[y{]}_r,[x{]}_s+[y{]}_s)\\ & =& ([x{]}_r,[x{]}_s)+([y{]}_r,[y{]}_s)=f(x)+f(y),\end{array}$

tenemos que $f$ es un homomorfismo de grupos.

Computemos ahora el núcleo de $f.$ Si $f(x)=([0{]}_r,[0{]}_s),$ entonces $x$ es divisible tanto por $r$ como por $s,$ por ser $r$ y $s$ relativamente primos, tenemos que es divisible por $rs,$ por lo que pertenece a $rsZ.$ Observemos, además, que cualquier elemento de $rsZ$es divisible tanto por $r$ como por $s,$ por lo que su imagen por $f$será precisamente $([0{]}_r,[0{]}_s).$ Es decir que el núcleo de $f$es $rs\mathbb{Z}.$

Luego, por el teorema de Noether, ${\mathbb{Z}}_{rs}=\mathbb{Z}/(rs\mathbb{Z})\cong f(\mathbb{Z})\subset Z_r\times {\mathbb{Z}}_s.$ Es decir, $|f(\mathbb{Z})|=|{\mathbb{Z}}_{rs}|=rs.$ Pero, como $|{\mathbb{Z}}_r\times {\mathbb{Z}}_s|=rs,$ concluimos que $f(\mathbb{Z})={\mathbb{Z}}_s\times {\mathbb{Z}}_s,$ por lo que ${\mathbb{Z}}_{rs}\cong {\mathbb{Z}}_r\times {\mathbb{Z}}_s.$ Plantilla:QED

---

La proposición anterior tiene el siguiente corolario, que aparece en la literatura matemática como el teorema Chino de los Residuos.

Corolario 1.1. Sean $n_1,$ $n_2,$ ... , $n_k,$ numeros enteros relativamente primos entre si. Sea $n$igual al producto de esos números. Entonces,

${\mathbb{Z}}_n\cong {\mathbb{Z}}_{n_1}\times {\mathbb{Z}}_{n_2}\times \dots \times {\mathbb{Z}}_{n_k}.$

por un isomorfismo $\varphi$ tal que

$\varphi ([x{]}_n)=([x{]}_{n_1},[x{]}_{n_2},\dots ,[x{]}_{n_k}).$

Demostración: Inducción sobre $k.$Plantilla:QED

---

Hay un teorema de igual nombre en teoría de números que enunciamos a continuación.

Corolario (Teorema Chino de los Residuos para los Números Enteros) Sean $n_1,$ $n_3,$ \dots, $n_k,$ números enteros relativamente primos entre si y sea $n$el producto de esos números. El sistema de congruencias

$\begin{array}{cc}x& \equiv a_1(\mathrm{mod}{n}_1)\\ x& \equiv a_2(\mathrm{mod}{n}_2)\\ & ⋮\\ x& \equiv a_k(\mathrm{mod}{n}_k)\end{array}$

tiene una solución entera. Dos de esas soluciones son congruentes módulo $n.$

Demostración: Sea $\varphi$ el isomorfismo del corolario anterior. La solución a la congruencia es cualquier $x$tal que $[x{]}_n={\varphi }^{-1}([a_1{]}_{n_1},[a_2{]}_{n_2},\dots ,[a_k{]}_{n_k}).$ Plantilla:QED

---

La función $\phi$ de Euler

Recordemos que $\phi (n)$ es la cantidad de enteros positivos menores o iguales que $n$ que son relativamente primos con $n.$ Sabemos que las clases de congruencia de esos números determinan al grupo multiplicativo ${\mathbb{Z}}_n^{*}.$ En esta sección, probaremos un resultado que permitirá computar $\phi (n)$ para cualquier valor entero de $n.$ Necesitaremos el resultado de la siguiente proposición.

Proposición 2. Sean $m$ y $n$ dos enteros positivos relativamente primos. Entonces, Plantilla:Eqn

Demostración: Consideremos el grupo $G={\mathbb{Z}}_{mn}^{*}$ y sean $H$ y $K$ los subgrupos definidos por
$H=\{[x]\in {\mathbb{Z}}_{mn}^{*}:x\equiv 1(\mathrm{mod}n)\}$ y
$K=\{[x]\in {\mathbb{Z}}_{mn}^{*}:x\equiv 1(\mathrm{mod}m)\}.$ Probaremos que $G=HK\cong H\times K.$ Se tiene que $H$ y $K$ son normales en $G$ porque $G$ es un grupo abeliano. Si $x\equiv 1(\mathrm{mod}n)$ y $x\equiv 1(\mathrm{mod}m)$ tenemos que $x-1$ es divisible por $m$ y $n,$ lo que implica, por ser $m$ y $n$ relativamente primos, que $x-1$ es divisible por $mn,$ o sea que $x\equiv 1(\mathrm{mod}mn).$ Es decir que $H\cap K=\{[1]\}.$ Para probar lo anunciado, solamente nos falta probar que $G$ está generado por $H$ y $K.$ Como $m$ y $n$ son relativamente primos, hay enteros $u,$ $v$ tales que $x-1=un+vm,\text{es decir que}x=1+un+vm.$

Sean $h=1+nu$ y $k=1+vm.$ Observemos que $[h]$ está en $H$ y que $[k]$ está en $K.$ Además,

$hk=(1+un)(1+vm)=1+un+vm+uvmn\equiv x(\mathrm{mod}mn).$

Lo que prueba que $G=HK.$ Por la proposición sobre el producto de subgrupos normales, tenemos que $G\cong H\times K.$

Probaremos ahora que $H\cong {\mathbb{Z}}_m^{*}$ y que $K\cong {\mathbb{Z}}_n^{*},$ lo que concluirá la demostración de la proposición.

Observemos que si $x$ es relativamente primo con $mn,$ se cumple que $x$ es relativamente primo con $m.$ Por lo que la correspondencia $[x{]}_{mn}\to [x{]}_m$ induce una función $f:H\to {\mathbb{Z}}_m^{*}.$ Claramente, esta función es un homomorfismo. Si $x$ en $H$ es tal que $f(x)=[x{]}_m=1,$ se debe cumplir que $x\equiv 1(\mathrm{mod}m)$ y $x\equiv 1(\mathrm{mod}n).$ Sigue del teorema Chino de los Residuos, que hay un único elemento con esa propiedad, 1. Por lo que $f$ es un monomorfismo. Para probar que $f$ es suprayectiva, para cada $[a]$ en ${\mathbb{Z}}_m^{*}$ debemos poder hallar un entero $x$ en $H,$ tal que $[x{]}_m=[a{]}_m,$ Es decir un entero $x$ tal que $x\equiv 1(\mathrm{mod}n)$ y $x\equiv a(\mathrm{mod}m).$ Nuevamente, por el teorema Chino de los Residuos, tal $x$ existe, Luego $f$ es un isomorfismo de $H$ en ${\mathbb{Z}}_m^{*}.$

De manera análoga, se verifica que $K\cong {\mathbb{Z}}_n^{*}.$ Luego, Plantilla:Eqn

Plantilla:QED

---

Contando los elementos en la relación de la proposición anterior, tenemos el siguiente resultado.

Proposición 3. Sean m</math> y $n$ enteros positivos relativamente primos. Entonces, se cumple que {Eqn|$\phi (mn)=\phi (m)\phi (n).$ }}

Una función de los Enteros en los Enteros con la propiedad anterior, se dice que es $multiplicativa.$

Veremos como la proposición anterior, junto con la fórmula para potencias de primos

$\phi (p^n)=p^{n-1}(p-1),$

permite computar $\phi (n)$ para todo número natural $n.$

Proposición 4. Sea n</math> un número entero positivo mayor que 1. Si la descomposición en factores primos de$n$ es

$n=p_1^{r_1}{p}_2^{r_2}\dots p_k^{r_k},$

entonces,

$\phi (n)=\prod _{i=1}^k{p}_i^{r_i-1}(p_i-1).$

Demostración: Aplicar la proposición anterior e inducción. Plantilla:QED

---

Plantilla:Ejmpl Hallar $\phi (360).$

Como $360=2^3*3^2*5,$ $\phi (360)=2^2*1*3*2*4=96.$

---

Ejemplo

1. Hallar enteros $x$ tales que $\begin{array}{ccc}x& \equiv & 1(\mathrm{mod}2)\\ x& \equiv & 2(\mathrm{mod}3)\\ x& \equiv & 5(\mathrm{mod}6)\\ x& \equiv & 12(\mathrm{mod}13)\end{array}$

Los Grupos Simples

Los grupos simples son una familia muy importante de grupos.

Sigue del teorema de Noether que cuando $G$ es simple y $f:G⟶H$ es un homomorfismo, entonces $f$ es el homomorfismo trivial $f(G)=e_H$ o $f$ es un isomorfismo sobre su imagen.

Sea $G$ cualquier grupo finito abeliano. Recordemos que cualquier subgrupo de $G$ es normal en $G.$ Sea $g$ un elemento no nulo de $G$ y sea $n=o(g).$ Si $o(g)=|G|$ entonces el grupo es cíclico y tiene subgrupos para cada divisor positivo de $G,$ por lo que será simple, ssi, $|G|$ es primo. Si $o(g)<|G|$ entonces $⟨a⟩$ es un subgrupo propio de $G$ y, por lo tanto, normal en $G.$

Proposición 5. Los grupos finitos abelianos simples son los cíclicos de orden primo.

---

Sea G un grupo finito cualquiera. Cuando G no sea simple, deberá tener un subgrupo normal propio. Seleccionemos un subgrupo N normal maximal. Es decir tal que no haya un subgrupo normal H distinto de N y G, que contenga a N. En tal situación, tenemos el siguiente lema.

Lema. Sea $G$ un grupo finito cualquiera y sea $N$ un subgrupo normal maximal de $G.$ Entonces, $G/N$ es simple.

Demostración: Sea $f:G⟶G/N$ el supramorfismo canónico, $x\mapsto xN.$ Supongamos que $G/N$ no fuera simple. Entonces, habría un subgrupo normal propio de $G/N,$ digamos $K.$ Sea $H$ la imagen inversa de $K,$ es decir que $H=\{x\in G:f(x)\in K\}.$

Sabemos que $H$ es un subgrupo de $G.$ Probaremos que contiene propiamente a $N,$ que está contenido propiamente en $G$ y que es normal en G, lo que contradice la maximalidad de $N.$

Como $K$ es un subgrupo propio de $G/N,$ se tiene que $H\ne e_{G/N}$ es decir que hay un $xN$ en $K$ que es diferente de $e_{G/N}=N$ o sea tal que $xN$ es diferente de $N,$ lo que implica que $x$ es un elemento de $H$ que no está en $N.$ Análogamente, como $K\ne G/N,$ hay un $xN$ que no está en $K,$ por lo que $x$ no está en $H.$ Luego, $H$ es un subgrupo propio de $G$ que contiene propiamente a $N.$ Veamos. ahora, por qué es normal en $G.$ Sea $g$ un elemento cualquiera de $G$ y $x$ un elemento de $H.$ Entonces, $f(gx{g}^{-1})=f(g)f(x)f(g{)}^{-1},$ como $K$ es normal en $G/N$ tenemos que $f(g)f(x)f(g{)}^{-1}$ es un elemento de $K,$ lo que implica que $gx{g}^{-1}$ esta en $H,$ o sea que $H⊲G.$

Plantilla:QED

---

Series de Composición

Sea $G$ un grupo finito cualquiera. Veremos, ahora, como generar una cadena finita de subgrupos de $G$ Plantilla:Eqn

tal que cada $N_{i+1}$ es un subgrupo normal maximal de $N_i,$ $i=0,1,\dots ,k-1.$

Sea $N_1$ un subgrupo normal maximal de $G.$ Si $G$ es simple, $N_1=\{e\}.$ En caso contrario, seleccionar un $N_1$ que sea normal y maximal. Repitamos el proceso anterior, usando como grupo inicial a $N_1,$ obteniendo un subgrupo $N_2$ que sea normal maximal en $N_1.$ Repetir el proceso hasta que el subgrupo maximal normal sea $\{e\}.$ Como cada subgrupo obtenido está propiamente contenido en el subgrupo anterior, el proceso anterior tiene una cantidad finita de pasos.

En la cadena (**) de subgrupos, se tiene que $N_i/N_{i+1}$ es simple. La sucesión Plantilla:Eqn se llama una serie de composición para $G.$ Se puede probar que, seleccionando cualquier subgrupo maximal inicial como $N_1$ (pueden haber varios) que la serie de composición es esencialmente la misma, excepto por una permutación de los grupos cocientes que allí aparecen (teorema de Jordan-Holder). Es decir que la serie solamente depende del grupo G, por lo que grupos isomórficos tienen esencialmente la misma serie. En ese sentido, los grupos simples son los bloques básicos para los grupos finitos generales.

Una de las tareas importantes realizadas por los matemáticos en el siglo XX, fue la construcción de un catálogo de los grupos finitos simples. La tarea envolvió a matemáticos de diferentes países y épocas. Finalmente, en 1982 se estimó que se había completado el catálogo. La demostración de los elementos del catálogo así como de su completitud ocupa varios miles de páginas, distribuidas en centenares de artículos. Una tarea, todavía en proceso (2011), es la reescritura unificada de tal demostración.

---

Hay otros tipos de series, por ejemplo requiriendo que los cocientes sean abelianos (no necesariamente simples), que caracterizan a familias de grupos.

Ejercicios del Capítulo

1. Sea $G$ un grupo y sea $𝒟(G)$ el subgrupo de los conmutadores, que es el subgrupo generado por los conmutadores de $G,$ o sea, los elementos de la forma $xy{x}^{-1}{y}^{-1}.$ Probar o hacer lo indicado.
   1. $G/𝒟(G)$ es un grupo abeliano.
   2. Si $N◃G$ y $G/N$ es abeliano, entonces $N$ contiene a $𝒟(G).$
   3. Hallar el grupo de conmutadores de $D_8,$ $Q_8$ y $A_4.$
2. Sea $G$ un grupo cuyos únicos subgrupos son los triviales: $G$ y $\{e\}.$ Probar que $G$ es finito y su orden es un número primo.
3. Un grupo que contiene un subgrupo de orden 2 no es simple.
4. Sea ${\mathsf{\text{GL}}}_2({\mathbb{Z}}_2)$ todas las matrices invertibles con entradas que son elementos de ${\mathbb{Z}}_2.$ Hallar todas las matrices de ese conjunto y verificar que determinan un grupo. Hallar un grupo conocido isomorfo a ese grupo.
5. Sean $H,$ $J,$ $K$ y $L$ subgrupos normales de un grupo $G.$ Probar las siguientes afirmaciones.
   1. Si $H◃J$ y $K◃L$ entonces $H\cap K◃J\cap L,$
6. Sea $G$ un grupo de orden $2s$ con $s$ impar. Probar que $G$ tiene exactamente un elemento de orden 2, Además que el producto de todos los elementos del grupo es precisamente ese elemento de orden 2.
7. La siguiente afirmación es una proposición de la teoría de números enteros que se pueden probar aplicando la teoría de grupos a los grupos ${\mathbb{Z}}_n^{*},$ para un $n$ adecuado. (Wilson) Si $p$ es un primo, $(p-1)!\cong -1(\mathrm{mod}p)$}.
8. Sea $G$ un grupo y sea $𝒟(G)$ el subgrupo de los conmutadores, que es el subgrupo generado por los conmutadores de $G,$ o sea, los elementos de la forma $xy{x}^{-1}{y}^{-1}.$ Probar o hacer lo indicado.
   1. $G/𝒟(G)$ es un grupo abeliano.
   2. Si $N◃G$ y $G/N$ es abeliano, entonces $N$ contiene a $𝒟(G).$
   3. Hallar el grupo de conmutadores de $D_8,$ $Q_8$ y $A_4.$

   
   

9. Sea $G$ un grupo de orden $2p$ donde $p$ es un primo impar. Probar que $G$ es el grupo cíclico ${\mathsf{\text{C}}}_{2p}$ o el grupo dihedral $D_{2p}.$
10. Clasificar cada una de las siguientes afirmaciones como válidas o falsas. Cuando sea válida dar una explicación o demostración de su validez. En caso contrario, proveer un contraejemplo.
    1. Todo grupo $G$ contiene un subgrupo propio cíclico.
    2. Cuando el conjunto de generadores de un grupo es finito, entonces el grupo es finito.
    3. Si el orden de $G$ es $n,$ para todo divisor $d$ de $G,$ hay un elemento de $G$ de orden $d.$
    4. Si el orden de $G$ es $n,$ para todo divisor primo $p$ de $G,$ hay un elemento de $G$ de orden $p.$
    5. En un grupo $G$ de orden $n,$ todos los elementos no nulo tienen orden $n.$
    6. Hay grupos de orden $n,$ donde para todo $x$ en $G$ se cumple que $x^m=e,$ para un entero positivo $m<n.$
    7. La imagen homomórfica de un grupo cíclico es un grupo cíclico.
    8. La imagen homomórfica de un grupo infinito es siempre un grupo infinito.
    9. Un subgrupo $H$ es normal, ssi, coincide con todos sus conjugados.
    10. Un grupo de orden 121 contiene un elemento de orden 11.
    11. Un grupo de orden 100 tiene un subgrupo de orden 4, pero no un subgrupo de orden 8.
    12. Un subgrupo de orden 256 contiene un subgrupo de orden 16.
11. (Variación del Teorema de Noether) Sea $f:G⟶H$ un homomorfismo de grupos. Sean $\nu :G⟶K,$ $K=\ker (f),$ la suprayección canónica, $\overline{f}:G/K⟶f(G)$ tal que $\bar{f}([x])=f(x),$ y $ı:f(G)⟶H$ la función definida por la inclusión. $f$ se puede factorizar como $f=ı\circ \overline{f}\circ \nu .$
    1. Verificar que $f$ se puede factorizar como $f=ı\circ \overline{f}\circ \nu .$ Comparar esa factorización con la factorización de funciones del apéndice [[../Funciones|Las Funciones]].
    2. Probar que las funciones en la factorización son homomorfismos de grupos.
12. Sea $<M,e>$ un monoide. Sea $N$ un submonoide de $M$ (o sea un subconjunto cerrado de $M$ que contiene al neutro).
    1. Definir clases laterales $xN$ e $Ny.$ Probar que la relación $x\sim y,$ ssi, $xN=yN$ es un relación de equivalencia en $M.$ Denotaremos por $M/N$ al conjunto formado por todas las clases de equivalencia.
    2. Suponer que $N<M$ es tal que para todo $x$ en $M,$ $xN=Nx.$ Probar que $xNyN:=(xy)N$ es una operación bien definida en $M/N$ que provee a $M/N$ con una estructura de monoide tal que la función $x\mapsto [x]$ de $M$ en $M/N$ es un homomorfismo suprayectivo de monoides.
    3. Enunciar un teorema análogo al teorema de Noether para los homomorfismo de monoides.

Comentarios

Teoremas de Isomorfismos. El teorema de Noether es llamado el primer teorema de isomorfismos porque hay al menos otros dos. No parece haber acuerdo acerca de cuál de ellos es el segundo y cuál es el tercero. Ver enunciados de esos teoremas en los ejercicios de la sección Teorema Fundamental de Homomorfismos Ver también Wikipedia:Teoremas de Isomorfía

Notas