2
$\begingroup$

As J.D.Dixon noted in his great books, there are just 5 proper primitive groups of degree 8, $P(8)=5$. I wanted to examine it with GAP, so wrote the following small program:

 > 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];  

Clearly, since $S_8$ and $A_8$ are not proper, so it works as we want. My question is how to "List all groups", for example as I called them above without writing the third line of the program? I examined some List commend line in the GAP, and could't list the groups not in the form I did above ( G[1]; G[2]; G[3]; G[4]; G[5]; G[6]; G[7]; ). Thanks for any help.

  • 0
    @AlexanderKonovalov: Thanks friend for the edit.2013-04-29

1 Answers 1

3

Thanks to m_l, this has been answered in the comments. I'm posting a formal answer in order to clean up unanswered questions with the gap tag in view of "http://meta.math.stackexchange.com/questions/1559/dealing-with-answers-in-comments?" discussion on Meta.

I will try to cover a bit wider topic for a reader who will discover this page in a search for an answer on a similar question. GAP contains several Data Libraries listed on this page. In GAP 4.6, Group Libraries are covered in Chapter 50 of the Reference Manual (chapter numbering may change in future versions), and this includes the Small Groups Library, Primitive and Transtive Permutation Groups libraries, and more. From the GAP command line this chapter may be viewed by entering ?Group Libraries. Look there for functions like AllLibraryGroups and OneLibraryGroup, where "Library" denotes the appropriate library.