Dear Forum By Schreiers formula we know that the rank of a finite index subgroup of a free group of finite rank is finite. How can I find this set of generators in gap? For example if we take natural homorphism from the free group f(x,y) to the symmetric group S_n, we know that the kernel has rank n!+1, How can I find a set of generators of the kernel?
All the best _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum