I want to check if a certain statement is correct about groups, but it is very hard to check it by hand (and even harder to prove). Is it possible to run over isomorphism classes of groups (for any specific cardinality), so as to check that statement?
I don't think this is easy, or even possible, to do in native Sage. The GAP AllSmallGroups function might be helpful - you can access GAP by doing gap_console() in the Sage command line, choosing 'gap' from the system choices in the notebook, or doing sage -gap when you lauch Sage.
However, I don't think this is wrapped in Sage at this time.
http://www.gap-system.org/Doc/doc.html is the official and much more complete source. It has a full index: http://www.gap-system.org/Manuals/doc/htm/theindex.htm, where you find AllSmallGroups documented at http://www.gap-system.org/Manuals/doc/htm/ref/CHAP048.htm#SSEC007.2
in order to use GAP's AllSmallGroups function, you need to install the optional spkg database_gap-4.4.12.p0 e.g. by starting sage, and issuing, the sage prompt, the command
install_package('database_gap-4.4.12.p0')
It does not matter whether or not it is wrapped in Sage, as long one does everything at GAP prompt. In the worst case one can do something like
sage: gg=gap('AllSmallGroups(4)')
although this would create a list of objects Sage might have problems dealing with, e.g. they need not be permutation groups. You can still do e.g.
sage: g=gg[1]
sage: g.IsAlternatingGroup()
false
AllSmallGroups documented at http://www.gap-system.org/Manuals/doc/htm/ref/CHAP048.htm#SSEC007.2
I think after "install_package", you also need to do
sage: gap_reset_workspace()
and restart Sage (at least that is how it worked for me).
Then, you can do:
sage: for G in gap.AllSmallGroups(64):
....: if G.Centre().Order()==1:
....: raise RuntimeError
....: else:
....: print G.IdGroup()[2],
....:
1 2 3 4 5 6 ... 267
I guess, if you know GAP, that you will understand what the commands above do. And if you need to transform the groups into something Sage knows about (permutation groups and matrix groups), you can do:
PermutationGroup(G.IsomorphismPermGroup().Image().GeneratorsOfGroup())
where G is a group defined in the GAP interface. Unfortunately I don't know how to transform a group into a matrix group, in GAP.
Best regards, Simon
Asked: 2011-01-30 21:00:44 +0100
Seen: 913 times
Last updated: Feb 03 '11
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.