[GAP Forum] Obtaining Small Group information

[Heiko Dietrich]

Dear Paweł,

you can use the command "StructureDescription":

gap> for i in AllSmallGroups(1625) do Display(StructureDescription(i)); od;
C1625
C325 x C5
C13 x ((C5 x C5) : C5)
C13 x (C25 : C5)
C65 x C5 x C5

The output is explained in the manual:

http://www.gap-system.org/Manuals/doc/htm/ref/CHAP037.htm#SECT006

Best,
Heiko



On Tuesday 09 December 2008 20:56, Paweł Laskoś-Grabowski wrote:
> Hello,
>
> I have noticed that GAP Small Groups library provides useful information
> on the structure of groups belonging to the layer 1 of the library, but
> does not do so for (some) bit more complicated groups. I am rather
> dissatisfied by the output
>
> gap> SmallGroupsInformation(1625);
>
>    There are 5 groups of order 1625.
>    They are sorted by normal Sylow subgroups.
>       1 - 5 are the nilpotent groups.
>
> How can I obtain such a pleasant info like the following?
>
> gap> SmallGroupsInformation(125);
>
>    There are 5 groups of order 125.
>      1 is of type c125.
>      2 is of type 5x25.
>      3 is of type 5^2:5.
>      4 is of type 25:5.
>      5 is of type 5^3.
>
> And, by the way, what does the colon stand for in the 125,3 and 125,4
> type descriptions? I failed to find the explanation in the help pages.
>
> Regards,
> Paweł Laskoś-Grabowski
>
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum