Dear GAP Forum, I am trying to find generators of a factor group. I have input dozens of generators and relations and when I use the command
AbelianInvariants(F/relations); the result was something like 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 3, 3, 3, 4, 4, 5 (I have reduced the number of 0's for simplicity.) My question is, the result shows that the Abelianization of F/relations is a direct sum of some Z's and some finite cyclic groups; how can I find an explicit set of generators? I am especially interested in how to find the elements of order 2, 3, 4, 5, respectively. Any assistance will be greatly appreciated. Minghui _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
