La siguiente lista contiene grupos finitos de orden pequeño hasta isomorfismo de grupo .
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 |
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.
Los grupos abelianos finitos son grupos cíclicos o su producto directo, consulte el artículo Grupo abeliano .
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 |
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. |
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 |
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 |
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:
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]