Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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: no topology is considered on $H$ and "homomorphism" simply means "group homomorphism."

share|cite|improve this question
A somewhat related question was asked and answered on MO, recently. I haven't looked at the paper mentioned in the answer, but maybe it contains something useful for this question. – t.b. Nov 15 '11 at 22:53
@t.b:The given thread solves the problem. Thank you. – Ehsan M. Kermani Dec 25 '11 at 4:46
Ehsanmo, could you then answer your own question and accept the answer so this question doesn't show up in unanswered questions? Thank you. – user23211 Mar 5 '12 at 9:16
@ymar: Yes, sure. – Ehsan M. Kermani Mar 5 '12 at 9:26
up vote 1 down vote accepted

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!

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.