Álgebra Abstracta/Clasificación de Grupos

De Wikilibros, la colección de libros de texto de contenido libre.
← Teoremas de Homomorfismos Clasificación de Grupos Teoremas de Cardinalidad →
Álgebra Abstracta



Introducción[editar]

Clasificar familias de grupos significa, hallar todos los posibles tipos (no isomorfos) de los grupos de la familia. En este capítulo, veremos la clasificación por orden de grupos finitos.

Sea un grupo con . Sabemos que:

  • cuando n es un número primo, es cíclico
  • hay un único grupo de orden n, cuando n=1,2,3 y que
  • para cada n, hay al menos un grupo de orden n, el grupo cíclico de ese orden

Clasificación de los Grupos de Orden 4[editar]

Sea un grupo de orden 4, que no sea cíclico. Como no es cíclico, todos los elementos diferentes del neutro deben tener orden 2. Por lo que tiene tres subgrupos de orden 2, , donde

Sea .

  • Si z=e, se tiene que ab = e, lo que implica que aab=a, o sea que b= a. Imposible.
  • Si z=a o z=b se concluye, respectivamente que b=e o que a =e. Imposible.

La única posibilidad es

que . Por simetría entre a y b, concluimos que, también, ba=c. Por lo tanto, si existe un grupo no cíclico de orden 4, debería ser


Claramente, este grupo existe, es nuestro viejo conocido:el grupo de Klein.

Grupos de Orden 4

Un grupo de orden 4 es isomorfo a:
  1. el grupo cíclico de orden 4, o
  2. el grupo de Klein.

La Cardinalidad del Producto de dos Subgrupos[editar]

Antes de continuar nuestros estudios de clasificación, probaremos un resultado acerca de la cardinalidad del conjunto producto de dos subgrupos, que nos ayudará en clasificaciones futuras.

Recordemos que el conjunto producto de dos subgrupos no necesariamente determina un subgrupo. Sean y subgrupos de , ¿cuántos elementos tiene  ? Suponiendo y . tendremos que todos los productos que podemos tomar con primer factor en y segundo en serán . Sin embargo, algunos de esos productos podrían ser iguales entre si. Es decir que podemos afirmar que:

¿Cuándo dos de esos productos son iguales? Si se tiene que . Llamando a este elemento, tendremos por su representación de la izquierda que está en . mientras que su representación de la derecha nos dice que está en . Por lo que está en . Esto nos indica que debemos velar por los productos de elementos que provienen de la intersección de los dos subgrupos. En efecto, supongamos que es un elemento cualquiera de y sea un elemento de . Entonces,

Lo que prueba que para cada en . podemos escribir de una manera distinta como producto de un elemento de por . Es decir que en los productos . cada elemento aparecerá repetido al menos veces. El argumento del párrafo anterior muestra que las repeticiones ocurren exactamente cuando el elemento proviene de dicha intersección; por lo que la cantidad de repeticiones es exactamente . Por lo que tenemos la siguiente proposición.

Proposición 1 (Cardinalidad de un Conjunto Producto de Subgrupos)

Sean y subgrupos de .

Entonces,

Clasificación de los grupos de orden 6[editar]

Aplicaremos los resultados anteriores a la clasificación de los grupos de orden 6. Clasificar significa, hallar todos los posibles tipos (no isomorfos) de una familia de grupos, en este caso de los grupos cuyo orden es 6.

Sea un grupo de orden 6. Como, para cada posible orden tenemos un grupo cíclico de orden 6, nos podemos preguntar ¿aparte del cíclico cuántos (tipos de) grupos diferentes de orden 6 hay? Nosotros conocemos al menos uno adicional, .

Supongamos que no fuera cíclico. Por el teorema de Lagrange, sabemos que los únicos ordenes posibles para los subgrupos y, por lo tanto, para los elementos son 1, 2, 3 y 6.

El neutro es el único elemento de orden .

Si hubiera un elemento con orden 6, el grupo sería cíclico. Lo que nos deja como posibles ordenes para subgrupos 2 y 3, por lo que esos subgrupos necesariamente tienen que ser cíclicos.

Supongamos que todos los elementos diferentes del neutro tuvieran orden 2. En tal caso, como . sigue que para todo . Además, implicará que , o sea que el grupo sería abeliano. Sean y dos de esos elementos de orden . Entonces, sería un subgrupo de . Por la conmutatividad, consistiría exactamente de los productos de la forma . o sea, . Pero esto es imposible, ya que no puede haber un subgrupo de orden 4 en un grupo de orden 6. Conclusión: no todos los elementos pueden tener orden 2; lo cual implica que debe haber al menos un elemento de orden 3, digamos .

Como tiene orden 3, el subgrupo también tiene orden 3, lo que implica y son elementos con orden 3. ¿Habrá algún otro subgrupo de orden ? Supongamos que sí y que se tratara de . Como este subgrupo sería distinto de , tendríamos que . Por lo tanto, calculando la cantidad de elementos del producto , tendríamos que

lo cual es imposible. Por lo

tanto, hay solamente un subgrupo de orden y todos los elementos restantes, diferentes del neutro, deberán tener orden 2.

Sea uno de ellos, entonces la clase lateral derecha tendrá tres elementos y, por ser disjunta con , coincide con el complemento de . por lo que contendrá a todos los elementos de orden 2. Se tiene así que

Para completar la

estructura de . bastará con conocer el producto de .

  • Si entonces, es el inverso de y tendría su mismo orden, lo que no puede ser.
  • Si entonces . imposible.
  • Si entonces, . imposible.
  • Si . entonces . imposible.
  • Si . el grupo sería abeliano y el elemento tendría orden 6, por lo que el grupo sería cíclico; imposible.
  • Por lo tanto la única posibilidad es que

Los razonamientos anteriores muestran que la única posibilidad de grupo de orden 6, aparte del cíclico, será entonces . Resumiendo tenemos lo siguiente:

Grupos de orden 6
Un grupo con seis elementos es isomorfo a uno de los dos grupos siguientes:
  1. el grupo cíclico de orden 6, o
  2. el grupo . caracterizado como .

Clasificación de los Grupos Abelianos de orden 8[editar]

Sea un grupo abeliano tal que . Si hay un elemento en cuyo orden sea igual a , se tiene que es un grupo cíclico de orden 8.

Supongamos que no es cíclico. Entonces, todos los elementos no nulos deben tener ordenes 2 o 4.

Suponer que de tiene orden y sea el subgrupo generado por . Supongamos que haya otro elemento de orden 4, digamos tal que no está en . Sea . Si , por el teorema de la cardinalidad de productos, tenemos que


Lo que es imposible, luego . Entonces, o 4. No puede ser 4, porque entonces . Por lo que .

De donde sigue que o sea que . ¿Qué elementos hay comunes en la intersección? Observemos que , por lo que . Observemos que entonces, es un elemento que no está en , porque implica que estaría en . Se tiene que , por lo que hay un elemento de con orden 2. Sea . Entonces , y o sea que . Sigue entonces, de la proposición acerca del producto de subgrupos normales, que .

Si fuera de todos los elementos tuvieran orden 2. Escogiendo, uno cualesquiera de ellos, podríamos repetir el argumento anterior. Supongamos que todos los elementos no nulos tuvieran orden 2. Seleccionando tres de ellos, digamos, , y , tendríamos que


Grupos abelianos de orden 8
Un grupo abeliano de orden 8 es
  1. un grupo cíclico de orden 8, o
  2. el producto de un grupo cíclico de orden 4 con uno de orden 2, o
  3. el producto de tres grupos cíclicos de orden 2 cada uno.

Clasificación de los Grupos de orden 9[editar]

Sea un grupo cuyo orden es . Si tiene un elemento de orden 9, es el grupo cíclico de orden 9, . En caso contrario, todos los elementos diferentes del neutro deben tener orden 3. Sean y dos subgrupos diferentes generados por elementos de orden 3. Se tiene que , por lo que . Es decir que . Primeramente, probaremos que es normal en . Es decir que, para todo en se cumple que es un elemento de . El típico elemento de es

(*


Observando que vemos que basta verificar que está en .

Se tiene que

(**


para tales que . Queremos probar, que necesariamente . Recordemos, que como los elementos diferentes del neutro son de orden 3, tenemos que . Además, y , ya que, en caso contrario, tendríamos que

  • Si , entonces (**) implica que lo que implica que , lo que no puede ser. Luego, .
  • . Esto dice que . Esto dice que o que , y ambas posibilidades son contradictorias a las elecciones de y .
  • implica que , o sea que .
  • , lo que sabemos que es contradictorio.
  • . Una contradicción.

Como todos los casos con conducen a contradicción, debemos concluir que . Lo que prueba que es normal en .

Por la simetría de la situación, tenemos que es, también, normal en . Por la proposición \ref{propInternoNormales}, tenemos que .

Es decir que cualquier grupo con 9 elementos es el grupo cíclico de 9 elementos, , o el producto de dos grupos cíclicos de orden 3 cada uno. Resumiendo,

Además, lo anterior implica que no hay grupos no

conmutativos de orden 9.

Caracterización de los Grupos Cíclicos Finitos[editar]

Sabemos que cada elemento de un grupo finito tiene un orden que es un divisor del orden del grupo. Introduciremos la noción de exponente de un grupo que nos ayudará en la caracterización de los grupos cíclicos finitos.

Definición. (Exponente de un Grupo) Sea un grupo finito. Llamamos exponente del grupo al menor entero positivo tal que para todo elemento dell grupo. Lo denotaremos por .


Por ejemplo, , . Como , tenemos que es un múltiplo de .

Un grupo cíclico es un grupo tal que . El objetivo de esta sección es mostrar que esa relación caracteriza a los grupos cíclicos entre los grupos finitos abelianos.

Necesitaremos el siguiente lema que provee una caracterización para el exponente.

Lema. Sea un grupo finito abeliano y sea un elemento cuyo orden es maximal entre los ordenes de los elementos de . Entonces, .

    Demostración: Debemos probar que para todo en . Supongamos que tenemos descomposiciones en factores primos de y dadas por


    donde los 's son primos diferentes entre si y los exponentes 's, 's son mayores o iguales que cero.

    Si , se tendría que habría un , sin perdida de generalidad, podemos suponer que . Sean , , y . Entonces, tenemos que y . Se tiene entonces que el máximo común divisor de y es 1, por lo que . Pero esto contradice la maximalidad de .


Proposición 2. (Caracterización de Grupos Cíclicos) Sea un grupo finito abeliano. Entonces, es cíclico, ssi, .

    Demostración: Si , entonces . Recíprocamente, supongamos que ; entonces hay un elemento tal que , por lo que es cíclico.


Ejercicios del Capítulo[editar]

  1. Probar que el producto de dos grupos abelianos es un grupo abeliano.
  2. Sea un grupo abeliano tal que donde y son números primos diferentes. Probar que hay elementos , tales que , y que .
  3. Clasificar los grupos de orden 10, 14 y 15.