Dear Alexander and Thomas, Thank you for replies. After I reported, I also noticed that apparently 'AllHomomorphisms' does work for some infinite groups as well.
gap> AllHomomorphisms(DihedralGroup(infinity), CyclicGroup(2)); [ [ r, s ] -> [ <identity> of ..., <identity> of ... ], [ r, s ] -> [ <identity> of ..., f1 ], [ r, s ] -> [ f1, <identity> of ... ], [ r, s ] -> [ f1, f1 ] ] So I expect/guess Hom(G, H) for G finitely generated and H finite is computable. Best regards, Taro > 'AllHomomorphism' has been changed such that the two arguments are required to be *finite* groups. > `AllHomomorphisms` only works for finite groups. >> gap> AllHomomorphisms(CyclicGroup(infinity), CyclicGroup(2)); >> [ ] _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum
