Welcome to MathOverflow

Question

0

Here is a question I posted some months ago in Math.SE, and t.b. mentioned to the following question by Florent MARTIN which is somehow related to my question;

Let $G$ be a compact Hausdorff topological group, and let $H$ be a torsion-free group satisfying the ascending condition, i.e. there are no infinite strictly ascending chains $H_1 < H_2<...$ of subgroups of $H.$

Prove that there is no non-trivial homomorphism of $G$ into $H.$

Note that, no topology is considered on $H$ and "homomorphism" simply means "group homomorphism."

flag	asked Dec 20 2011 at 1:10 Ehsan M. Kermani 839●6●12

If $G$ is finite, it's false. So I guess you should take $G$ infinite. Do you want to show that there is no injective homomorphism $G \to H$? Because then you just need to show that $G$ fails to have the ascending condition. Hint: $G$ is uncountable. If that isn't what you mean, then take $G$ profinite and let $H$ be a finite quotient. Or am I missing something? – Richard Kent Dec 20 2011 at 1:22

2

Doesn't the answer to Florent's question answer yours? The acc implies finitely generated and by the answer to that question all fg images are finite. – Benjamin Steinberg Dec 20 2011 at 1:23

1

Richard, he said H is torsion-free so in particular not finite. – Benjamin Steinberg Dec 20 2011 at 1:24

Oh, thanks. Missed it. – Richard Kent Dec 20 2011 at 3:16

Benjamin Steinberg · Accepted Answer · 2011-12-20 01:35:40Z UTC

There are no non-trivial homomorphisms from a compact group to a torsion-free finitely generated group by the theorem of Nikolov and Segal quoted in the answer by Andreas to Florent's question (mentioned by the OP above). Since ascending chain condition on subgroups implies finite generation, this answers the question.

Nb. Please upvote Andreas's answer if you like this one.

No non-trivial homomorphism to a group

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.