Álgebra Abstracta/Teoremas de Cardinalidad

← Clasificación de Grupos Teoremas de Cardinalidad Acciones de Grupos →
Álgebra Abstracta



Introducción

editar

Los teoremas de cardinalidad son aquellos teoremas que establecen relaciones referentes a cantidad de elementos o subgrupos con una cierta propiedad. Con anterioridad, hemos visto dos instancias de este clase de resultados: el teorema de Lagrange y el teorema acerca de la cardinalidad del conjunto producto de dos subgrupos. Los resultados principales que veremos en este capítulo serán la ecuación de clases--una relación acerca de la clases de conjugación, el teorema de Cauchy estableciendo la existencia de elementos de cierto orden y el (primer) teorema de Sylow estableciendo la existencia de subgrupos de cierto orden.

La Ecuación de Clases

editar

Vimos, anteriormente, que la relación de conjugación es una relación de equivalencia en un grupo, por lo que particiona al grupo en clases disjuntas de equivalencias, llamadas clases de conjugación del grupo. La clase de conjugación de un elemento  , denotada  , está formada por todos los elementos conjugados a  , es decir que

 

donde  . Sea   un conjunto de representantes de las clases de conjugación, es decir que   consiste de un elemento de cada una de las clases de conjugación. Dos elementos diferentes de   corresponden a dos clases diferentes. Como la reunión de las clases de conjugación es todo   y como las clases son disjuntas, tenemos que la cantidad de elementos de   es igual a la suma de los elementos en cada clase, o sea que

  (*


Nos referiremos a esa relación como la ecuación de las clases de conjugación. del grupo  .

Hay una variación de la ecuación de clases de conjugación que resultará muy útil para futuros resultados, basada en que la cardinalidad de cada clase de equivalencia es igual al índice de un cierto subgrupo. Empezaremos nuestro trabajo introduciendo la noción de centralizador de un elemento.

Definición. (Centralizador) Sea   un grupo y   un elemento de  . Llamamos centralizador en   de   al subconjunto de   denotado por  , o  ---cuando queremos mencionar el grupo---y que está definido como

 


Observemos que   esta en  , ssi,  , ssi,  , ssi,  . Es decir que los elementos del centralizador de   son aquellos   tales que el conjugado por   de   es igual a  . Por lo que   es un elemento de su centralizador.

Proposición 1. El centralizador de un elemento de un grupo es un subgrupo del grupo.

    Demostración: Sea   un grupo y   el centralizador de   en  . El elemento neutro, claramente, está en  . Sean  ,   elementos de  . Tenemos que  , lo que muestras que   es cerrado respecto a la operación del grupo. Además,
     

    Lo que concluye la demostración.


Nos interesa considerar el conjunto cociente   (que, en general, no será un grupo, pues   no siempre es normal). Sean   y   tales que   está en la coclase  , es decir   para algún   en  . Entonces,

 

Es decir que dos elementos de la misma coclase respecto a   producen el mismo conjugado de  .

Veamos el resultado recíproco. Sean  ,   tales que  . Como,

 

Por lo que   está en  , o sea que  .

Por lo que, elementos de diferentes clases de conjugación de   corresponden a diferentes coclases respecto a  . Es decir que tenemos el siguiente resultado.

Proposición 2. Sea   un grupo y   un elemento del grupo. La cantidad de conjugados de   es igual a la cantidad de coclases del centralizador de  , o sea al índice  .

 

Corolario 2.1. El cardinal de una clase de conjugación es un divisor del orden del grupo.


Usaremos el resultado de la proposición para reescribir la ecuación de clases de conjugación vista arriba. Recordemos que cada elemento del centro de un grupo ( ) es el único elemento de su clase de conjugación. Por lo que usando el resultado de la proposición anterior, y reagrupando todos los elementos del centro tendremos que la ecuación de las clases de conjugación del grupo puede presentarse como sigue. (Donde   es un conjunto de representantes de las clases de conjugación.)

Ecuación de Clases}
 

Llamamos a esta ecuación, la ecuación de clases del grupo  .
Algunos autores llaman ecuación de clases a lo que arriba hemos denominado ecuación de clases de conjugación.
Otra demosración de esta ecuación se puede obtener mediante la teoría de G-conjuntos que estudiaremos en el próximo capítulo.


Proposición 3. Sea   un  --grupo, es decir un grupo cuyo orden es una potencia de  ,   primo. Entonces, el centro de   no es trivial.

    Demostración: Probaremos que  .
    Como   es un  --grupo, tenemos que cualquier elemento o subgrupo de   tiene un orden que es una potencia de  . Igualmente, el índice de cualquier subgrupo es una potencia de  . En particular, para cualquier elemento   de   tenemos que   es una potencia de  . Consideremos la ecuación de clases
     

    Tenemos que   divide a   y a cada sumando en la sumatoria, por lo tanto,   divide el orden de  .



Corolario 3.1. Un grupo cuyo orden es  ,   primo, es un grupo abeliano.

    Demostración: Sabemos por la proposición que  ,   o  .
    • Si   entonces   y  . Sigue de la proposición \ref{prop090404} que   es abeliano.
    • Si   entonces  , por lo que   es abeliano.


Teoremas de Cauchy y Sylow

editar

Anteriormente, afirmamos que no siempre era cierto que para cada divisor del orden de un grupo haya un subgrupo que tenga como orden ese divisor (ver ejemplo más adelante). Sin embargo, por el lado positivo tenemos dos importantes resultados, el teorema de Cauchy [1] y el (primer) teorema de Sylow [2].

Teorema. (Cauchy) Sea   un factor primo del orden de un grupo. Entonces, hay al menos un subgrupo de orden   en  .

Teorema. (Primer teorema de Sylow) Sea   un factor primo del orden de un grupo y sea  ,  , un divisor del orden del grupo. Entonces, hay al menos un subgrupo de orden   en  .

Definición. ( --Sylow subgrupo) Sea   un grupo y   un número primo.

Llamamos  --Sylow subgrupo de   al subgrupo de orden  . tal que   es la máxima potencia de   que divide el orden de  .


Notemos que del teorema de Sylow sigue la existencia de un  --Sylow subgrupo de cualquier grupo con   un divisor del orden de  . Cuando  , el subgrupo trivial   es el  --Sylow subgrupo de  .

Como aplicaciones de los teoremas anteriores tendríamos, por ejemplo, las siguientes afirmaciones.

  • Un grupo de orden 6 tiene al menos un grupo de orden 3 y uno de orden 2.
  • Un grupo de orden 12 tiene subgrupos de orden 2, 3 y 4.
  • Un grupo de orden 15 tiene subgrupos de orden 3 y 5.
    (Demostración del teorema de Cauchy)
    (Caso Abeliano.) Sea   un grupo abeliano cuyo orden   es divisible por el primo  . Sabemos por ejemplos anteriores, que el resultado de la proposición es válido cuando  . Razonando por inducción, supondremos el resultado válido para grupos de orden inferior a  . Sea   un elemento del grupo con  . Si   tenemos que   es un elemento con orden  . Supongamos, entonces, que   y consideremos el subgrupo   que tiene orden   que es por el teorema de Lagrange un divisor de  . Como  ,   no puede ser igual a   por lo que   es un divisor propio de  , y lo mismo pasa con el índice  . Luego,  . Como  , pero  , tenemos que  . Como  , aplicando la hipótesis de inducción, tenemos que hay un elemento   de orden   en  . Sea   tal que  , entonces   implica que   es un elemento de  , digamos que  . Sea  , como  , tenemos que  . Entonces,
     

    En consecuencia, tenemos que   es igual a 1 o a  . Si  , se tendría que  . Como el orden de   es  , lo anterior,implicaría que  , lo que es imposible, luego, el orden de   es  . Lo que acaba la demostración del caso abeliano.

    (Caso no abeliano.) Sea   un grupo no abeliano tal que el orden   de   es divisible por  . Sabemos que el resultado es válido para  , el menor grupo no abeliano es  . Supongamos el resultado válido para todos los grupos con orden inferior a  . Consideremos la ecuación de clases de  ,

     

    Si   divide el orden de alguno de los  , por inducción, este subgrupo propio de   contendrá un elemento de orden  , que será un elemento de orden   de  .

    En caso contrario, como   divide al orden de  ,   será un factor de  , para todo   en  . Como   divide a  , sigue de la ecuación de clases que   divide el orden de  , Como   es abeliano, sigue del caso anterior, que hay un elemento de orden   en   y, por lo tanto, en  .


    (Demostración del teorema de Sylow.) Sea   un grupo con orden   donde   es primo y  . La demostración será por inducción sobre el orden del grupo. Sigue de los ejemplos, que el teorema es válido para grupos con ordenes pequeños. Analicemos la ecuación de clase para el grupo
     

    Supongamos que   no divide uno de los índices   que aparecen en la ecuación. Entonces,   debe dividir el orden de   que, por no estar   en el centro del grupo, es un subgrupo propio de  . Se tiene, entonces, por inducción, que   contiene un subgrupo de orden  , por lo que   contiene un subgrupo de orden  .

    En caso contrario, se tiene que   divide el orden del centro. Sea   cualquier elemento de orden   en   (que siempre hay por el teorema de Cauchy) y consideremos al grupo cociente  , cuyo orden es  . Nuevamente, por inducción, tenemos al existencia de un subgrupo   de   de orden  , Sea   la preimagen de   por el supramorfismo canónico que envía cada elemento de   en su coclase respecto a  .   es un subgrupo de   y su orden es  .


Observación. Hablamos de primer teorema de Sylow, porque hay otros que teoremas que establecen entre otras cosas que todos los  --Sylow subgrupos (puede haber varios) son conjugados entre sí, que la cantidad de tales subgrupos es un divisor del orden del grupo, que dicha cantidad es congruente con 1 módulo   y que cada subgrupo de orden una potencia de   está contenido en exactamente un  --Sylow subgrupo. Tales resultados son muy útiles para la clasificación de subgrupos finitos. Sin embargo, exceden los propósitos de este texto. Ver los comentarios al final del capítulo.


Ejemplo

editar

El ejemplo de esta sección nos servirá para ilustrar que la relación de ser subgrupo normal no es transitiva y que puede haber grupos tales que no hay un subgrupo cuyo orden sea un divisor dado del grupo.

 

Rotaciones del tetraedro regular.

Consideremos al tetraedro regular con vértices llamados 1, 2, 3 y 4. Consideraremos, inicialmente, rotaciones por 120 grados alrededor de un eje que pasa por uno de los vértices y el centro de la cara opuesta, Dichas rotaciones fijan uno de los vértices y permutan los otros tres, por lo que las indicaremos como permutaciones de  , es decir permutaciones de  .

Sean

 

Sea  . Notemos que cada una de las rotaciones anteriores tiene orden 3. Además son distintas entre si, al igual que sus cuadrados (notar que dejan fijo un vértice distinto). Notemos que el conjunto producto de   y   tiene 9 elementos. Por lo que el orden de   será 12 o 24---los únicos divisores de 24 mayores o iguales a 9. Notemos que la permutación   de   no puede pertenecer a   ya que representa una transformación imposible para un tetraedro rígido. Por lo que  .

Notemos que sigue del razonamiento anterior que cualquier par de esas rotaciones genera a todo el grupo. Sean  ,   y  . Entonces, todos ellos son elementos de orden 2, ya que

  •  .
  •  .
  •  

Aplicando el teorema de Sylow a   cuyo orden 12 es igual a   vemos que   debe tener subgrupos de ordenes  ,   y  . Subgrupos de orden   son obviamente  ,   y  . El  --Sylow subgrupo de   tiene cuatro elementos, por lo que no puede contener ninguna de las rotaciones, por lo que debe ser  . Notemos que como cada elemento de   es su propio inverso, por lo que   es isomorfo al grupo de Klein. Observemos que  , por lo que  .

Todos los elementos fuera de   tienen orden 3, por lo que los conjugados de elementos de   serán elementos de   y   es por lo tanto normal en  . Hay cuatro 3--Sylow subgrupos:  ,  ,   y  . Se puede verificar que ninguno de ellos es normal en  .

Usaremos el grupo   para ilustrar dos situaciones interesantes. Sea  . Como   se tiene que   es un subgrupo de   y, en consecuencia, de  . Como subgrupo de   es normal en  , ya que   es abeliano. Computando un conjugado,

 

vemos que   no es normal en  . Es decir que la relación de ser normal no es transitiva.

Se tiene que 6 es un divisor del orden de  . ¿Hay algún subgrupo de orden 6 en  ? Supongamos que   fuera un subgrupo de orden 6 de  . Entonces,   debe contener un elemento de orden 3 y uno de orden 2. Observemos que   solamente puede contener uno de los  ,  ,   y   por que un subgrupo conteniendo 2 de ellos es igual a  . Análogamente, solamente uno de los elementos de orden 2 están en ese grupo, ya que dos de ellos generan un subgrupo de orden 4. Supongamos que   fuera el elemento de orden 2. Si   está en  ,   está en   y  , l que no puede ser. Si   está en   tenemos que   estaría en  , pero  , lo que es imposible. Si   está en  , también lo estaría  , imposible. Finalmente, si   estuviera en  , también estaría  , lo que, nuevamente, es imposible. Repitiendo lo anterior con   y  , se ve que es imposible la existencia de un subgrupo con 6 elementos.


Ejercicios del Capítulo

editar
  1. Sea   un grupo abeliano y sean   y   elementos de   tales que el orden de   es   y el orden de   es  . Probar que el orden de   es igual al mínimo común múltiplo de   y  . (Probar que si   es un múltiplo común de   y  , entonces  ).
  2. Probar que los grupos abelianos de orden 16 son  ,  ,  ,   y  .
  3. Listar todos los subgrupos de  .
  4. Clasificar los grupos abelianos de orden 27.
  5. Sea   un grupo abeliano tal que   donde   y   son números primos diferentes. Probar que hay elementos  ,   tales que   y   y  .
  6. Analizar las estructuras posibles para un grupo de orden 8. (Sug: Hay cinco posibles; tres abelianos y dos no abelianas).
  7. Clasificar los grupos de orden 25.
  8. Sea  .
    1. Probar que   es un grupo de orden 12.
    2. Probar que   es isomorfo al grupo de las simetrías del tetraedro.
  9. Sea   un grupo cuyo orden es  ,   primo,  . Probar, sin usar el teorema de Cauchy, que   tiene un elemento de orden  . (Sugerencia: probar las siguientes afirmaciones.) \begin{enumerate}
  10. Si   es cíclico entonces   tiene un elemento de orden  .
  11. Si   es abeliano entonces   contiene un elemento de orden  . (Considerar cualquiera de sus subgrupos cíclicos).
  12. Si   no es abeliano, probar que su centro tiene un orden divisible por  , por lo que contiene un elemento de orden  . (Usar la ecuación de clases.)

Comentarios

editar

Teoremas de Sylow. Hablamos de primer teorema de Sylow, porque hay

otros dos teoremas que enunciaremos a continuación. La demostración se puede ver en el Apéndice "Teoremas de Sylow".

Segundo teorema de Sylow. Sea   un grupo. Dos  -grupos de Sylow cualesquiera son conjugados. Además, cualquier  -subgrupo (subgrupo cuyo orden es una potencia de p) está contenido en un  -Sylow subgrupo.

Tercer teorema de Sylow. Sea   un grupo tal que   donde   es un primo que no divide a  . Sea   el conjunto de todos los  -Sylow subgrupos de  . Entonces,

  1.   es un divisor de m,
  2.  .


Los teoremas de Sylow están entre los resultados más importantes en la teoría general de grupos finitos. Las demostraciones aparecen en el Apéndice Teoremas de Sylow.

Muchos otros detalles y demostraciones se pueden hallar en [3]

  1. Louis Agustin Cauchy (1789-1857)
  2. Ludwig Sylow (1832-1918)
  3. (BB) Herstein