[GAP Forum] Group homomorphisms

[Sakurai, Taro (Chiba Univ.)]

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));
>> [  ]