Dear Forum, > On Sep 10, 2015, at 2:44 AM, fahime babaee <f.alibab...@gmail.com> wrote: > I have a finitely generated subgroup H of a free group and I want the > generators of the quotient of H over the commutator subgroup of H. How can > I do it?
Assuming the subgroup is of finite index, you could apply `MaximalAbelianQuotient’ which gives you an epimorphism onto this quotient. By taking pre-images of the generators of the image you can get the generating set you want. 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
