Llista de grups petits

Aquest article mostra una llista matemàtica dels grups finits d'ordre baix (una cardinalitat de fins a 16 elements) classificats per isomorfisme de grups.

Amb aquesta llista es pot determinar a quin grup conegut és isomorf un grup finit G donat: Cerqueu primer l'ordre de G, seguidament cerqueu els candidats per aquell ordre a la llista. Si sabeu si G és o no és abelià potser podreu descartar alguns candidats. Per a distingir entre els candidats restants podeu mirar l'ordre dels elements de G i comparar-los amb els ordres dels elements dels candidats.

Terminologia

El signe d'igualtat "=" denota isomorfisme de grups.

• C_n: el grup cíclic d'ordre n (es correspon amb el grup additiu de ℤ/nℤ, denotat de vegades ℤ_n).
• D_n: el grup dièdric d'ordre 2n (de vegades s'usa la notació D_2n o D_2,n)
• S_n: el grup simètric que conté les n! permutacions d'un conjunt de n elements.
• A_n: el grup alternat amb les n!/2 permutacions de S_n que tenen signe parell.
• Dic_n: el grup dicíclic d'ordre 4n.

La notació G × H indica el producte directe de dos grups; Gⁿ indica el producte directe d'un grup amb ell mateix n vegades. $G\rtimes H$ vol dir el producte semidirecte on H actua sobre G; si l'acció particular de H sobre G s'omet és que totes les accions no trivials possibles donen el mateix grup producte llevat d'isomorfisme.

S'indiquen els que són grups abelians i els que són grups simples. (Per als grups d'ordre n < 60, els grups simples són exactament els grups cíclics C_n, per a n primer).

L'element neutre està representat per un cercle negre als grafs dels cicles. L'ordre més petit per al qual el graf no representa unívocament un grup és ordre 16.

A les llistes de subgrups, el grup trivial i el propi grup no apareixen indicats. Als casos on hi ha múltiples subgrups isomorfs, el nombre d'aparicions s'indica entre parèntesis.

Llista de grups abelians petits

Els grups abelians finits es classifiquen fàcilment: són grups cíclics o els seus productes directes. El teorema xinès del residu ens pot ajudar a trobar els isomorfismes amb aquests productes directes. Els grups abelians finitament generats també es poden classificar. Vegeu més informació a l'article grup abelià.

Ordre	Grup	Subgrups	Propietats	Graf dels cicles
1	grup trivial = C1 = S1 = A2	-	trivialment té propietats diverses
2	C2 = S2 = D1	-	simple, el grup no trivial més petit
3	C3 = A3	-	simple
4	C4	C2
	Grup de Klein = C2 × C2 = D2	C2 (3)	el grup no cíclic més petit
5	C5	-	simple
6	C6 = C3 × C2	C3 , C2
7	C7	-	simple
8	C8	C4 , C2
	C4 × C2	C22, C4 (2), C2 (3)
	C23	C22 (7) , C2 (7)
9	C9	C3
	C32	C3 (4)
10	C10 = C5 × C2	C5 , C2
11	C11	-	simple
12	C12 = C4 × C3	C6 , C4 , C3 , C2
	C6 × C2 = C3 × C22	C6 (3), C3, C2 (3), C22
13	C13	-	simple
14	C14 = C7 × C2	C7 , C2
15	C15 = C5 × C3	C5 , C3
16	C16	C8 , C4, C2
	C24	C2 (15) , C22 (35) , C23 (15)
	C4 × C22	C2 (7) , C4 (4) , C22 (7) , C23, C4 × C2 (6)
	C8 × C2	C2 (3) , C4 (2) , C22, C8 (2) , C4 × C2
	C42	C2 (3), C4 (6) , C22, C4 × C2 (3)

Llista de grups no abelians petits

Ordre	Grup	Subgrups	Propietats	Graf dels cicles
6	S3 = D3	C3 , C2 (3)	el grup no abelià més petit
8	D4	C4, C22 (2) , C2 (5)
	Grup dels quaternions, Q8 = Dic2	C4 (3), C2	el grup hamiltonià més petit
10	D5	C5 , C2 (5)
12	D6 = D3 × C2	C6 , D3 (2) , C22 (3) , C3 , C2 (7)
	A4	C22 , C3 (4) , C2 (3)	el grup més petit que demostra que un grup no ha de tenir forçosament un subgrup de cada ordre que divideix l'ordre del grup: no té cap subgrup d'ordre 6 (en contra del recíproc al teorema de Lagrange, com ja indiquen els teoremes de Sylow.)
	Dic3 = $C_{3}\rtimes C_{4}$	C2, C3, C4 (3), C6
14	D7	C7, C2 (7)
16	D8	C8, D4 (2), C22 (4), C4, C2 (9)
	D4 × C2	D4 (2), C4 × C2, C23 (2), C22 (11), C4 (2), C2 (11)
	Grup generalitzat dels quaternions Q16 = Dic4
	Q8 × C2		grup hamiltonià
	El grup quasidièdric d'ordre 16
	El grup d'Iwasawa d'ordre 16
	$C_{4}\rtimes C_{4}$
	El grup generat per les matrius de Pauli
	G4,4 = $C_{2}^{2}\rtimes C_{4}$

Llibreria de grups petits

Els sistemes computacionals algebraics de teoria de grups GAP i Magma contenen la «Llibreria de grups petits» que proporciona accés a descripcions de grups d'ordre baix. Es llisten els grups llevat d'isomorfisme. Actualment aquesta llibreria conté els grups següents:

• Tots els grups d'ordre com a molt 2000, excepte en l'ordre 1024. Són 423.164.062 grups. Els d'ordre 1024 no apareixen: només comptant els 2-grups d'ordre 1024 no isomorfs n'hi ha 49.487.365.422.
• Els d'un ordre lliure de cubs i com a molt 50.000. Són 395.703 grups.
• Els d'un ordre lliure de quadrats.
• Els d'ordre pⁿ per a n fins a 6 i p un nombre primer.
• Els d'ordre p⁷ per a p essent 3, 5, 7 o 11. Són 907.489 grups.
• Els d'ordre qⁿ⋅p on qⁿ divideix 2⁸, 3⁶, 5⁵ o 7⁴ i el nombre p és un primer arbitrari diferent de q.
• Aquells l'ordre dels quals factoritza en tres primer com a molt.

Conté descripcions explícites dels grups disponibles en format ordinador.

Vegeu també

• Grup (matemàtiques)
• Introducció a la teoria de grups
• Teoria de grups
• Grup finit
• Grup abelià finit
• Grup simple
• Llista de grups finits simples

Enllaços externs

• Pedersen, John. «Groups of small order» (en anglès).
• Besche, Hans Ulrich; Eick, Bettina; O'Brien, Eamonn. «The Small Groups library» (en anglès).
• Hall, Jr., Marshall; Senior, James K. {{{títol}}} (en anglès). LCCN 64-16861, MR 168631. «Un catàleg exhaustiu dels 340 grups amb ordre divisor de 64.»