Lista de grupos primitivos adecuados de un determinado grado por GAP

Question

Como señaló J.D.Dixon en sus grandes libros, sólo hay 5 grupos primitivos propios de grado 8, $P(8)=5$ . Quería examinarlo con GAP, así que escribí el siguiente pequeño programa:

\> G:=\[\];;
> for k in \[1..7\] do G\[k\]:=PrimitiveGroup( 8,k ); od;
> G\[1\]; G\[2\]; G\[3\]; G\[4\];  G\[5\];  G\[6\];  G\[7\]; 

Claramente, ya que $S_8$ y $A_8$ no son adecuados, por lo que funciona como queremos. Mi pregunta es cómo "Listar todos los grupos", por ejemplo como los llamé arriba sin escribir la tercera línea del programa? Examiné alguna línea de List commend en el GAP, y no pude listar los grupos que no están en la forma que hice arriba ( G[1]; G[2]; G[3]; G[4]; G[5]; G[6]; G[7]; ). Gracias por cualquier ayuda.

Answer 1

Gracias a m_l Esto ha sido respondido en los comentarios. Estoy publicando una respuesta formal con el fin de limpiar preguntas sin respuesta con la etiqueta gap en vista de " http://meta.math.stackexchange.com/questions/1559/dealing-with-answers-in-comments ?" en Meta.

Intentaré abarcar un tema un poco más amplio para un lector que descubra esta página en la búsqueda de una respuesta sobre una pregunta similar. GAP contiene varias bibliotecas de datos que aparecen en esta página . En GAP 4.6, las Bibliotecas de Grupo están cubiertas en Capítulo 50 del Manual de referencia (la numeración de los capítulos puede cambiar en futuras versiones), y esto incluye la biblioteca de grupos pequeños, las bibliotecas de grupos de permutación primitiva y transitiva, y más. Desde la línea de comandos de GAP, este capítulo puede verse introduciendo ?Group Libraries . Busque allí funciones como AllLibraryGroups y OneLibraryGroup , donde "Library" indica la biblioteca correspondiente.