1: \begin{abstract}

2: Let $\Gamma$ be an infinite discrete subgroup of Gl$_n(\mathbb{C})$.

3: Then either $(\mathbb{R},<,+,\cdot,\Gamma)$ is interdefinable with $(\mathbb{R},<,+,\cdot, \lambda^{\mathbb{Z}})$ for some $\lambda \in \mathbb{R}$, or $(\mathbb{R},<,+,\cdot,\Gamma)$ defines the set of integers.

4: When $\Gamma$ is not virtually abelian, the second case holds.

5: \end{abstract}

6: