Dear Josh,
The commands you are looking for are
SimplifiedFpGroup
SimplifiedFpGroup
The first does the Tietze transformations and returns the simplified
Fp group and the second gives an isomorphism from the original group
to the simplified one.
Example:
gap> G := Image(IsomorphismFpGroup(DihedralGroup(8)));
<fp group of size 8 on the generators [ F1, F2, F3 ]>
gap> SimplifiedFpGroup(G);
<fp group on the generators [ F1, F2 ]>
gap> IsomorphismSimplifiedFpGroup(G);
[ F1, F2, F3 ] -> [ F1, F2, F2^-2 ]
Hope this helps.
Regards, Robert F. Morse
On Tue, Oct 28, 2008 at 9:44 PM, Josh Roberts <[EMAIL PROTECTED]> 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
> [email protected]
> http://mail.gap-system.org/mailman/listinfo/forum
>
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
