[GAP Forum] Simplified Fp Group

[Jack Schmidt]

You want

f:=FreeGroupOfFpGroup(G);

FreeGeneratorsOfFpGroup(G) gives the generators of f directly.  It is  
equivalent to GeneratorsOfGroup(FreeGroupOfFpGroup(G)) or  
List(GeneratorsOfGroup(G),UnderlyingElement);


On 2008-10-28, at 22:44, Josh Roberts wrote:

> Suppose I give a finitely presented group F/R, where
> F:=FreeGroup("a","b",etc) and R is a list of words in "a", "b",  
> etc.  I then
> use TzGoGo to simplify the presentation. I can do  
> G:=FpGroupPresentation to
> get the new presentation. But how can I obtain the generators and  
> relators
> again? If I do f:=GeneratorsofGroup(G) for a list of the generators  
> and
> r:=RelatorsOfFpGroup(G) for a list of the relators f/r gives an error.
>
> I understand that this is caused by f being a list and not actually  
> a free
> group. But is there a way to build the group using the new, simplifed
> presentation? I want to be able to use f/r and get my group.
>
> Thanks,
> Josh
> --
> Josh Roberts, Graduate Student
> University of Kentucky - Mathematics
> http://www.ms.uky.edu/~jroberts
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum