[GAP Forum] (no subject)

Alexander Hulpke ahulpke at gmail.com
Tue Apr 19 04:15:39 BST 2011


Dear Gap Forum,

On Apr 18, 2011, at 8:42 PM, zeinab foruzanfar wrote:
> Dear Gap
> When we have elements of a finite group of G and theirs order ,how can we show finite group of G as a 
> freegroup?

I presume you wanted to ask about expressing G as quotient of a free group.
phi:=IsomorphismFpGroup(G);
F:=Image(phi);
returns a finitely presented group,

FreeGeneratorsOfFpGroup(F) returns the corresponding free generators and
RelatorsOfFpGroup(F) the relators.

Regards,

  Alexander Hulpke


-- Colorado State University, Department of Mathematics,
Weber Building, 1874 Campus Delivery, Fort Collins, CO 80523-1874, USA
email: hulpke at math.colostate.edu, Phone: ++1-970-4914288
http://www.math.colostate.edu/~hulpke






More information about the Forum mailing list