[GAP Forum] (no subject)

[fahime babaee]

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