[GAP Forum] re: some simple and obvious and MISSING items for the FAQ

shane miller clearthink at cavtel.net
Mon Oct 11 09:07:10 BST 2004


Hi,

I installed gap without problem using gapsync. GAP is
an impressive algebra system. However, some really 
obvious things are missing. Perhaps this needs mere
FAQ documentation:

1. Almost every tutorial or other documentation tells
    how one can compute 43 million things (like subgroups
    or cosets) on a given group but fails to:
    a. tell how to perform a binary operation on the
        darned elements of the group. Now, for Sn groups
        this appears documented via constructions like
        (1 2 3)(4 2 1) etc. But,
        1. what do you if 4 or 5 Sn groups have been
            constructed. Then the command (1 2 3)(4 2 1)
            applies to which Sn group? How does GAP match
            the binary operation request with a group
            structure esp. if more than one has been defined?
            Please make this general: Q8 or Z4 do not 
            (typically) use permutation notation.
        2. how to add, say, 5+13 in some Z/Z15 (i.e.
            15>5, 15>13) or Z/Z3 group? 
        3. How does GAP know Z/Z3 is using + (add) or
            '*'? This must be implied by the groups's
            generator?
2. Many classic groups like D4, Q8 can be constructed
    via simple commands. But there are no elements; they're
    only generators! How in the heck do you get GAP to
    tell you what the actual elements are for Q8? i.e.
           q8:=SmallGroup(8,4);
           Elements(q8) = [f1,f2,f3] <-- not elements
    In any basic algebra book Q8 is a group on 8 distinct
    symbols {i,j,k,1,-1,-i,-j,-k}. How do you make GAP use
    these elements? How can you get GAP to do this:
           Elements(q8)={i,j,k,1,-1,-i,-j,-k}
    Of course the i,j,k etc. are not special; but how can
    one specify this set? And finally how would one then
    ask GAP to compute, say, "-1*j" in q8?
3. Presumably, once (2) is solved, then commands like
           NormalSubgroups(q8)
    will print all the normal subgroups using (user
    specified) elements and not darned generator expressions.
    Ditto computing cosets, normalizers etc.
4. Another super feature is the GraphicSubgroupLattice.
    But again, the numbered subgroups in the diagram are
    not that useful. Suppose you diagram D16 and pick,
    at random, subgroup #3. How in the heck do you ask
    GAP to tell you the generating elements (not generator
    expressions) for that subgroup (#3 here)?
5. And finally, given (4), how do you tell GAP to generate
    the number #3 subgroup of D16 using the generation
    information from (4)?

Shane


-- 
Sure it's a technical problem of fine pedigree ... But all such problems
are wrapped inside a management problem. And there's the rub.




More information about the Forum mailing list