No non-trivial homomorphism to a group
Solution 1:
It is easy to see that such an $H$ is finitely generated and the rest follows from Nikolov-Segal theorem.
I wonder if there is a non high-tech way to prove it though!
No non-trivial homomorphism to a group
Solution 1:
It is easy to see that such an $H$ is finitely generated and the rest follows from Nikolov-Segal theorem.
I wonder if there is a non high-tech way to prove it though!