5
$\begingroup$

Let $\Gamma$ be a discrete cocompact subgroup of the euclidean motion group $$ G={\mathbb R}^d\rtimes O(d). $$ Let $\phi:G\to O(d)$ the projection homomorphism. Is it true that $\phi(\Gamma)$ is finite?

$\endgroup$
2
  • $\begingroup$ Aakumadula, why not post this as an answer? It seems sufficiently precise and comprehensive $\endgroup$
    – Yemon Choi
    Mar 6, 2013 at 16:13
  • $\begingroup$ Yemon Choi, I thought this was just a reference. But I see your point, that it will look like an unanswered query. $\endgroup$ Mar 6, 2013 at 17:04

1 Answer 1

5
$\begingroup$

The answer is yes. This is a theorem of Bieberbach (see Corollary (8.26) of the book "Discrete Subgroups of Lie Groups" by M.S.Raghunathan (Springer Ergebnisse Tract).

$\endgroup$
4
  • $\begingroup$ Interesting (to me!) that this is an established result, since without the co-compactness assumption the conclusion fails: an irrational winding in SO(2) combined with the one-dimensional discrete subgroup of translations immediately gives a non-discrete image in SO(2). $\endgroup$ Mar 7, 2013 at 0:47
  • $\begingroup$ Professor Garrett, I do not understand your remark. If I have an element of the form $(v,r)$ in the semi-direct product of ${\mathbb R}^2$ with $SO(2)$, where $r$ is an irrational rotation, there is no guarantee that itw powers (vector component) is discrete: the $n$-th power vector component is of the form $(1+r+\cdots +r^{n-1})v$, which can well converge. $\endgroup$ Mar 7, 2013 at 1:16
  • $\begingroup$ Of course, you can take $v\in {\mathbb R}^n$ $n\geq 3$ which is fixed by the rotation $r$, in which case you get a discrete group. When you assume "co-compactness", the vector parts are sufficiently many that the rotation parts do not always fix the vector part. $\endgroup$ Mar 7, 2013 at 1:24
  • $\begingroup$ @Aakumadula: indeed, this is a funny situation. It is late for me here in my time-zone, but (in case you'd not already in your own time thought through the facts) I'll add comments tomorrow which I hope will clarify the thing that'd been in my mind. Irrelevant to the question as posed. yes. $\endgroup$ Mar 7, 2013 at 2:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.