Skip to main content
3 of 8
Corrected a mistake.

Here is a partial answer. Thank you very much to Keivan Kara for having pointed out a mistake in the previous version of this post (I thought I had a complete answer).

Here is first a reduction to the case where our locally compact group $G$ is a Lie group.

More precisely, I want to show that if the answer to the title question is No for Lie groups, then it is No for locally compact groups.

Let $C$ be the connected component of $G$, and recall the following facts (see [1], [2] and references therein):

(1) If $G$ is totally disconnected, then $G$ contains a compact open subgroup.

(2) $C$ is a normal subgroup of $G$, and $G/C$ is totally disconnected.

(3) If $G$ is connected, then every neighborhood of 1 contains a compact normal subgroup $K$ such that $G/K$ is a connected Lie group.

Assume $G$ has no compact open subgroups. We must show that $G$ has a discrete infinite cyclic subgroup. As $C$ is noncompact by (1) and (2), we can assume $G=C$, that is $G$ is connected. Then (3) implies that $G$ contains a compact normal subgroup $K$ such that $G/K$ is a connected noncompact Lie group, and we can assume $K=1$, that is $G$ is a connected noncompact Lie group.

This is the announced reduction.

Let's now assume that $G$ is a connected noncompact Lie group.

Assume also that the center $Z$ of $G$ is not an infinite discrete torsion group.

I claim that $G$ has a discrete infinite cyclic subgroup.

Clearly, $Z$ has a discrete infinite cyclic subgroup, or $Z$ is compact. We can assume the latter, that is $Ad(G)$ is a connected noncompact Lie group, or, replacing $G$ with $Ad(G)$, we can suppose $G\subset GL_n(\mathbb R)$.

Say that an endomorphism $x$ of a real finite dimension vector space $V$ satisfies condition (C) if it is semisimple with imaginary eigenvalues, or, equivalently, if the subgroup $exp(\mathbb Z x)$ of $GL(V)$ is not an infinite discrete subgroup.

Let $\mathfrak g$ be the Lie algebra of $G$, and $x$ be in $\mathfrak g$. If $x$ is nonzero and satisfies (C), the same holds for $ad(x)$, implying $Killing(x,x) < 0$. If it were so for all nonzero $x$ in $\mathfrak g$, then $\mathfrak g$, and thus $G$, would be compact.

So the question is: Can the center of a connected Lie group be an infinite discrete torsion group.


[1] Willis, G. The structure of totally disconnected, locally compact groups. Math. Ann. 300 (1994), no. 2, 341-363.

http://gdz.sub.uni-goettingen.de/en/dms/load/img/?IDDOC=167209


[2] Willis, G. Totally disconnected, nilpotent, locally compact groups. Bull. Austral. Math. Soc. 55 (1997), no. 1, 143-146.

http://journals.cambridge.org/action/displayFulltext?type=1&fid=4856560&jid=BAZ&volumeId=55&issueId=01&aid=4856552