Welcome to MathOverflow

Question

17

5

I wonder if it there exists a topological compact group $G$ (by compact, I mean Hausdorff and quasi-compact) and a non-zero group morphism $\phi : G \to \mathbb{Z}$ (without assuming any topological condition on this morphism).

For compact Lie groups, using the exponential map, the answers is no, but in general I don't know.

flag	asked Nov 15 2011 at 9:01 Florent MARTIN 193●6

3

If G is metrizable then the answer is no - by Dudley's theorem, $\phi$ must be continuous hence is zero everywhere. I don't know what happens in general. – Julien Melleray Nov 15 2011 at 9:11

Thanks. However, if I got it well I can use Dudley's theorem has, if G is metric and complete, a morphism from G to Z is continuous? For Dudley's theorem I found this math.univ-lyon1.fr/~melleray/rapport-LeMaitre.pdf , part 3. Otherwise, there is the following (part 3 too), but I didn't understand the proof : math.univ-lyon1.fr/~melleray/Rosendal.pdf – Florent MARTIN Nov 15 2011 at 9:53

Andreas Thom · Accepted Answer · 2011-11-16 17:11:01Z UTC

36

The answer is no in general, but this is a rather deep fact.

Theorem: (Nikolov, Segal) If $G$ is any compact Hausdorff topological group, then every finitely generated (abstract) quotient of $G$ is finite.

N. Nikolov and D. Segal, Generators and commutators in finite groups; abstract quotients of compact groups, arXiv, http://arxiv.org/abs/1102.3037

edited Nov 16 2011 at 17:11

answered Nov 15 2011 at 9:39

Andreas Thom
13.1k●1●23●64

2

1+. It's hard to believe that such a result was only proven recently, in 2011. – Martin Brandenburg Nov 15 2011 at 11:43

1

this is a 2nd generation proof -- the first one is from 2005 :) – kassabov Nov 15 2011 at 16:43

As Alain mentions, the first proof (with target $\mathbf{Z}$) is from R. Alperin in the early 80's; actually the 1982 paper refers to the older [Compact groups acting on trees. Houston J. Math. 6 (1980), no. 4, 439--441.] The proof is subtle but quite elementary, this is considerably simpler than the Nikolov-Segal result. – Yves Cornulier Jun 5 at 21:48

Alain Valette · Answer 2 · 2011-11-15 12:45:28Z UTC

Andreas shot first, but I still encourage everybody to have a look at the lemma on p.263 of R. Alperin,Locally compact groups acting on trees and property $T$. Monatsh. Math. 93 (1982), no. 4, 261–265: any homomorphism from a locally compact group to $\mathbb{Z}$, is continuous. This answers Florent's question.

morphism from a compact group to Z ?

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

2 Answers

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.