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: hul...@math.colostate.edu, Phone: ++1-970-4914288 http://www.math.colostate.edu/~hulpke _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
