2
$\begingroup$

So far when using GAP to find examples/counter-examples, my work flow tends to be to load the small group library for a particular order, and then 'filter' through it to see if what I am looking for exists. Using the SglPPow package I can do this up until the groups of order $3^{8}$. However now I would like to search beyond this, and I am wondering what the 'best' approaches are.

For instance, say now I want to see if a group of order $3^9$ exists with some property. What are my best options? My initial reading suggests ConstructAllGroups in the GrpConst package (and maybe PqDescendants in the ANUPQ package may be useful to me.

To make the question more concrete, in particular I am interested in the class 2 groups of order $3^{9}$ with center of size $3^{4}$ and $Z(G) \cong C_{p^{2}}\times C_{p} \times C_{p} $. How would you approach constructing these?

Thank you

$\endgroup$
  • $\begingroup$ The largest cost of the construction process is typically to eliminate duplicates up to isomorphism. If the test for your property is cheap, you could discard all groups that will not satisfy the condition early and thus cut down on the costs of isomorphism tests. $\endgroup$ – ahulpke Jul 6 '16 at 17:08
  • $\begingroup$ Is there a function you recommend I use for the construction, which I would then edit so that it discards all groups early on that don't have the properties I want? ConstructAllGroups does not work for prime powers as large as $3^{9}$. $\endgroup$ – fourier1234 Jul 7 '16 at 10:11
  • $\begingroup$ There isn't a ready-made function. You would have to modify the existing code. $\endgroup$ – ahulpke Jul 7 '16 at 20:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.