[GAP Forum] Group homomorphisms

[Thomas Breuer]

Dear Taro Sakurai,

thank you very much for your message.
You are right that the current behaviour is not correct.

In GAP's development version, the documentation of the function
'AllHomomorphism' has been changed such that the two arguments
are required to be *finite* groups.

All the best
Thomas

On Sat, Feb 26, 2022 at 04:48:03PM +0900, Sakurai, Taro (Chiba Univ.) wrote:
> Dear all,
> 
> I'd like to report an unexpected behavior that I encountered in GAP 4.11.1.
> 
> gap> AllHomomorphisms(CyclicGroup(infinity), CyclicGroup(2));
> [  ]
> 
> I think it should return two group homomorphisms (or at least fail/error),
> but it won't.
> 
> Best regards,
> Taro Sakurai