Ver el código de «Matemáticas/Álgebra Abstracta/Grupos/Grupos Cocientes»

<noinclude>
{{navegar|libro=Álgebra Abstracta
|actual=Grupos Cocientes
|anterior=Grupos Generados
|siguiente=Teoremas de Homomorfismos
}}
</noinclude>

== Introducción ==

En este capítulo, estudiaremos relaciones de equivalencias en un grupo que son definidas a partir de subgrupos del grupo. El objetivo final es proveer al conjunto de clases de equivalencias definidas por la relación con una estructura de grupo, llamada <i>grupo cociente</i>, que será una imagen homomórfica del grupo original. La idea básica es abstraer la construcción de los Enteros módulo m a partir de los Enteros y la relación de congruencia correspondiente.

Como veremos, en general, lo anterior no siempre será posible en el caso de los grupos no abelianos. Se requerirá una clase especial de subgrupos, llamados "subgrupos normales". Tales subgrupos y los grupos cocientes asociados tienen una estrecha relación con los homomorfismos desde el grupo en cuestión.

<b>La construcción de los Enteros módulo <math>m</math>. </b><br>
Recordemos la construcción de los Enteros módulo <math>m</math>. Se define una relación de equivalencia como <math>x \sim y</math>, ssi, <math>x-y</math> es un múltiplo de <math>m</math>. Si denotamos por <math>H</math> el subgrupo formado por los múltiplos de <math>m</math>, tenemos que <math>x \sim y</math>, ssi, <math>x-y</math> está en <math>H</math>. Recordemos que entonces las clases de equivalencia
(los subconjuntos formados por todos los números relacionados con uno fijo) definen una partición de los Enteros, es decir, su reunión es todo el conjunto y son disjuntos dos a dos. La clase del 0, es precisamente el subgrupo <math>H</math>. La relación <math>x \sim y</math> puede expresarse como que hay un <math>h</math> en <math>H</math> tal que <math>x-y=h</math>, o sea <math>x = y + h</math>.

=== Relación de Equivalencia Definida por un Subgrupo ===

Inspirados en nuestro ejemplo, definiremos una relación asociada a un subgrupo de un grupo.

<div style="background: rgb(240,240,240); border: 1px solid navy; width:80%; margin:10pt 80pt 10pt 50pt; padding: 1.5ex; font-family: Arial; font-style: italic;">
<span style="font-family: Arial; font-weight:bold; font-style: normal;">Definición. (Equivalencia módulo un subgrupo)</span> Sea G un grupo y H un subgrupo de G. Sean x, y elementos de G. Decimos que x es congruente módulo H con y, ssi, para algún h en H, se cumple que x = yh.<br />
Simbolizaremos la relación por <math>x \sim_H y</math>.
</div>
Notemos que <math>x \sim_H y \iff  x=yh \text{ para algún h en H } \iff y^{-1}x \in H</math>.

<b>Proposición 1.</b> <i> La relación <math>\sim_H</math> es una relación de equivalencia en <math>G</math>. La clase de equivalencia de <math>x</math> es <math>xH=\{xh: h \in H\}</math>.</i>
<ul> <i>
Demostración: </i> La reflexividad de la relación es trivial, ya que <math>x^{-1}x = e</math>, tenemos que <math>x \sim_H x.</math>
Supongamos que <math>x \sim_H y</math>, entonces <math>y^{-1}x</math> está en <math>H</math>. Por lo que su inverso también está en <math>H</math>. Como <math>(y^{-1}x)^{-1} = x^{-1}y</math>, tenemos que <math>y  \sim_H x</math>, lo que prueba que la relación es simétrica.

Supongamos que <math>x \sim_H y</math> y que <math>y \sim_H z</math>, es decir que <math>y^{-1}x</math> y <math>z^{-1}y</math> están en <math>H</math>. Entonces, su producto, <math>z^{-1}y y^{-1}x = z^{-1}x</math> está en <math>H</math>, por lo que <math>x \sim_H z</math>. Lo que prueba que la relación es transitiva. Esto concluye la prueba de que se trata de una relación de equivalencia en <math>H</math>.

Sea <math>[x]</math> la clase de equivalencia de <math>x</math>. Sea <math>y</math> un elemento de <math>[x]</math>. Por la definición de la relación, hay un <math>h</math> en <math>H</math> tal que y = xh, es decir que <math>[x]</math> es un subconjunto de <math>xH</math>. Por otra parte, tenemos que si <math>h</math> en <math>H</math>, entonces <math>xh \sim_H x</math> lo que implica que <math>xH</math> está contenido en <math>[x]</math>. Por lo que <math>[x] = xH</math>.
{{QED}} </ul>
<hr>

Notemos que la clase del neutro es precisamente el subgrupo <math>H</math>.
<br />
Como, en general, <math>xH</math> no es igual a <math>Hx</math>, podemos considerar otra relación de equivalencia de modo que las clases de equivalencias sean los <math>Hx</math>.
La relación será tal que <math>x {\ }_H\sim y</math>, ssi, <math>x = hy</math> para algún <math>h</math> en <math>H</math>, o sea, ssi, <math>xy^{-1}</math> está en <math>H</math>. Es fácil verificar que tenemos otra relación de equivalencia, que coincidirá con la anterior cuando la operación del grupo sea conmutativa, pero no en general.

== Las Clases Laterales ==

Introduciremos una nomenclatura para los conjuntos de la forma <math>xH</math> o <math>Hx</math>.

{{DefRht|Coclases, Clases Laterales| Sean <math>G</math> un grupo, <math>H</math> un subgrupo de <math>G</math> y <math>x</math> un elemento de <math>G</math>. Llamamos <b>clase lateral izquierda</b> o <b>coclase izquierda</b> de <math>x</math> respecto a <math>H</math> al conjunto formado por todos los productos <math>xh</math>, donde <math>h</math> es un
elemento de <math>H</math>. Simbolizaremos a ese conjunto por <math>xH</math>.
<br />
Análogamente, llamamos <b>clase lateral derecha</b> o  <b>coclase derecha</b> de <math>x</math> respecto a <math>H</math> al conjunto <math>Hx</math>, que es el conjunto formado por todos los productos <math>hx</math> donde <math>h</math> es un elemento de <math>H</math>.
}}

{{Ejmpl|Ejemplo}}
Consideremos el grupo cíclico <math>C_6 = <a : a^6 =e></math> y al subgrupo <math>H = <a^2> = \{e,a^2, a^4\}</math>. Computaremos las coclases izquierdas de <math>H</math>.

<center><math>
\begin{array}{rclcl}
eH & =& \{ee,ea^2, ea^4\} &=& \{e, a^2,a^4\}\\
aH & = & \{ae,aa^2, aa^4\} &=& \{a, a^3, a^5\} \\
a^2H &=& \{a^2e, a^2a^2, a^2a^4\} &=& \{a^2, a^4, e\} \\
a^3H &=& \{a^3e, a^3a^2,a^3a^4\} &=& \{a^3,a^5,a\} \\
a^4H &=& \{a^4e,a^4a^2,a^4a^4\} &=& \{a^4, e, a^2\} \\
a^5H &=&\{a^5e, a^5a^2, a^5a^4\} &=& \{a^5,a, a^3\}
\end{array} </math></center>

Observemos que hay solamente dos coclases diferentes, ya que
<center><math>
\begin{array}{rcl}
eH &=& a^2H = a^4H = \{e,a^2,a^4\}  \\
aH &=& a^3H =a^5H = \{a,a^3,a^5\}
\end{array} </math></center>
Tal situación es típica de las coclases de un grupo. Como el grupo es conmutativo, tendremos, en este caso, que siempre <math>xH = Hx</math>, es decir que las clases laterales izquierdas de un elemento coincidirán con las clases laterales derechas. Notemos, además, que las coclases son disjuntas entre si.
<hr>

{{Ejmpl|Ejemplo}}
Consideremos el grupo <math>G= Z_6</math> de los enteros módulo 6 con la suma. Sea <math>H = \{0,3\} < G</math>.
Como la operación es suma, escribiremos <math>x + H</math> para la clase
lateral izquierda de <math>x</math> respecto a <math>H</math>. La conmutatividad nos
indica, además, que <math>x + H = H+x</math>, o sea que cada coclase izquierda
coincide con la correspondiente coclase derecha, por lo que
solamente escribiremos las coclases izquierdas.
(Por simplicidad, pondremos <math>\Z_6 = \{0,1,2,3,4,5\}</math>, es decir que escribiremos el representante de cada clase.)
<center><math>
\begin{array}{rclcl}
0 + H &=& \{ 0 + 0, 0 + 3\} &=& \{0,3\} \\
1 + H &=& \{ 1 + 0, 1 + 3\} &=& \{1,4\} \\
2 + H &=& \{ 2 + 0, 2+3  \} &=& \{2,5\} \\
3 + H &=& \{ 3 + 0, 3+3  \} &=& \{0,3\} \\
4 + H &=& \{ 4 + 0, 4+3  \} &=& \{4,1\} \\
5 + H &=& \{ 5 + 0, 5+3  \} &=& \{5,2\} \\
\end{array}</math></center>

Notemos que
<ul>
<li> <math>0 + H = 3 + H = H</math>, <math>1 + H = 4 + H</math> y <math>2 + H = 5+ H</math>, o sea que solamente tenemos tres clases laterales diferentes;
<li> la clase del 0 coincide con <math>H</math>;
<li> las clases son disjuntas entre sí y cada una tiene igual cantidad de elementos que las otras, en particular, igual cantidad de elementos que <math>H</math>. 
</ul>
<hr>

{{Ejmpl|Ejemplo}}
Consideremos el grupo <math>G=S_3</math> cuya tabla, por comodidad, recordamos a continuación. Sea <math>H = \{e, b\}</math>. Claramente, <math>H</math> es un subgrupo de <math>G</math>. Computaremos las coclases respecto a <math>H</math>.
<center><math>
\begin{array}{r|rrrrrr}
\circ     & e & a & a^2& b & ab & a^2b \\
\hline
e&  e& a & a^2 & b & ab & a^2b \\
a^2 & a & a^2 &  e& ab & a^2b & b \\
a^2 & a^2 & e& a  & a^2b & b & ab\\
b   & b   & a^2b   & ab   & e& a^2 & a\\
ab   & ab   & b   & a^2b   & a   & e&  a^2 \\
a^2b   & a^2b   & ab   & b   &  a^2  & a & e \\
\end{array}
</math></center>
<br />


<center><math>
\begin{array}{rcr}
id\,H = \{ e, b \}        &  & H\,e= \{id, H\} \\
aH = \{a,ab\} & & Ha = \{ a, a^2b \} \\
a^2H = \{a^2,a^2b\} &&  H a^2 = \{a^2,ab\} \\
bH = \{ id, b \}      & & Hb = \{ id, b\} \\
abH = \{a, ab\} &  & H\tau_{2} = \{a^2,ab\} \\
a^2bH = \{a^2, a^2b\} & & Ha^2b=\{ a,a^2b \} \\
\end{array}
</math></center>

Notemos que tenemos tres coclases izquierdas diferentes que son disjuntas entre si y que cada una de ellas contiene a dos elementos. Lo mismo sucede con las coclases derechas. Pero, que, en general, no se cumple que <math>xH = Hx</math>. La clase del neutro es <math>H</math>.
<hr>

Algunas de las observaciones hechas en los ejemplos anteriores, se pueden generalizar, como veremos, a cualquier grupo y subgrupo. Sea <math>G</math> un grupo y <math>H</math> un subgrupo de <math>G</math>
<ul>
<li> <i>La coclase del neutro <math>eH</math> coincide con <math>H</math></i>.<br>
Esto es trivial ya que <math>eh=h</math>.

<li> <i>Cada coclase respecto a <math>H</math> tiene tantos elementos como <math>H</math></i>.
<br>
Consideremos la función <math>h \mapsto xh</math> de <math>H</math> en <math>xH</math>. Claramente, la función es suprayectiva. Como <math>xh_1=xh_2</math> implica que <math>h_1=h_2</math>, la función es inyectiva. Por lo tanto, se trata de una función biyectiva. En particular, esto significa que <math>H</math> y <math>xH</math> tienen la misma cantidad de elementos. Análogo resultado para las coclases derechas usando la función <math>h \mapsto hx</math>.

<li> <i>La familia formada por los <math>xH</math> (resp. <math>Hx</math>) cuando <math>x</math> recorre a <math>G</math>, define una partición de <math>G</math></i>.
<br>
Es decir que cada elemento de <math>G</math> pertenece a algún <math>xH</math> y dos clases laterales son siempre iguales o disjuntas. Esto sigue de que son clases de equivalencia de las relaciones de equivalencia que vimos antes.

Podemos también probarlo directamente. Claramente, para todo <math>x</math> en <math>G</math>, <math>x=xe</math>, lo que implica que <math>x</math> pertenece a <math>xH</math> y, por lo tanto, que la reunión de esas coclases será igual a todo <math>G</math>.

Supongamos que <math>xH \cap yH \neq \emptyset</math> y que <math>z</math> fuera un elemento de la intersección. Esto significa que <math>z=xh_1=yh_2</math>, para <math>h_1</math>, <math>h_2</math> elementos de <math>H</math>. Luego, <math>x= yh_2h_1^{-1}</math> y, por lo tanto, para todo <math>h \in H</math>, <math>xh = yh_2h_1^{-1}h</math>, lo que implica que <math>xH \subset yH</math>. Por la simetría de la situación, tendremos la inclusión opuesta, de donde concluimos que <math>xH=yH</math>.

Por lo tanto, <math>H</math> define una partición en <math>G</math> mediante sus clases
laterales izquierdas. Un resultado análogo se tiene para las
clases laterales derechas, cuya verificación dejaremos al lector.
</ul>

=== Conjunto Cociente ===

{{DefRht|Conjunto Cociente| Simbolizaremos por <math>\mathbf{G/H}</math> al conjunto determinado por todas las coclases izquierdas de <math>H</math> en <math>G</math> y diremos que se trata del <b>conjunto cociente</b> de <math>G</math> por <math>H</math> por la izquierda. El correspondiente conjunto para coclases derechas, se simbolizará por <math>\mathbf{H\backslash G}</math> (conjunto cociente por la derecha). }}

{{Ejmpl|Ejemplo <math>C_6</math>}}
En un ejemplo anterior, vimos que en <math>C_6 = <a: a^6=e></math>, el subgrupo <math>H = \{e, a^3\}</math> generado por <math>a^3</math> tenía tres coclases izquierdas:
<math>H = \{e,a^3\}</math>, <math>aH = \{a,a^4\}</math> y <math>a^2H =\{a^2, a^5\}</math>.
Por lo que, el conjunto cociente <math>G/H</math> tiene tres elementos,
<center><math>G/H = \{ H, aH, a^2H\}, </math></center>
<hr>

La relación <math>x \sim_H y</math> se leerá como <i><math>x</math> es congruente con <math>y</math> módulo <math>H</math></i>. Algunas veces, la relación aparece en la literatura como <math>x \equiv_H y</math> o también como <math> x \equiv y \pmod{H}.</math> .

¿Qué relación hay entre las coclases izquierdas y las coclases derechas? Para estudiar la relación, consideremos la función
<center><math>x \mapsto x^{-1}</math></center>
de <math>G</math> en si mismo. Tal función es biyectiva y como
<math>(xh)^{-1}=h^{-1}x^{-1}</math>, tenemos que hay una correspondencia biyectiva entre las clases laterales izquierdas y las clases laterales derechas. En particular, que hay tantas clases laterales izquierdas como derechas. La cantidad de esas clases recibe un
nombre especial.

{{DefRht|Índice de un Subgrupo| Sea <math>H</math> un subgrupo de <math>G</math>.
Llamamos <b>índice</b> de <math>H</math> en <math>G</math> a la cantidad de clases
laterales izquierdas de <math>H</math> en <math>G</math> (que es igual a la cantidad de
clases laterales derechas de <math>H</math> en <math>G</math>), o sea, a la cantidad de
elementos de <math>G/H</math>. Simbolizaremos a ese cantidad por <math>\mathbf{[G:H]}</math>.}}

Un problema básico es determinar condiciones sobre <math>H</math> de manera que se pueda definir una estructura de grupo en <math>G/H</math> compatible con la estructura de <math>G</math>, lo que, en general, no será posible. Veremos la solución a ese problema en una próxima sección.

=== Ejercicios ===
<ol>
<li> Sabemos que dado un entero positivo <math>m</math>, <math>m\Z</math> es el subgrupo formado por los múltiplos de <math>m</math>. Describir cada uno de los siguientes conjuntos cocientes.<br>
<ol type="a">
<li> <math>\Z/\!2\Z.</math>
<li> <math>\Z/\!5\Z.</math>
<li> <math>\Z/\!m\Z. </math>
</ol>
<li> Hacer lo indicado. ¿Qué relación, si alguna, hay entre el orden del grupo, el orden del subgrupo y la cantidad de clases (índice)?
  <ol  type="a">
  <li>  Hallar las clases laterales de <[2]>  en <math>\Z_{12}</math>.
  <li>  Hallar las clases laterales de <[3]>  en <math>\Z_{12}</math>.
  <li>  Hallar las clases laterales de <[5]>  en <math>\Z_{12}</math>.
  <li>  Hallar las clases laterales de <[2]>  en <math>\Z_{12}</math>.
  </ol>

<li> Hallar las clases laterales derechas e izquierdas del subgrupo {e,b} de <b>D_8</b> ¿Qué relación hay entre la cantidad de clases, el orden del subgrupo y el orden del grupo?

<li> Recordemos que <math>A_n</math> es el subgrupo de <math>S_n</math> formado por todas las permutaciones pares. ¿cuántas clases laterales hay respecto a <b>A<sub>n</sub></b>?

<li> Sea <math>V=\{e, (1 2) (3 4), (1 3) (2 4), (1 4) (2 3)\}</math>.
   <ol type ="a">
   <li> Probar que V es un subgrupo de <b>A<sub>4</sub></b>. ¿Es isomorfo a <b>C_4</b>  o al grupo de Klein?
   <li> Sea <math>z = x_1x_2 + x_3x_4</math>, donde los <math>x_i</math>'s son números reales. Para cada permutación <math>\sigma</math> de {1,2,3,4}, definamos
{{Eqn|<math>\sigma(z) := x_{\sigma(1)}x_{\sigma(2)} +  x_{\sigma(3)}x_{\sigma(4)}</math>.}}
Probar que para cada <math>\sigma</math> en V, se cumple que <math>\sigma(z) = z</math>. ¿Habrá otras permutación con la misma propiedad?
    </ol>
<li> Sea <math>G = C_{8,a}</math>. Hallar todas las clases laterales izquierdas y derechas de <math>G</math> respecto al subgrupo <math>K= <a^2></math>.
    ¿Cuántos elementos tiene <math>G/K</math>?

<li> Sea <math>G=S_3 = <a, b : a^3=b^2=e, ba = a^2b></math>. Sean <math>H = \langle a \rangle</math> y <math>K = \langle b \rangle</math>. Hallar las clases laterales izquierdas respecto a <math>H</math> y a <math>K</math>, así como los conjuntos cocientes <math>G/H</math> y <math>G/K</math>.

<li> Sea <math>G = \langle a,b: a^4=e, b^2 = e, bab = a^3 \rangle = D_8</math>. Sea <math>H = \langle a \rangle</math> y <math>K = \langle b\rangle</math>.
    <ol type = "a">
    <li>    Verificar que cada clase lateral izquierda de <i>H</i> es también una clase lateral derecha.
    <li>    Hallar las clases laterales derechas e izquierdas de <i>K</i>,
   </ol>

<li> Sean <math>G</math> un grupo y <math>H</math> un subgrupo de <math>G</math>. Verificar usando la definición de relación de equivalencia que la relación <math>{}_H\!\sim</math> definida por <math>x\ {_H\!\sim}\  y</math>, ssi, <math>xy^{-1} \in H</math> es una relación de equivalencia en <math>G</math> tal que la clase de equivalencia de <math>x</math> es <math>Hx</math>.

<li> ¿Cuándo G/H es un grupo?

<li> Sea <math>G= \R^2</math> el plano cartesiano con la operación de suma por coordenadas. Sea <math>L = \{ (x,y): y = 3x \}</math>.
   <ol type="a">
   <li>   Probar que L es un subgrupo de G.
   <li>   Hallar tres clases laterales de L en G.
   <li>   Geométricamente, L es una línea del plano (con "pendiente" 3). ¿Qué son geométricamente, las clases laterales de L en G.
    <li>   ¿Cómo podríamos visualizar gráficamente a G/L?
    </ol>

<li> El grupo de los Enteros es un subgrupo del grupo aditivo de los Reales.
     <ol type ="a">
     <li> Probar que cada clase lateral de <math>\Z</math> en <math>\R</math> contiene exactamente un número real x tal que 0 = x < 1.
     <li> ¿Por qué podemos identificar <math>\R/\Z</math> con el intervalo [0,1) de los Reales?
     </ol>
</ol>

== Los Primeros Teoremas de Cardinalidad ==

En esta sección, veremos un resultado muy importante que relaciona la cardinalidad de un grupo con aquella de un subgrupo y sus clases laterales.

=== Teorema de Lagrange ===
Nuestro primer teorema será un resultado atribuido a Lagrange <ref>Joseph--Louis Lagrange(1736--1813). Realmente el teorema fue probado con la generalidad que aquí presentaremos por Camille Jordan (1838--1922), quien modestamente se lo atribuyó a Lagrange</ref>, que aunque válido para grupos infinitos, tiene su mayor importancia para los finitos, por lo que nos limitaremos a ese contexto.

Sea <math>G</math> un grupo finito y sea <math>H</math> un subgrupo. Sabemos que <math>G</math> es la reunión de las clases laterales izquierdas que son disjuntas entre sí, y cada una de esas clases tiene igual cantidad de elementos que <math>H</math>.
Por lo que si nos preguntamos cuántos elementos tendrá la reunión de todas ellas, la respuesta es fácil: la cantidad de coclases por la cantidad de elementos de cada una, o sea <math>[G:H]</math> multiplicado por <math>|H|</math>. Como
esa reunión es todo el grupo, se tiene el teorema siguiente.

<b>Proposición 2. (Teorema de Lagrange) </b>  <i> Sea <math>G</math> un grupo finito, <math>H</math> un subgrupo de <math>G</math>. El orden de <math>G</math> es igual al producto del índice de <math>H</math> en <math>G</math>. por el orden de <math>H</math>.</i>
<center><math>|G| = [G:H]\ |H|.</math></center>
El orden de <math>H</math> y el índice <math>[G:H]</math> son divisores del orden de <math>G</math>.</i>

<b>Corolario 2.1. </b> <i> Sea G un grupo de orden <math>n</math>. El orden de cualquier elemento <math>a</math> de <math>G</math> es un divisor de <math>n</math>. por lo que <math>a^n=e</math>.</i>
<ul><i>
Demostración: </i> Sea <math>H= \langle a \rangle</math>. Como <math>o(a) = |H|</math> se tiene que <math>o(a)|n</math>. Por ser <math>n</math> un múltiplo del orden de <math>a,</math> se tiene que <math>a^n = e.</math>
<br>
{{QED}} </ul>
<hr>

<b>Corolario 2.2. </b>Sea <math>G</math> un subgrupo de orden <math>p</math> primo. Entonces, <math>G</math> es un grupo cíclico y sus únicos subgrupos son el mismo y el subgrupo nulo.</i>

Demostración: </i>Como <math>p</math> es primo, sus únicos divisores son <math>1</math> y <math>p</math>. Lo que prueba que los únicos subgrupos son los mencionados en el enunciado del corolario. Probaremos ahora que el grupo tiene que ser cíclico. Sea <math>x</math> cualquier elemento distinto del neutro en <math>G</math>. Entonces, <math><x></math> es un subgrupo de <math>G</math> y su orden tiene que ser <math>p</math>. porque no hay otra posibilidad. Luego <math>G=<x></math>. lo que prueba que <math>G</math> es cíclico. {{QED}}
<hr>

La importancia del teorema de Lagrange para los grupos finitos reside en que nos limita el tamaño de los posibles subgrupos de un grupo finito a los divisores del orden del grupo. Por ejemplo, no puede haber un subgrupo de orden 4 en un grupo de orden 6. El converso al teorema---que haya un subgrupo para cada divisor del orden del grupo---no es válido. Igualmente, para cada divisor del orden del grupo, no siempre hay un elementos cuyo orden sea el divisor. Ver ejemplo en los ejercicios de la sección.

=== Teorema de Euler ===
Consideremos el semigrupo multiplicativo de los Enteros módulo <math>m</math> no nulos,
<math>\Z_m</math>. Los elementos invertibles de ese semigrupo forman un grupo, denotado <math>\Z_m^*.</math> Los elementos de ese grupo son aquellos <math>[a]</math> tales que se cumple que <math>a</math> y <math>m</math> son relativamente primos.

Luego, tenemos que <math>|\Z_m^*| = \varphi(m)</math>, donde <math>\varphi</math> es la función de Euler <ref>Dicha función fue introducida en el capítulo [[../Grupos Cíclicos|Los Grupos Cíclicos]].</ref>. Aplicando el teorema de Lagrange al grupo <math>\Z_m^*</math>, tenemos la siguiente proposición.

<b>Proposición 3. (Teorema de Euler)</b> <i>
Sea <math>a</math> un entero positivo relativamente primo con el entero positivo <math>n</math>. Entonces,
<center><math>a^{\varphi(n)} \equiv 1 \pmod{n}.</math></center> </i>
<ul><i>
Demostración: </i> Como <math>|\Z_m^*| = \varphi(n)</math>, tenemos, por el corolario al teorema de Lagrange, que <math>[a]^{\varphi(n)} = [1]</math>. lo que es equivalente al resultado de la proposición. {{QED}} </ul>
<hr>
El resultado se puede aplicar a la siguiente proposición de teoría de números.

<b>Corolario 3.1. (Teorema pequeño de Fermat)<ref>Nombrado de esta manera, para distinguirlo de otro teorema de Fermat, el "ultimo".</ref></b> <i>Sea <math>p</math> primo, para todo <math>a</math> tal que <math>\text{mcd}(a,p)</math> se cumple que
<center><math>a^{p-1} \equiv 1 \pmod{p}.</math></center> </i>

<ul><i>
Demostración: </i>Para cualquier elemento no nulo <math>[a]</math> de <math>\Z_p^*</math> se cumple que <math>a</math> es relativamente primo con <math>p</math>. por lo que el orden de <math>\Z_p^*</math> es <math>p-1</math>. Luego, <math>[a]^{p-1} = 1</math>. lo que es equivalente a lo afirmado en la proposición.
{{QED}} </ul><hr>

=== Ejercicios ===
<ol>
<li> ¿Es posible que un grupo de orden 1000 tenga un subgrupo de orden 250?
       En caso afirmativo, dar un ejemplo.


<li> Sea <math>G = C_{24,a}</math> y H el subgrupo de G generado por <math>a^4</math>. Hallar <math>G/H</math> y <math>H\backslash G</math>.

<li> Sea G el grupo diedral de orden 8, <math>D_8</math> (las simetrías del cuadrado). Probar que las rotaciones determinan un subgrupo H de G. Describir G/H.

<li> Sea <math>G = \Z_{24}^*</math>. Hallar el orden de cada uno de sus elementos. ¿Es <math>G</math> un grupo cíclico?

<li> Sea <math>G</math> el subconjunto de los Enteros módulo 6 no nulos. ¿Es G un grupo con respecto a la multiplicación?

<li> Sea <math>G</math> el subconjunto de los Enteros módulo 7 no nulos. ¿Es G un grupo con respecto a la multiplicación?

<li> Hallar el orden del grupo <math>\Z_6^* \times \Z_5^*</math>.

<li> Sean <math>H</math>, <math>K</math> subgrupos de un grupo <math>G</math> tales que <math>K < H < G</math>. Probar que <math>[G:K] = [G:H]\, [H:K].</math>

<li> Sea <math>G = C_2 \times C_2 \times C_2</math>. Probar que no hay elementos de orden 4 en G, aunque |G|=8.

<li> Sea <math> G = \langle a,b | a^2=e, b^3=e, (ba)^3 = e\rangle. </math>. Probar que <i>G</i> es un grupo de orden 12 que no tiene un subgrupo de orden 6. Se puede verificar que <math>G \cong A_4</math>

<li> Sea G un grupo cuyo orden es <math>pq</math> donde p y q son primos diferentes.
Probar que cada subgrupo propio es cíclico. ¿Es necesariamente G un grupo cíclico? ¿abeliano? (Sug. Buscar ejemplos.)

<li> Sea G un grupo no nulo que no tiene subgrupos propios. Probar que el orden de G es un número primo.
</ol>

== Los Subgrupos Normales ==
En la primera sección, vimos que cada subgrupo <math>H</math> de un grupo <math>G</math> define dos relaciones de equivalencia en el conjunto <math>H</math>. Tales relaciones son definidas por particiones del grupo: una de ellas definida por las clases laterales izquierdas respecto a <math>H</math> y la otra definida por las clases laterales derechas. Asociadas con ellas. tenemos los conjuntos cocientes <math>G/H</math> y <math>H \backslash G </math>. Nos concentraremos, por ahora, en el conjunto <math>G/H</math>. Nos interesa ver cuándo será posible establecer una estructura de grupo en <math>G/H</math> deducida de la estructura de grupo de <math>G</math>.

Sea <math>H</math> un subgrupo de <math>G</math> y sea <math>G/H</math> el conjunto cociente de
<math>G</math> por la partición definida por las coclases izquierdas de <math>H</math>. es decir el conjunto formado por todas esas coclases. Recordemos que dicha partición está asociada a la relación de equivalencia, <math>x \sim_H y \iff y^{-1}x \in H</math>.

Lo que queremos es definir una operación en <math>G/H</math> tal que
{{Eqn|<math>xH \cdot yH = xyH</math>|*}}
Es decir, tal que el producto de dos coclases sea igual a la coclase del producto de dos representantes de las coclases.
Tomando <math>y=x^{-1}</math> en la relación (*), vemos que se debería cumplir que <center><math>xHx^{-1}H = xx^{-1}H = eH =H.</math></center>
Es decir que para todo <math>h_1</math>. y <math>h_2</math> en <math>H</math>. debiera haber un <math>h</math> en <math>H</math> tal que
<center><math>xh_1x^{-1}h_2 = h.</math></center>
Pero esto, implica que para todo <math>h_1</math> en <math>H</math> y todo <math>x</math> en <math>G</math> debiera cumplirse que <math>xh_1x^{-1} = hh_2^{-1}</math>. o sea, que
<center> <math>xhx^{-1}</math> es un elemento de <math>H.</math></center>
La relación implica que para todo <math>h \in H</math> y <math>x \in G</math>. podremos hallar <math>h</math> en <math>H</math> tal que <math>xhx^{-1}=h</math>. Lo que es equivalente a afirmar que <math>xh=h'x</math>, o sea que <math>xH \subset Hx</math>. Invirtiendo los roles de <math>x</math> y <math>x^{-1}</math> en las relaciones anteriores, obtendremos que <math>Hx \subset xH</math>. De donde, obtendremos una condición necesaria adicional: que las clases laterales izquierdas y derechas de un elemento de <math>G</math> deben coincidir.
{{Caja|<math>xH = Hx.</math>}}
Es fácil ver que esta condición es suficiente para tener una buena
definición de operación en <math>G/H</math>. En efecto, se cumplirá que:
<center><math>xHyH = x(Hy)H = x(yH) H = xyHH= xy H.</math></center>
Se verifica <!---ver ejemplo \ref{ejSubNoNormal}---> que la condición anterior no se cumple para cualquier subgrupo, por lo que daremos un nombre especial a los subgrupos que satisfacen dicha condición.

{{DefRht|Subgrupo Normal|
Sea <math>G</math> un grupo. Diremos que un subgrupo <math>H</math> de <math>G</math> es <b>normal</b> <ref>Los subgrupos normales también se llaman, en la literatura matemática, invariantes o distinguidos.</ref> en <math>G</math>, ssi, se cumple una de las siguientes afirmaciones (que son equivalentes entre sí):
<ol type "i">
<li> Para todo <math>x \in G, \quad xH = Hx</math>.
<li> Para todo <math>x \in G, \quad H^x=xHx^{-1} = H</math>
<li> Para todo <math>x \in G, \quad h \in H, \ xhx^{-1} \in H</math>.
</ol>
Notación: <math>H \triangleleft G</math>.
}}

{{Ejmpl|Observaciones}}
<ol>
<li> Los subgrupos triviales de un grupo son subgrupos normales del grupo.

<li> En un grupo abeliano, todos los subgrupos son normales.

<li> Observemos que un grupo es normal, cuando los conjugados de sus elementos pertenecen al grupo.

<li> La relación de "ser subgrupo normal de" no es necesariamente transitiva. En efecto, es posible hallar subgrupos <math>H_1</math>, <math>H_2</math> y <math>H_3</math> de un grupo, tales que <math>H_1</math> es un subgrupo normal de <math>H_2</math> y <math>H_2</math> es un subgrupo normal de <math>H_3</math>, pero <math>H_1</math> no es un subgrupo normal de <math>H_3</math>.
<!-- (Ver más adelante, el ejemplo \ref{ejemRTR}). -->
</ol>
<hr>

=== Grupos Cocientes ===
<b>Proposición 4. (Cociente por un Grupo Normal)</b> <i>Sea G un grupo, H un subgrupo normal de G. Entonces, el conjunto de las clases laterales izquierdas (que coincide con el conjunto de las clases laterales derechas) tiene una estructura de grupo respecto a la operación definida por
<center><math>xH \cdot yH := xy H.</math></center>
</i>
Simbolizaremos a ese grupo por <math>G/H</math> y lo llamaremos el
<b>grupo cociente</b> de <math>G</math> por (el subgrupo) <math>H</math> o <b>G módulo H</b>. La función <math>x \mapsto xH</math> es un supramorfismo, al que llamaremos el <b>supramorfismo canónico</b>.
<ul><i>
Demostración: </i> La definición de normal garantiza que la operación definida en el enunciado está bien definida en el conjunto de las clases laterales. El neutro para la operación es la clase del neutro <math>H=eH</math>, ya que <math>eHxH=exH = xH =xeH =xHeH</math>. La asociatividad sigue de,
<center><math>xH(yHzH) = xH(yzH) = x(yz)H = (xy)zH = xyH zH =(xHyH)zH.</math></center>
Análogamente, <math>xHx^{-1}H=xx^{-1}H = eH = H = eH = (x^{-1}x)H = x^{-1}H xH</math>. Lo que prueba que la clase <math>x^{-1}H</math> es la inversa de la clase <math>xH</math>.
{{QED}} </ul>
<hr>

{{Ejmpl|Ejemplo}}
Sea <math>G = \Z</math> el grupo de los números enteros. Para cada entero <math>m</math>, los múltiplos de <math>m</math> determinan un subgrupo de <math>\Z</math> al que denotamos por <math>m\Z</math>. Como <math>\Z</math> es abeliano, cualquier subgrupo es normal. Por lo tanto, tenemos una estructura de grupo cociente en <math>\Z/m\Z</math> que coincide con la estructura de <math>\Z_m</math>.
En efecto, sigue del trabajo anterior que:
<center><math>x \sim_{m\Z} y \iff x - y \in m\Z \iff x \equiv_m y .</math></center>
<hr>

{{Ejmpl|Ejemplo}}
Sea <math>G = D_8 = \langle a,b: a^4=b^2, bab^{-1} = a^3 \rangle</math>. Sea <math>H = \angle a \rangle</math>. Entonces, <math>|H| = 4</math>. Como <math>|D_8| = 8,</math> tenemos que <math>[G:H] = 2</math>. Es decir que hay dos coclases (tanto por izquierda como por derecha). La coclase izquierda que no es igual a <math>H</math> es, por lo tanto, igual al complemento de <math>H</math>. Lo mismo pasa con la coclase derecha distinta de <math>H</math>. En consecuencia, las coclases izquierdas coinciden con la clase derecha, lo que implica que <math>H</math> es un subgrupo normal de <math>G</math>. <math>G/H</math> es un grupo cíclico.

Sea <math>K = \langle b \rangle</math>. Las clases izquierdas respecto a <math>K</math> son <math>\{e,b\} = K</math>, <math>aK = \{a, ab\}</math>, <math>a^2 = \{a^2, a^2b\}</math> y <math>a^3K = \{ a^3, a^3b\}</math>. Veamos ahora la clase derecha <math>Ka = \{a, ba\} = \{a, a^3b\} \neq aK</math>. Por lo que <math>K</math> no es normal en <math>G</math>.
<hr>

=== Núcleos son subgrupos normales ===
<b>Proposición 5. (Núcleos son Normales)</b> <i> Sea <math>f : G \rightarrow G'</math> un homomorfismo de grupos. Entonces, el núcleo del homomorfismo, es decir el subgrupo de <math>G</math> consistente de todos los elementos enviados por <math>f</math> en el neutro de <math>G'</math>, es un subgrupo normal de <math>G'</math>.</i>
<ul> <i>
Demostración: </i>Sabemos, por un resultado anterior, que el núcleo es un subgrupo de <math>G</math>. Sea <math>x</math> un elemento cualquiera de <math>G</math> y <math>k</math> un elemento del núcleo. Se tiene que:
<center><math>f(xkx^{-1}) = f(x)f(k)f(x^{-1}) = f(x)e'f(x)^{-1} = e'. </math> </center>
De donde, resulta que <math>xkx^{-1}</math> es un elemento del núcleo; Lo que nos dice que el núcleo es un subgrupo normal.
{{QED}} </ul>
<hr>

{{Ejmpl|Ejemplo}}
Sea <math>G=GL_2(\R)</math> el grupo de las matrices invertibles de tamaño <math>2 \times 2</math> y sea <math>SL_2(\R)</math> el subgrupo formado por todas las matrices con determinante 1. Como <math>SL_2(\R)</math> es el núcleo del determinante---que es un homomorfismo, se trata de un subgrupo normal de <math>GL_2(\R)</math> <hr>

=== El centro de un grupo es un subgrupo normal ===

<b>Proposición 6. </b> <i>El centro de un grupo es un subgrupo normal.</i>
<ul> <i>
Demostración: </i>Basta con recordar que cada elemento del centro es igual a sus conjugados. {{QED}} </ul>
<hr>

La siguiente proposición será útil en la clasificación de grupos.<br />

<b>Proposicion 7. </b> <i> Sea <math>N</math> un subgrupo del centro del grupo <math>G</math>. Si <math>G/N</math> es cíclico, entonces <math>G</math> es abeliano. </i>
<ul> <i>
Demostración: </i> Como <math>N < Z(G)</math>. tenemos que <math>N</math> es normal en <math>G</math>. Por lo que <math>G/N</math> está bien definido. Como <math>G/N</math> es cíclico hay un elemento <math>a</math> en <math>G</math> tal que <math>G/N = \langle aN \rangle = \langle Na \rangle</math>. Pero esto implica que <math>G = \langle a, N \rangle </math>. Así, que <math>G</math> es generado por un conjunto de elementos que conmutan entre si, por lo que <math>G</math> es abeliano.
{{QED}} </ul>
<hr>

=== Ejercicios ===

<ol>
<li> Hallar el orden de cada uno de los siguientes grupos cocientes. Para evitar complejidad de la escritura, en <math>\Z_m</math> los elementos están designados por sus representantes: <math>x</math> en lugar de <math>[x]</math>.

<ol type = "a" >
<li> <math>\Z_6/\langle e \rangle</math>.
<li> <math>(\Z_4 \times \Z_{12})/(\langle 2 \rangle  \rangle \times \langle 2 \rangle) </math>.
<li> <math>(\Z_3 \times \Z_6)/\langle (1,1)\rangle </math>.
<li> <math>\Z_2 \times S_3/\langle (1,a) \rangle </math>.
</ol>

<li> Hallar lo indicado
    <ol type = "a">
    <li> <math>\ker(\varphi)</math>, cuando <math>\varphi:\Z \longrightarrow \Z</math> tal que <math>\varphi(1)= 5</math>.
    <li> <math>\ker(\varphi)</math> y <math>\varphi(25)</math>, cuando <math>\varphi:\Z \longrightarrow \Z_12</math> y <math>\varphi(1) = 6</math>.

    <li> <math>\ker(\varphi)</math> y <math>\varphi(10,20)</math>, cuando <math>\varphi:\Z \times Z \longrightarrow Z</math>, <math>\varphi(1,0) = 5</math> y <math>\varphi(0,1) = -1</math>.


    <li> <math>\ker(\varphi)</math> y <math>\varphi(10)</math>, cuando <math>\varphi:\Z \longrightarrow S_6</math> y <math>\varphi(1) = (1\,2)(4 \, 6 \, 5)</math>.
</ol>

<li> ¿Cuántos homomorfismos hay de <math>\Z</math> en <math>\Z</math>?

<li> ¿Cuántos monomorfismos hay de <math>\Z</math> en <math>\Z</math>?

<li> ¿Cuántos isomorfismos hay de <math>\Z</math> en <math>\Z</math>?


<li> Hallar, si existe, un homomorfismo no trivial entre los grupos. indicados. Si no existe, explicar por qué no existe.

<table>
<tr>
<td width = 5 %> a.
<td width=55%> <math>\Z_2 \longrightarrow \Z_4</math>.
<td width = 5 %> b.
<td width = 35 %><math>\Z_2 \longrightarrow \Z_5. </math>.
</tr>


<tr>
<td width = 5 %> c.
<td width=35%> <math>\Z_{12} \longrightarrow \Z_4 </math>.
<td width = 5 %> d.
<td width = 35 %><math>\Z_{12} \longrightarrow \Z_5 </math>.
</tr>

<tr>
<td width = 5 %> e.
<td width=35%> <math>\Z \longrightarrow S_3. </math>.
<td width = 5 %> f. <td width = 35 %><math>\Z \longrightarrow  D_8. </math>.
</tr>

<tr>
<td width = 5 %> g.
<td width=35%> <math>Z \times Z \longrightarrow 2\Z . </math>.
<td width = 5 %> h.
<td width = 35 %><math>2\Z \longrightarrow \Z \times \Z . </math>.
</tr>

<tr>
<td width = 5 %> i.
<td width=35%> <math>S_3 \longrightarrow S_4 . </math>.
<td width = 5 %> j.
<td width = 35 %><math>C_{25} \longrightarrow C_{30}. </math>.
</tr>
</table>
<li> Sea <math>G = C_6</math>. el grupo cíclico con generador <math>a</math>. Sea <math>H = <a^2></math>. Explicar por qué <math>H</math> es normal en <math>G</math> y describir la estructura de <math>G/H</math>.

<li> Sea <math>G =C_{12} = \langle a \rangle</math> el grupo cíclico de orden 12 con generador <math>a</math>.
    <ol type = "a">
    <li> Sea <math>H= \langle a^4 \rangle</math>. Describir el grupo cociente <i>G/H</i>.
    <li> Sea <math>H= \langle a^5\rangle</math>. Describir el grupo cociente <i>G/H</i>.
    </ol>

<li> Sea <math>G= D_6</math> el grupo de las simetrías de un triángulo equilátero.
    <ol type = "a">
    <li> Sea <i>H</i> el subgrupo de las rotaciones. Verificar que <i>H</i> es un subgrupo normal de <i>G</i>.
    <li> Sea <i>K</i> el subgrupo generado por una de las reflexiones. Verificar que <i>K</i> no es normal en <i>G</i>.  (Hallar las coclases izquierdas y derechas de cada elemento del grupo).
</ol>

<li> Probar que las condiciones en la definición de grupo normal son, efectivamente, equivalentes.

<li> Sea <math>G</math> un grupo y <math>H={e}</math>. Probar que <math>G/H></math> es isomorfo con <math>G</math>.

<li> Sea <math>G</math> un grupo y <math>H</math> un subgrupo de <math>G</math> tal que <math>[G:H] = 2</math>. Probar que siempre <math>H</math> es normal en <math>G</math> y describir la estructura de <math>G/H</math>.

<li> Probar que la intersección de dos subgrupos normales es un subgrupo normal.

<li> Sea <math>f: G --> H</math> un homomorfismo. Para todo subgrupo normal <math>N</math> de <math>f(G)</math> se cumple que la imagen inversa por <math>f</math> de <math>N</math> es normal en <math>G</math>.
(<math> f^{-1}(N) = \{x\in G: f(x) \in N\}</math>).

<li> Probar que el cociente de un grupo cíclico es un grupo cíclico.
    ¿Será cierto que si un grupo es tal que todos sus grupos cocientes por subgrupos propios son cíclicos, entonces el grupo es cíclico?

<li> Probar que el cociente de un grupo abeliano es abeliano.

<li> Probar que el cociente de un grupo cíclico es abeliano.

<li> El conjunto cociente <math>\R/\Z</math> se puede identificar con el intervalo <math>[0,1)</math>, ya que cada clase lateral contiene un único representante en ese conjunto. Como <math>\R</math> es abeliano, cualquier subgrupo es normal. Por lo tanto, <math>\R/\Z = [0,1)</math> es un grupo (abeliano). ¿Cuál es la operación del grupo, tal que <math>y \mapsto [y]</math> es un homomorfismo de grupos, donde [y] se identifica con su representante único en [0,1)? (Sugerencia: Probar que la función <math>u : [0,1) \longrightarrow \Complex</math> tal que
<center><math>u(t) =e^{2\pi i\, t} = \cos(2\pi t) + i\textrm{sen}(2\pi t)</math></center> es biyectiva y su imagen es el subgrupo de complejos cuyo módulo es 1.)
</ol>

== Productos de Grupos y Subgrupos ==

Aplicaremos la noción de grupo normal para el estudio de producto de grupos y subgrupos.

=== Estructura de un Producto de Grupos ===
Sean <math>G,H,K</math> grupos tales que <math>G = H \times K</math> con la estructura canónica de operación por componentes.
Sea <math>i_H:H \longrightarrow G</math> tal que <math>i_H(h) = (h,e_K)</math>. Como
{{Eqn|<math>i_H(xy) = (xy,e_K) =(x,e_k)(y,e_k) = i_h(x) \cdot i_h(y),</math>}}
tenemos que <math>i_H</math> es un homomorfismo de grupos que es, obviamnete, inyectivo. Por lo que <math>H</math> es isomorfo con su imagen <math>H' = \{(x,e_K): x \in H\}</math>.

Análogamente, podemos definir un monomorfismo <math>i_K</math> de <math>K</math> en <math>G</math> con imagen  <math>K' = \{(e_H,y): y \in K\} \cong K</math>.

Luego, <math>G</math> es un producto directo de sus subgrupos <math>H'</math> y <math>K'</math>, de acuerdo a la definición en el capítulo de [[Álgebra/Álgebra Abstracta (Primer Curso)/Contenidos/Grupos Generados|Grupos Generados]].

Sea <math>pr_H: G \longrightarrow H::(x,y) \mapsto x</math>. Claramente, <math>pr_H</math> es un supramorfismo cuyo núcleo es precisamente <math>K'</math> lo que muestra que <math>K'</math> es un subgrupo normal de <math>G</math>. Análogamente, se verifica que <math>H'</math> es normal en <math>G</math>.
Si <math>(x,y)</math> esta en <math>H' \cap K'</math>, tenemos que <math>x=e_H</math> y <math>y=e_K</math>, o sea que esos subgrupos solamentge tienen en común el elemento neutro.
Resumiremos la discusión anterior en la siguiente proposición.

</b>Proposición 8.</b> <i>
Sea <math>G = H \times K</math>. Entonces, <math>G</math> es producto directo de dos subgrupos normales <math>H'</math> y <math>K'</math> de <math>G</math> que tienen en común solamente al elemento neutro y que son isomorfos a <math>H</math> y <math>K</math> respectivamente. </i>



=== Conjuntos Productos que son Grupos ===
En el capítulo [[../Grupos Generados#Operaciones con Subconjuntos|Los Grupos Generados]], definimos el producto <math>AB</math> de dos subconjuntos <math>A</math> y <math>B</math> de un grupo como el conjunto formado por todos los posibles productos con un primer factor en <math>A</math> y su segundo factor en <math>B</math>. Vimos, también, que aunque <math>A</math> y <math>B</math> fueran subgrupos, su producto no tiene por que ser un subgrupo de <math>G</math>.

A continuación, veremos qué pasa cuando uno de ellos o ambos son normales en <math>G</math>.

<b>Proposición 9.</b> <i>
Sean <math>H</math>, <math>K</math> subgrupos de <math>G</math> y sea <math>P=HK</math>.
<ol type = "a">
<li> Si <math>H \triangleleft G</math> entonces <math>P=HK</math> es un subgrupo de <math>G</math>,
<li> Si <math>H</math> y <math>K</math> son normales, <math>P</math> es un subgrupo normal de <math>G</math>.
<li> En ambos casos, si <math>H \cap K = \{e\}</math>, entonces la representación de cada elemento de <math>HK</math> de la forma <math>hk</math> <math>h \in H</math> y <math>k</math> en <math>K</math>. es única.
</ol></i>
<ul><i>
Demostración: </i>
<ol type = "a">
<li> Sean <math>xy</math>, <math>zw</math> elementos de <math>HK</math> tales que <math>x</math>, <math>z</math> están en <math>H</math> y <math>y</math>, <math>w</math> están en <math>K</math>. Entonces,
{{Eqn|<math> (xy)(zw) = xyzw = xyzy^{-1}yw = (xyzy^{-1})(yw), </math>}}
Como <math>H</math> es normal en <math>G</math>, <math>yzy^{-1}</math> está en <math>H</math>. por lo que <math>x yxy^{-1}</math> es un elemento de <math>H</math>. Luego, <math>(xy)(zw)</math> es un elemento de <math>P=HK</math> que es, por lo tanto, cerrado respecto a la operación. Probaremos, ahora, que <math>P</math> es cerrado respecto a a tomar inversos.
{{Eqn|<math>(xy)^{-1} =y^{-1}x^{-1} = y^{-1}xyy^{-1} \in HK.</math>}}
Luego, <math>HK < G</math>.

<li> Sea <math>g</math> un elemento cualquiera de <math>G</math> y sea <math>z=xy</math> en <math>P</math>, con <math>x</math> en <math>H</math> y <math>y</math> en <math>K</math>. Entonces,
{{Eqn|<math>gzg^{-1} = gxyg^{-1} = gxg^{-1}gkg^{-1} \in HK= P.</math>}}
Luego, <math>P \triangleleft G</math>.

<li> Supongamos que <math>H \cap K = \{e\}</math> Si <math>h_1k_1=h_2k_2</math> entonces
{{Eqn|<math> h_2^{-1}h_1 = k_2k_1^{-1}.</math>|*}}
Como el elemento de la izquierda en (*) está en <math>H</math>. mientras que aquel de la derecha está en <math>K</math>, tenemos que cada uno de ellos debe ser igual al neutro <math>e</math>, de donde, <math>h_1=h_2</math> y <math>k_1=k_2</math>. </ol>
{{QED}} </ul>
<hr>

<b>Proposición 10. (Producto Interno de Subgrupos Normales</b>)<!--- \label{propInternoNormales} -->
<i>Sean <math>H</math> y <math>K</math> subgrupos normales de un grupo <math>G</math> tales que <math>G</math> es generado por <math>H</math> y <math>K</math> (o sea que <math>G = <H,K></math>),
<ol type = "a">
<li> <math>G = HK</math>.
<li> Si la intersección <math>H \cap K </math> es el subgrupo trivial {e}. Entonces,
 <math>G = H \times K</math> (producto directo de <math>H</math> y <math>K</math>).
 </ol> </i>
<ul><i>
Demostración: </i>
<ol type = "a">
<li> Por la proposición, <math>HK</math> es un subgrupo de <math>G</math>, que como genera a <math>G</math> debe ser igual a <math>G</math>.

<li> Probaremos, que los elementos de <math>H</math> conmutan con los elementos de <math>K</math>. En efecto, sea <math>z = hk(kh)^{-1} = hkh^{-1}k^{-1} = (hkh^{-1})k^{-1} </math>. Por la normalidad de <math>K</math>, <math>z</math> es el porducro de dos elementos de <math>K</math>, por lo que está en <math>K</math>. Como también <math>z = h(kh^{-1}k^{-1})</math>, concluimos que <math>z</math> está en <math>H</math>. Como el único elemento común a <math>H</math> y <math>K</math> es el neutro, concluimos que <math>z=e</math>. Es decir que <math>hk(kh)^{-1}= e</math>, lo que es equivalente a <math>hk= kh</math>.

Sea <math>f: H  x K \longrightarrow HK= G</math> tal que <math>f(h,k) = hk</math>. Entonces.
{{Eqn|<math>f((h,k)(h',k')) = f(hh', kk') = hh'kk'= hkh'k'= f(h,k)f(h',k'), </math>}}
por lo que <math>f</math> es un homomorfismo. Por la parte a) tenemos que <math>f</math> es suprayectiva. Por la unicidad de la escritura del producto, <math>hk =e</math>, ssi, <math>h=e=e_H</math> y <math>k=e=e_K</math>. Por lo que <math>f</math> es un isomorfismo.
</ol>
{{QED}} </ul>
<hr>

</b>Observación.</b>
En el capítulo  [[../Grupos#Producto de Grupos|Los Grupos]], vimos en una proposición condiciones necesarias y suficientes para que un grupo fuera producto interno de dos de sus subgrupos. En esa proposición se requería que los elementos de <math>H</math> conmutaran con los elementos de <math>K</math> ; dicha exigencia se reemplazó en la proposición por la normalidad de los subgrupos. En la demostración anterior, no invocamos la proposición citada. Si se invocará, la demostración se simplificarla. Queda al cuidado del lector hacerlo.
<hr>

{{Ejmpl|Ejemplo}}
Sea <math>G = S_3  = \langle a,b: a^3=b^2=e, bab^{-1} = a^2 \rangle</math> y sean <math>H= <a></math> y, <math>K = </math>.

Claramente, <math>G = HK</math>, pero <math>G \ncong H \times K</math>, ya que implicaría que sería cíclico. Notemos que <math>K</math> no es normal en <math>G</math>.
<hr>

=== Ejercicios ===
<ol>
<li> Probar que el producto de dos grupos abelianos es un grupo abeliano.

<li> Sea <math>G</math> un grupo abeliano tal que <math>|G| = pq</math> donde <math>p</math> y <math>q</math> son números primos diferentes. Probar que hay elementos <math>x</math>, <math>y</math> tales que <math>o(x) = p</math>, <math>o(y) = q</math> y que <math>G \cong C_p \times C_q</math>. Por lo que el grupo es ciclico.

<li> Construir un tabla de <math>\varphi(n)</math> para <math>20 \le n \le40</math>.

<!-- \label{exGenProd} -->
<li> (Generalización del teorema del producto) Sea <math>G</math> un grupo y sea <math>(N_i)_{1=1}^m</math> una familia de subgrupos tales que
    <ol type = "i">
    <li> Cada <math>N_i</math> es normal en <math>G</math>, <math>i=1,\dots,m</math>.
    <li> <math>G</math> es generado por la reunión de los <math>N_i</math>, <math>G= \langle N_1, \dots , \N_m \rangle</math>.
    <li> Para todo <math>i \neq j</math>, <math>N_i \cap N_j = \{e\},\quad 1 \le i,j \le m</math>.
    </ol>
Entonces, <math>G \cong N_1 \times N_2 \times \dots \times N_m</math>.
</ol>

== Ejercicios del Capítulo ==

<ol>
<li> ¿Por qué en un grupo abeliano, todos los subgrupos son normales?

<li> Los subgrupos de índice 2 de un grupo son normales, ¿qué se puede decir de aquellos de índice 3?

<li> Sea <math>\nu: G  \rightarrow G/N</math>. Sea <math>\overline{H}</math> un subgrupo de <math>G/N</math>. Probar que <math>\nu^{-1}(\overline{H})</math> (la imagen inversa de <math>\overline{H}</math> por <math>\nu</math> ) es un subgrupo de <math>G</math> que contiene a <math>N</math>.

<li> Sea <math>g</math> en <math>G= S_3</math> el 3--ciclo <math>(1 3 2)</math>. Sea <math>H = <g></math>. Probar que <math>H</math> es normal en <math>S_3</math>.

<li> Probar que cualquier subgrupo normal <math>N</math> de un grupo <math>G</math> es una reunión de clases de conjugación disjuntas. Buscar un ejemplo de un grupo no normal que no es reunión de clases disjuntas.

<li> Probar que si H es normal en G, y K es un subgrupo de G que contiene a H, entonces H es normal en K.

<li> Buscar un ejemplo de grupo <math>G</math> con subgrupos <math>H</math> y <math>K</math> tales que K es normal en H, H es normal en K, pero K no es normal en G.

<li> Sea <math>f: G \longrightarrow  H</math> un supramorfismo. Probar que <math>H</math> es un grupo abeliano, ssi, para todo <math>x,y</math> de <math>G</math>, <math>xyx^{-1}y^{-1}</math> es un elemento del núcleo del homomorfismo.

<li> Sea <math>G = <a,b: a^4=e, b^4=e, a^2=b^2, bab^{-1} = a^3></math> (Grupo Cuaterniónico). Probar que
    <ol type = "a">
    <li>  <math>G = \{ b^k, ab^k; k=0,1,2,3\}</math>.
    <li>  <math>G</math> no es abeliano.
    <li> Cada subgrupo de <i>G</i> es normal.
</ol>

<li> Sea <math>G</math> un grupo y <math>H</math> un subgrupo de <math>G</math>. Llamamos <b>normalizador</b> en <math>G</math> de <math>H</math> al conjunto <math>N_G(H)</math> formados por todos los <math>g</math> de <math>G</math> tales que <math>gHg^{-1} = H</math>. Probar las siguientes afirmaciones,
    <ol type = "a">
    <li>  H es un subgrupo normal en su normalizador.
    <li> Si H es normal en un subgrupo K de G, K es un subgrupo del <br />normalizador de H.
    <li>  H es normal en G. ssi, <math>N_G(H) = G</math>.
</ol>

<li> Sea <math>G = H x K</math>. Probar que <math>H x {e}</math> y <math>{e} x K</math> son subgrupos normales de <math>G</math>.

<li> Considerar a <math>\Z</math> como subgrupo del grupo aditivo de los Racionales. Sea <math>[q]</math> la clase del racional <math>q</math> en <math>\Q/\Z</math>.
    <ol type = "a">
    <li> Probar que <math>[11/4]</math> es un elemento de orden 4 en <math>\Q/\Z</math>.
    <li> Hallar el orden de <math>[m/n]</math> cuando <i>m</i> y <i>n</i> son enteros relativamente primos entre si.
    <li> Concluir que <math>\Q/\Z</math> es un grupo infinito cuyos elementos todos tienen orden finito y que hay elementos cuyo orden es arbitrariamente grande.
</ol>

<li> El grupo lineal especial <math>SL_2(\R)</math> es un subgrupo normal del grupo lineal <math>GL_2(\R)</math>.
Determinar el grupo <math>GL_2(\R)/SL_2(\R)</math>.

<li> Probar que <math>L := \{(x,y): y = mx \}</math> es un subgrupo aditivo de <math>\R^2</math>. En una sección anterior, pedimos (para el caso m=3) identificar geométricamente las clases laterales de L en <math>\R^2</math>.
¿Cómo podemos visualizar al grupo cociente <math>\R^2/L</math>? ¿Cómo podemos identificar algebraicamente a ese grupo? (Sugerencia. Probar que cada clase lateral contiene exactamente un punto del eje Y.)

<li> La intersección de subgrupos normales es un subgrupo normal.

<li> Sea <math>S</math> un subconjunto de un grupo <math>G</math>. Probar que la intersección de todos los subgrupos normales que contienen a <math>S</math> es un subgrupo normal, caracterizado por ser el menor (respecto a la inclusión) de tales subgrupos.
Usar lo anterior, para probar que el subgrupo derivado (el subgrupo generado por los conmutadores) es normal.

<li> Cuando un grupo finito tienen exactamente un subgrupo de cierto orden, dicho subgrupo es normal.

<li> Sea <math>H \triangleleft G</math> con índice <math>m =[G:H]</math>. Probar que para todo <math>a</math> en <math>G</math> se cumple que <math>a^m</math> está en <math>H</math>.

<li> Los automorfismos internos forman una subgrupo normal del grupo de automorfismos de un grupo.

<li> Sean <math>H</math> y <math>N</math> subgrupos de <math>G</math> con <math>N</math> normal. Probar que <math>H \cap N</math> es normal en <math>H</math>. Buscar un ejemplo que muestre que no necesariamente <math>H \cap N</math> es normal en <math>G</math>.

<li> Suponer que el grupo <math>G</math> tiene un subgrupo de orden <math>m</math>. Sea <math>H</math> la intersección de todos los subgrupos de orden <math>m</math> del grupo. Probar que <math>H</math> es un subgrupo normal.

<li> Sea <math>f:G \longrightarrow H</math> un homomorfismo de grupos.
        <ol type = "a">
        <li> Si <math>N</math> es un subgrupo normal de G, <math>f(N)</math>
        es normal en <math>f(G)</math>.
        <li> Si <math>N'</math> es un grupo normal de <math>G
 </math>, <math>f^{-1}(N')</math> es normal en <math>G</math>.
</ol>

<li> Si <math>G</math> no es abeliano, entonces, <math>G/Z(G)</math> no puede ser cíclico.

<li> Un grupo no abeliano <math>G</math> de orden <math>pq</math>, <math>p</math> y <math>q</math> primos, tiene centro trivial.


<li> (Grupos con torsión.) Un grupo con torsion es un grupo con elementos de orden finito diferentes del neutro. Un grupo es libre de torsión cuando no tiene elementos diferentes del neutro con orden finito. Un grupo es un grupo de torsión, ssi, todos sus elementos tiene orden finito.
<ol type ="a">
<li> Dar un ejemplo de un grupo que es libre de tprsión.
<li> Dar un ejemplo de un grupo de torsión.
<li> Dar un ejemplo de un grupo con torsión, oero que no es de torsión.
<li> Cada grupo abeliano contiene un subgrupo de torsión. Dicho subgrupo es normal y el correspondiente grupo cociente es libre de torsión.
</ol>
</ol>

== Comentarios ==

<ul>
<li> <b>Conjunto cociente</b>. Una relación de equivalencia <math>\sim</math> en un conjunto X define una partición de X y cada partición de X define una relación de equivalencia en X. Una partición de X, recordemos, es una familia <math>X_i, i \in I</math> de subconjuntos de X, disjuntos entre si y cuya reunión es todo X. El conjunto cociente de X por la relación <math>\sim</math> es el conjunto denotado por <math>X/\sim</math> ("X módulo <math>\sim</math>") definido como el conjunto formado por las clases de equivalencias de <math>\sim</math>, o sea los subconjuntos que forman la partición de X.

La construcción de un conjunto cociente esbozada arriba es una de las construcciones más importantes de matemáticas. Representa una abstracción de algunas propiedad de los elementos del conjunto X. Una abstracción es siempre poner el foco en algo y olvidarnos del resto. Por ejemplo, cuando trabajamos con la congruencias módulo 5, estamos interesados solamente en los residuos obtenidos al dividir por 5. Por lo que, si nos olvidamos del resto, dos números lucen lo mismo, cuando su residuo al dividir por cinco son iguales. Esta es precisamente lo que establece la definición de congruencia módulo 5. Por lo que las clases de equivalencia son cinco, una por cada residuo posible.

<li> <b>Subgrupos Normales</b>. Hay una definición alterna para subgrupos normales que descansa en la noción de partición. Sea G un grupo y <math>(X_i)</math> una familia de subconjuntos de <math>X</math>. Sea <math>G' </math> el conjunto cuyos elementos son los <math>X_i</math>'s. Cuando la operación de <math>G</math> extendida a subconjuntos provee a <math>G'</math> con una estructura de grupo, entonces se cumple que
<ol type="i">
<li> El elemento de la partición que sirve de neutro es un subgrupo H de G.
<li> Los grupos G/H y G' son isomorfos.
</ol>
Se define grupo normal a un grupo construido de esta manera. En nuestra terminología, esto quiere decir que un subgrupo es normal, ssi, es el núcleo de un homomorfismo.

Ver una exposición basada en esta aproximación en la página [[w:Grupo cociente|Grupo cociente]] de Wipedia.

<li> <b>Teorema de Euler</b>. El teorema de Euler tiene, aparte de sus aplicaciones a la teoría de los grupos cíclicos, muchas otras aplicaciones. Ver por ejemplo Childs <ref>[[../Bibliografía|(BB) Lindsay Childs.]] </ref>, Lauritzen <ref>[[../Bibliografía|(BB) Niels Lauritzen.]] </ref> y la página [[w:Pequeño teorema de Fermat|Pequeño teorema de Fermat]] para aplicaciones a criptografía y a algoritmos de Álgebra Computational (Programas de computadoras para hacer álgebra de manera simbólica)

Alguna información adicional se puede hallar en la página de Wikipedia:
[[w:Teorema de Euler|Teorema de Euler]].
</ul>

== Notas ==
{{Listaref}}

<!--- abc -->
<!-- 06-05-2015* -->