15.6. SAGE 265
(16 ,97) , (18 ,57) , (19 ,52) , (21 ,32) , (23 ,47) , (24 ,54) ,
(25 ,83) , (26 ,78) , (29 ,89) , (30 ,39) , (33 ,61) , (35 ,56) ,
(37 ,67) , (44 ,76) , (45 ,88) , (48 ,59) , (49 ,86) , (50 ,74) ,
(51 ,66) , (53 ,99) , (55 ,75) , (62 ,73) , (65 ,79) , (68 ,82) ,
(77 ,92) , (84 ,90) , (85 ,98) , (94 ,100) ])
b = G ([(1 ,86 ,13 ,10 ,47) , (2 ,53 ,30 ,8 ,38) ,
(3 ,40 ,48 ,25 ,17) , (4 ,29 ,92 ,88 ,43) , (5 ,98 ,66 ,54 ,
65) ,
(6 ,27 ,51 ,73 ,24) , (7 ,83 ,16 ,20 ,28) , (9 ,23 ,89 ,95 ,61) ,
(11 ,42 ,46 ,91 ,32) , (12 ,14 , 81 ,55 ,68) ,
(15 ,90 ,31 ,56 ,37) ,
(18 ,69 ,45 ,84 ,76) , (19 ,59 ,79 ,35 ,93) ,
(21 ,22 ,64 ,39 ,100) ,
(26 ,58 ,96 ,85 ,77) , (33 ,52 ,94 ,75 ,44) ,
(34 ,62 ,87 ,78 ,50) ,
(36 ,82 ,60 ,74 ,72) , (41 ,80 ,70 ,49 ,67) ,
(57 ,63 ,71 ,99 ,97) ])
a. order () , b. order ()
(2 , 5)
HS = G. subgroup ([a , b ])
HS . order ()
44352000
HS . is_simple ()
True
Vimos antes este grupo en los Ejercicios del Capítulo14sobre acciones de
grupo, donde era el único subgrupo normal no trivial del grupo de automorfis-
mos del grafo de Higman-Sims, de ahí su nombre.
Consola e Interfaz GAP
Acá concluimos el estudio exclusivo de teoría de grupos, aunque seguiremos
usando algunos grupos en las secciones que siguientes. Como ya hemos desta-
cado, mucho del lo que hace Sage con grupos es realizado por el programa de
código aberto, “Groups, Algorithms, and Programming,” más conocido como
gap. Si luego de este curso, sus necesidades superan la capacidad de Sage en
relación a grupos, entonces aprendergapsería el próximo paso como teórico
de grupos. Cada copia de Sage incluye una copia degapy se puede saber
fácilmente cuál es la versión degapincluida:
gap . version ()
' 4.8.6 '
En Sage se puede interactuar congapde diferentes formas. La mñas directa
es creando un grupo de permutaciones por medio del comandogap()de Sage.
G = gap ( ' Group (␣ (1 ,2 ,3 ,4 ,5 ,6) ,␣ (1 ,3 ,5) ␣) ')
G
Group ( [ (1 ,2 ,3 ,4 ,5 ,6) , (1 ,3 ,5) ] )