Hi all, I have a finitely presented finite group constituted of 3 generators modulo 6 relations. When I ask for StructureDescription I get something like (Cm x Cn):Ck for appropriate m,n,k as expected. What I would like to do however is to understand what GAP is "thinking of" when it spits this result out: for example, is there an easy way to access the generators of the normal subgroup and the "action" homomorphism from Ck to the automorphism group of Cm x Cn, or some splitting homomorphism, or equivalent - all in terms of the generators I have previously supplied? I believe I have trawled fully through the manual and the forum but cannot find anything - apologies if it is there and I just haven't found it!
Many thanks Gary. _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
