Lista de grupos de pedidos pequeños

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 16 de enero de 2022; las comprobaciones requieren 2 ediciones .

La siguiente lista contiene grupos finitos de orden pequeño hasta isomorfismo de grupo .

Número

El número total de grupos no isomorfos en orden de magnitud de 0 a 95 [1]
0 una 2 3 cuatro 5 6 7 ocho 9 diez once 12 13 catorce quince dieciséis 17 Dieciocho 19 veinte 21 22 23
0 0 una una una 2 una 2 una 5 2 2 una 5 una 2 una catorce una 5 una 5 2 2 una
24 quince 2 2 5 cuatro una cuatro una 51 una 2 una catorce una 2 2 catorce una 6 una cuatro 2 2 una
48 52 2 5 una 5 una quince 2 13 2 2 una 13 una 2 cuatro 267 una cuatro una 5 una cuatro una
72 cincuenta una 2 3 cuatro una 6 una 52 quince 2 una quince una 2 una 12 una diez una cuatro 2 2 una

Diccionario

Cada grupo en la lista se denota por su índice en la biblioteca de grupos pequeños como G o i , donde o  es el orden del grupo e i  es su índice entre los grupos de ese orden.

También se utilizan nombres de grupos comunes:

La notación Z n y Dih n es preferible porque hay notaciones C n y D n para grupos de puntos en el espacio tridimensional.

La notación G × H se usa para el producto directo de dos grupos. G n denota el producto directo de un grupo consigo mismo n veces. G ⋊ H denota el producto semidirecto , donde H actúa sobre G.

Se enumeran los grupos abelianos y simples . (Para grupos de orden n < 60 , los grupos simples son exactamente los grupos cíclicos Z n para primo n .) El signo igual (“=”) significa isomorfismo.

El elemento neutral en el gráfico del ciclo está representado por un círculo negro. Un gráfico de ciclo define un grupo únicamente para grupos cuyo orden es menor que 16.

En las listas de subgrupos , el grupo trivial y el grupo en sí no se enumeran. Si hay varios subgrupos isomorfos, su número se da entre paréntesis.

Lista de pequeños grupos abelianos

Los grupos abelianos finitos son grupos cíclicos o su producto directo, consulte el artículo Grupo abeliano .

El número de grupos abelianos no isomorfos según la magnitud de su orden [2]
0 una 2 3 cuatro 5 6 7 ocho 9 diez once 12 13 catorce quince dieciséis 17 Dieciocho 19 veinte 21 22 23
0 0 una una una 2 una una una 3 2 una una 2 una una una 5 una 2 una 2 una una una
24 3 2 una 3 2 una una una 7 una una una cuatro una una una 3 una una una 2 2 una una
48 5 2 2 una 2 una 3 una 3 una una una 2 una una 2 once una una una 2 una una una
72 6 una una 2 2 una una una 5 5 una una 2 una una una 3 una 2 una 2 una una una
Lista de todos los grupos abelianos hasta el orden 30
Ordenar ir yo _ Grupo subgrupos gráfico
de ciclo
Propiedades
1 [3] G 1 1 Z 1 [4] = S 1 = A 2 - Grupo trivial . Grupo cíclico, alterno, simétrico. grupo elemental .
2 [5] G 2 1 Z 2 [6] = S 2 = Dih 1 - Simple, más pequeño grupo no trivial. grupo simétrico. Cíclico. Elemental.
3 [7] G 3 1 Z 3 [8] = A 3 - Simple. Grupo alternado. Cíclico. Elemental.
4 [9] G 4 1 Z4 [ 10 ] = Dic1 Z2 _ Cíclico.
G42 _ _ Z 2 2 = K 4 [11] = Dih 2 Z 2 (3) Grupo cuádruple de Klein , el grupo no cíclico más pequeño. Elemental. Trabajar.
5 [12] G 5 1 Z5 [ 13] - Simple. Cíclico. Elemental.
6 [14] G 6 2 Z 6 [15] = Z 3 × Z 2 Z 3 , Z 2 Cíclico. Trabajar.
7 [16] G 7 1 Z7 [ 17] - Simple. Cíclico. Elemental.
8 [18] G 8 1 Z8 [ 19] Z4 , Z2 _ Cíclico.
G82 _ _ Z 4 × Z 2 [20] Z 2 2 , Z 4 (2), Z 2 (3) Trabajar.
G 8 5 Z 2 3 [21] Z 2 2 (7), Z 2 (7) Los elementos que no son neutros corresponden a puntos del plano de Fano , los Z 2 × Z 2 del subgrupo corresponden a líneas. Producto Z 2 × K 4 . E elemental 8 .
9 [22] G 9 1 Z9 [ 23] Z3 _ Cíclico.
G 9 2 Z 3 2 [24] Z 3 (4) Elemental. Trabajar.
10 [25] G102 _ _ Z 10 [26] = Z 5 × Z 2 Z 5 , Z 2 Cíclico. Trabajar.
once G 11 1 Z 11 [27] - Simple. Cíclico. Elemental.
12 [28] G 12 2 Z 12 [29] = Z 4 × Z 3 Z 6 , Z 4 , Z 3 , Z 2 Cíclico. Trabajar.
G 12 5 Z 6 × Z 2 [30] = Z 3 × K 4 Z 6 (3), Z 3 , Z 2 (3), Z 2 2 Trabajar.
13 G 13 1 Z 13 [31] - Simple. Cíclico. Elemental.
14 [32] G 14 2 Z 14 [33] = Z 7 × Z 2 Z7 , Z2 _ Cíclico. Trabajar.
15 [34] G 15 1 Z 15 [35] = Z 5 × Z 3 Z 5 , Z 3 Cíclico. Trabajar.
16 [36] G 16 1 Z 16 [37] Z8 , Z4 , Z2 _ Cíclico.
G 16 2 Z 4 2 [38] Z 2 (3), Z 4 (6), Z 2 2 , Z 4 × Z 2 (3) Trabajar.
G165 _ _ Z 8 × Z 2 [39] Z 2 (3), Z 4 (2), Z 2 2 , Z 8 (2), Z 4 × Z 2 Trabajar.
G 16 10 Z 4 × K 4 [40] Z 2 (7), Z 4 (4), Z 2 2 (7), Z 2 3 , Z 4 × Z 2 (6) Trabajar.
G 16 14 Z 2 4 [20] = K 4 2 Z 2 (15), Z 2 2 (35), Z 2 3 (15) Trabajar. Elemental.
17 G 17 1 Z 17 [41] - Simple. Cíclico. Elemental.
18 [42] G 18 2 Z 18 [43] = Z 9 × Z 2 Z9 , Z6 , Z3 , Z2 _ Cíclico. Trabajar.
G185 _ _ Z 6 × Z 3 [44] = Z 3 2 × Z 2 Z 2 , Z 3 (4), Z 6 (4), Z 3 2 Trabajar.
19 G 19 1 Z 19 [45] - Simple. Cíclico. Elemental.
20 [46] G202 _ _ Z 20 [47] = Z 5 × Z 4 Z 20 , Z 10 , Z 5 , Z 4 , Z 2 Cíclico. Trabajar.
G205 _ _ Z 10 × Z 2 [48] = Z 5 × Z 2 2 Z 2 (3), K 4 , Z 5 , Z 10 (3) Trabajar.
21 G212 _ _ Z 21 [49] = Z 7 × Z 3 Z7 , Z3 _ Cíclico. Trabajar.
22 G222 _ _ Z 22 [50] = Z 11 × Z 2 Z 11 , Z 2 Cíclico. Trabajar.
23 G 23 1 Z 23 [51] - Simple. Cíclico. Elemental.
24 [52] G242 _ _ Z 24 [53] = Z 8 × Z 3 Z 12 , Z 8 , Z 6 , Z 4 , Z 3 , Z 2 Cíclico. Trabajar.
G249 _ _ Z 12 × Z 2 [54] = Z 6 × Z 4
= Z 4 × Z 3 × Z 2
Z 12 , Z 6 , Z 4 , Z 3 , Z 2 Trabajar.
G 24 15 Z 6 × Z 2 2 = (Z 3 × Z 2 ) × K 4 [40] Z 6 , Z 3 , Z 2 , K 4 , E 8 . Trabajar.
25 G 25 1 Z25 _ Z5 _ Cíclico.
G252 _ _ Z 5 2 Z5 _ Trabajar. Elemental.
26 G262 _ _ Z 26 = Z 13 × Z 2 Z 13 , Z 2 Cíclico. Trabajar.
27 [55] G271 _ _ Z 27 Z9 , Z3 _ Cíclico.
G272 _ _ Z9 × Z3 _ Z9 , Z3 _ Trabajar.
G27 _ Z 3 3 Z3 _ Trabajar. Elemental.
28 G282 _ _ Z 28 = Z 7 × Z 4 Z 14 , Z 7 , Z 4 , Z 2 Cíclico. Trabajar.
G284 _ _ Z 14 × Z 2 = Z 7 × Z 2 2 Z 14 , Z 7 , Z 4 , Z 2 Trabajar.
29 G291 _ _ Z29 _ - Simple. Cíclico. Elemental.
30 [56] G304 _ _ Z 30 = Z 15 × Z 2 = Z 10 × Z 3
= Z 6 × Z 5 = Z 5 × Z 3 × Z 2
Z 15 , Z 10 , Z 6 , Z 5 , Z 3 , Z 2 Cíclico. Trabajar.

Lista de grupos no abelianos de pequeño orden

El número de grupos no abelianos no isomorfos en orden de magnitud [57]
0 una 2 3 cuatro 5 6 7 ocho 9 diez once 12 13 catorce quince dieciséis 17 Dieciocho 19 veinte 21 22 23
0 0 0 0 0 0 0 una 0 2 0 una 0 3 0 una 0 9 0 3 0 3 una una 0
24 12 0 una 2 2 0 3 0 44 0 una 0 diez 0 una una once 0 5 0 2 0 una 0
48 47 0 3 0 3 0 12 una diez una una 0 once 0 una 2 256 0 3 0 3 0 3 0
72 44 0 una una 2 0 5 0 47 diez una 0 13 0 una 0 9 0 ocho 0 2 una una 0
Lista de grupos no abelianos no isomorfos hasta el orden 30
Ordenar ir yo _ Grupo subgrupos gráfico
de ciclo
Propiedades
6 [14] G 6 1 Dih 3 = S 3 Z 3 , Z 2 (3) Grupo diedro , grupo no abeliano más pequeño, grupo simétrico, grupo de Frobenius
8 [18] G 8 3 Dih 4 Z 4 , Z 2 2 (2), Z 2 (5) grupo diédrico. Especial Grupo Especial . Nilpotente.
G84 _ _ Q 8 = Dic 2 = <2,2,2> Z 4 (3), Z 2 Grupo cuaternión , grupo hamiltoniano . Todos los subgrupos son normales , a pesar de que el grupo en sí no es abeliano. El grupo G más pequeño , demostrando que para un subgrupo H normal, el grupo cociente G / H no es necesariamente isomorfo al subgrupo G. Especial Grupo Especial . Grupo diedro binario. Nilpotente.
10 [25] G 10 1 di 5 Z 5 , Z 2 (5) grupo diedro, grupo de Frobenius
12 [28] G 12 1 Q 12 = Dic 3 = <3,2,2>
= Z 3 ⋊ Z 4
Z 2 , Z 3 , Z 4 (3), Z 6 Grupo diedro binario
G 12 3 UN 4 = K 4 ⋊ Z 3
= (Z 2 × Z 2 ) ⋊ Z 3
Z 2 2 , Z 3 (4), Z 2 (3) Grupo alternante . No tiene un subgrupo de sexto orden, aunque 6 divide el orden del grupo. grupo frobenius
G124 _ _ Dih 6 = Dih 3 × Z 2 Z 6 , Dih 3 (2), Z 2 2 (3), Z 3 , Z 2 (7) Grupo diedro, Obra de arte
14 [32] G 14 1 di 7 Z 7 , Z 2 (7) grupo diedro , grupo de Frobenius
16 [36] [58] G 16 3 GRAMO 4,4 = K 4 ⋊ Z 4
(Z 4 × Z 2 ) ⋊ Z 2
Tiene el mismo número de elementos de cada orden que el grupo Pauli. Nilpotente.
G164 _ _ Z 4 ⋊ Z 4 Los cuadrados de los elementos no forman un subgrupo. Tiene el mismo número de elementos de cada orden que el grupo Q 8 × Z 2 . Nilpotente.
G166 _ _ Z 8 ⋊ Z 2 A veces se le llama grupo modular de orden 16, aunque esto es engañoso, ya que los grupos abelianos y Q 8 × Z 2 también son modulares. Nilpotente.
G167 _ _ di 8 Z 8 , Dih 4 (2), Z 2 2 (4), Z 4 , Z 2 (9) grupo diédrico . Nilpotente.
G168 _ _ QD 16 Grupo cuasidiédrico de orden 16. Nilpotente.
G169 _ _ Q 16 = Dic 4 = <4,2,2> Grupo cuaternión generalizado , grupo diédrico binario. Nilpotente.
G 16 11 Dih 4 × Z 2 Dih 4 (2), Z 4 × Z 2 , Z 2 3 (2), Z 2 2 (11), Z 4 (2), Z 2 (11) Trabajar. Nilpotente.
G 16 12 Q 8 × Z 2 Hamiltoniano , Producto. Nilpotente.
G 16 13 (Z 4 × Z 2 ) ⋊ Z 2 Grupo de Pauli formado por matrices de Pauli . Nilpotente.
18 [42] G 18 1 di 9 Z 9 , Dih 3 (3), Z 3 , Z 2 (9) grupo diedro, grupo de Frobenius
G 18 3 Z 3 ⋊Z 6 = Dih 3 × Z 3 = S 3 × Z 3 Z 3 2 , Dih 3 , Z 6 (3), Z 3 (4), Z 2 (3) Trabajar
G184 _ _ (Z 3 ×Z 3 )⋊Z 2 Z 3 2 , Dih 3 (12), Z 3 (4), Z 2 (9) grupo frobenius
20 [46] G201 _ _ Q 20 = Dic 5 = <5,2,2> Grupo diedro binario
G203 _ _ Z 5 ⋊ Z 4 grupo frobenius
G204 _ _ Dih 10 = Dih 5 × Z 2 Grupo diedro, Obra de arte
21 G 21 1 Z 7 ⋊ Z 3 El grupo no abeliano más pequeño de orden impar. grupo frobenius
22 G221 _ _ di 11 grupo diedro, grupo de Frobenius
24 [52] G 24 1 Z 3 ⋊ Z 8 Z 12 , Z 8 (3), Z 6 , Z 4 , Z 3 , Z 2 Extensión central del grupo S 3
G 24 3 SL (2,3) = 2T = Q 8 ⋊ Z 3 Grupo binario de tetraedro
G244 _ _ Q 24 = Dic 6 = <6,2,2> = Z 3 ⋊ Q 8 diedro binario
G245 _ _ Z 4 × S 3 Trabajar
G246 _ _ di 12 grupo diedro
G247 _ _ Dic 3 × Z 2 = Z 2 × (Z 3 × Z 4 ) Trabajar
G248 _ _ (Z 6 × Z 2 )⋊ Z 2 = Z 3 ⋊ Dih 4 Doble recubrimiento del grupo diédrico
G 24 10 Dih 4 × Z 3 Trabajar. Nilpotente.
G 24 11 Q 8 × Z 3 Trabajar. Nilpotente.
G 24 12 S4 _ A 4 , Dih 4 (3), S 3 (4), K 4 (4), Z 4 (3), Z 3 (4), Z 2 (6) [59] grupo simétrico . No contiene un subgrupo Sylow normal.
G 24 13 A 4 × Z 2 Trabajar
G 24 14 D 12 × Z 2 Trabajar
26 G 26 1 di 13 grupo diedro, grupo de Frobenius
27 [55] G273 _ _ Z 3 2 ⋊ Z 3 Todos los elementos no triviales tienen orden 3. Grupo especial especial . Nilpotente.
G274 _ _ Z 9 ⋊ Z 3 Especial Grupo Especial . Nilpotente.
28 G 28 1 Z 7 ⋊ Z 4 Grupo diedro binario
G283 _ _ di 14 Grupo diedro, Obra de arte
30 [56] G 30 1 Z5 × S3 _ Trabajar
G 30 3 Dih 15 grupo diedro, grupo de Frobenius
G304 _ _ Z 3 × Dih 5 Trabajar

Clasificación de grupos de pequeño orden

Grupos de orden pequeño igual a la potencia de un número primo p n :

La mayoría de los grupos de orden pequeño tienen un p-subgrupo P de Sylow con un p - complemento N normal para algún primo p que divide el orden, de modo que se pueden clasificar en términos de posibles primos p , p - grupos P , grupos N y acciones de P sobre N. En cierto sentido, esto reduce la clasificación de tales grupos a la clasificación de p -grupos . Los grupos de orden pequeño que no tienen complemento p normal incluyen:

Biblioteca de grupos pequeños

El sistema de álgebra informática GAP contiene una "Biblioteca de grupos pequeños" que proporciona descripciones de grupos de orden pequeño. Los grupos se enumeran hasta el isomorfismo . La biblioteca actualmente contiene los siguientes grupos: [60]

Véase también

Notas

  1. Secuencia OEIS A000001 _
  2. Secuencia OEIS A000688 _
  3. Grupos de orden 1 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 7 de julio de 2015.
  4. Z1 . Consultado el 6 de julio de 2015. Archivado desde el original el 16 de diciembre de 2014.
  5. Grupos de orden 2 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 7 de julio de 2015.
  6. Z2 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 2 de julio de 2015.
  7. Grupos de orden 3 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 7 de julio de 2015.
  8. Z3 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 1 de julio de 2015.
  9. Grupos de orden 4 . Consultado el 6 de julio de 2015. Archivado desde el original el 23 de septiembre de 2015.
  10. Z4 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 1 de julio de 2015.
  11. Grupo Klein . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 1 de julio de 2015.
  12. Grupos de orden 5 . Consultado el 6 de julio de 2015. Archivado desde el original el 25 de septiembre de 2015.
  13. Z5 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 2 de julio de 2015.
  14. 1 2 Grupos de orden 6 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 2 de julio de 2015.
  15. Z6 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 2 de julio de 2015.
  16. Grupos de orden 7 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 7 de julio de 2015.
  17. Z7 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 2 de julio de 2015.
  18. 1 2 Grupos de orden 8 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 7 de julio de 2015.
  19. Z8 . Consultado el 6 de julio de 2015. Archivado desde el original el 8 de julio de 2015.
  20. 1 2 Z4×Z2 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 7 de julio de 2015.
  21. Grupo abeliano elemental: E8 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 2 de julio de 2015.
  22. Grupos de orden 9 . Consultado el 6 de julio de 2015. Archivado desde el original el 25 de septiembre de 2015.
  23. Z9 . Consultado el 6 de julio de 2015. Archivado desde el original el 15 de abril de 2015.
  24. Z3×Z3  (enlace inaccesible)
  25. 1 2 Grupos de orden 10 . Consultado el 6 de julio de 2015. Archivado desde el original el 25 de septiembre de 2015.
  26. Z10 . Consultado el 6 de julio de 2015. Archivado desde el original el 26 de septiembre de 2015.
  27. Z11  (enlace inaccesible)
  28. 1 2 Grupos de orden 12 . Consultado el 6 de julio de 2015. Archivado desde el original el 25 de septiembre de 2015.
  29. Z12 . Consultado el 6 de julio de 2015. Archivado desde el original el 15 de abril de 2015.
  30. Z6×Z2 . Consultado el 6 de julio de 2015. Archivado desde el original el 15 de abril de 2015.
  31. Z13  (enlace inaccesible)
  32. 1 2 Grupos de orden 14 . Consultado el 6 de julio de 2015. Archivado desde el original el 25 de septiembre de 2015.
  33. Z14  (enlace inaccesible)
  34. Grupos de orden 15 . Consultado el 6 de julio de 2015. Archivado desde el original el 25 de septiembre de 2015.
  35. Z15  (enlace inaccesible)
  36. 1 2 Grupos de orden 16 . Consultado el 6 de julio de 2015. Archivado desde el original el 8 de agosto de 2015.
  37. Z16 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 1 de agosto de 2015.
  38. Z4×Z4 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 1 de agosto de 2015.
  39. Z8×Z2 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 1 de agosto de 2015.
  40. 1 2 Z4×Z2×Z2  (enlace no disponible)
  41. Z17  (enlace inaccesible)
  42. 1 2 Grupos de orden 18 . Consultado el 6 de julio de 2015. Archivado desde el original el 25 de septiembre de 2015.
  43. Z18 . Consultado el 6 de julio de 2015. Archivado desde el original el 15 de abril de 2015.
  44. Z6×Z3 . Consultado el 6 de julio de 2015. Archivado desde el original el 17 de abril de 2015.
  45. Z19  (enlace inaccesible)
  46. 1 2 Grupos de orden 20 . Consultado el 6 de julio de 2015. Archivado desde el original el 17 de abril de 2015.
  47. Z20 . Consultado el 6 de julio de 2015. Archivado desde el original el 17 de abril de 2015.
  48. Z10×Z2 . Consultado el 6 de julio de 2015. Archivado desde el original el 15 de abril de 2015.
  49. Z21  (enlace inaccesible)
  50. Z22  (enlace inaccesible)
  51. Z23  (enlace inaccesible)
  52. 1 2 Grupos de orden 24 . Fecha de acceso: 6 de julio de 2015. Archivado desde el original el 2 de julio de 2015.
  53. Z24 . Consultado el 6 de julio de 2015. Archivado desde el original el 17 de mayo de 2015.
  54. Z12×Z2  (enlace inaccesible)
  55. 1 2 Grupos de orden 27 . Consultado el 6 de julio de 2015. Archivado desde el original el 17 de abril de 2015.
  56. 1 2 Grupos de orden 30 . Consultado el 6 de julio de 2015. Archivado desde el original el 25 de septiembre de 2015.
  57. Secuencia OEIS A060689 _
  58. Salvaje, Marcel. " Los grupos de la Orden Dieciséis de forma fácil Archivado el 23 de septiembre de 2006. , American Mathematical Monthly , enero de 2005
  59. https://en.wikiversity.org/wiki/Symmetric_group_S4 . Consultado el 15 de enero de 2020. Archivado desde el original el 15 de enero de 2020.
  60. Hans Ulrich Besche The Small Groups library Archivado el 5 de marzo de 2012.

Literatura

Enlaces