Álgebra Abstracta/Teoremas de Cardinalidad

De Wikilibros, la colección de libros de texto de contenido libre.
Saltar a: navegación, buscar
← 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.

SimetriaTetraedro.jpg

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]

Notas[editar]

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