The library of 3-groups contains all the 3-groups of size dividing 729. There are a total of 594 such groups, 1 of size 3, 2 of size 9, 5 of size 27, 15 of size 81, 67 of size 243, and 504 of size 729.
AllThreeGroups( fun1, val1, fun2, val2, ... )
AllThreeGroups returns the list of all the 3-groups that have the
properties given as arguments. Each property is specified by passing a
pair of arguments, the first is a function that can be applied to each
group, the second is either a single value or a list of values that the
function must return in order to select that group.
gap> l := AllThreeGroups( Size, 243, Rank, [2..4], pClass, 3 );; gap> Length ( l ); 33 gap> List( l, g -> Length( ConjugacyClasses( g ) ) ); [ 35, 35, 35, 35, 35, 35, 35, 243, 99, 99, 51, 51, 51, 51, 51, 51, 51, 51, 99, 35, 243, 99, 99, 51, 51, 51, 51, 51, 35, 35, 35, 35, 35 ]
OneThreeGroup( fun1, val1, fun2, val2, ... )
OneThreeGroup returns a single 3-group that has the properties given as
arguments. Each property is specified by passing a pair of arguments,
the first is a function that can be applied to each group, the second is
either a single value or a list of values that the function must return
in order to select that group.
gap> g := OneThreeGroup( Size, 729, Rank, 4, pClass, [3..5] ); Group( a1, a2, a3, a4, a5, a6 ) gap> IsAbelian( g ); true
OneThreeGroup recognize the following functions
and handle them usually very efficiently.
Rank for the rank of
the Frattini quotient of the group, and
pClass for the exponent-p
class of the group. Note that
pClass are dummy functions
that can be used only in this context, i.e., they cannot be applied to
ThreeGroup( size, nr )
ThreeGroup returns the nr-th group of size size. The group is
returned as a finite polycyclic group (see Finite Polycyclic Groups).
ThreeGroup will signal an error if size is not a power of 3 between
3 and 729, or nr is larger than the number of groups of size size.
Within each size the following criteria have been used, in turn, to determine the index position of a group in the list
gap> g := ThreeGroup( 243, 56 ); Group( a1, a2, a3, a4, a5 ) gap> pClass( g ); 3 gap> g.abstractRelators; [ a1^3, a2^3, a2^-1*a1^-1*a2*a1*a4^-1, a3^3, a3^-1*a1^-1*a3*a1, a3^-1*a2^-1*a3*a2*a5^-1, a4^3, a4^-1*a1^-1*a4*a1*a5^-1, a4^-1*a2^-1*a4*a2, a4^-1*a3^-1*a4*a3, a5^3, a5^-1*a1^-1*a5*a1, a5^-1*a2^-1*a5*a2, a5^-1*a3^-1*a5*a3, a5^-1*a4^-1*a5*a4 ]
Apart from the usual components described in Group Records, the group records returned by the above functions have the following components.
Descriptions of the algorithms used in constructing the library data may be found in citeOBr90,OBr91.
The library was generated and brought into GAP format by E.A.~O'Brien and Colin Rhodes. David Baldwin, M.F.~Newman, and Maris Ozols have contributed in various ways to this project and to correctly determining these groups. The library design is modelled on and borrows extensively from the 2-groups library, which was brought into GAP format by Werner Nickel, Alice Niemeyer, and E.A.~O'Brien.
Previous Up Top Next