Reference for a linear algebra result

This argument is fairly standard, but it is quicker to repeat it than to find a reference: Let $G$ be a finite subgroup of $GL_n(\mathbb{Q})$. Set $\Lambda = \sum_{g \in G} g \cdot \mathbb{Z}^n \subset \mathbb{Q}^n$. Then $\Lambda$ is a finitely generated torsion free abelian group, hence isomorphic to $\mathbb{Z}^r$ for some $r$. Since $\mathbb{Z}^n \subseteq \Lambda \subset \mathbb{Q}^n$, we have $r=n$. Clearly, $g \Lambda = \Lambda$ for all $g \in G$.

Let $h \in GL_n(\mathbb{Q})$ take the standard basis to a basis of $\Lambda$, so $h \mathbb{Z}^n = \Lambda$ and $\mathbb{Z}^n = h^{-1} \Lambda$. Then $h^{-1} g h$ takes $h^{-1} \Lambda = \mathbb{Z}^n$ to itself for all $g \in G$, so $h^{-1} G h \subset GL_n(\mathbb{Z})$.

David Speyer has answered the question, but let me add some background. The general result is that if $R$ is a principal ideal domain with field of fractions $K$, and $G$ is a finite group, then every finite dimensional representation of $G$ over $K$ may be realised over $R$ ( ie, is equivalent to a representation over $R$). The general proof is essentially the one that David gives.

As well as the integral case considered in the question, the general result was important for the development by Richard Brauer of modular representation theory: the idea of "reduction (mod $p$)" of a complex representation relies on it: the representation of the finite group $G$ is first realised over a suitable finite extension $K$ of $\mathbb{Q}$, and then $K$ may be viewed as the field of fractions of a localisation $R$ at a prime ideal $\pi$ containing $p$ of the ring of algebraic integers in $K$. Then since $R$ is a PID, the $K$-representation may then be realized over $R$. Then the given representation may be reduced (mod $\pi$), yielding representation of $G$ over the finite field $R/\pi$.

In general, it is not a straightforward issue to decide whether a representation of a finite group $G$ over a number field $K$ may be realised over the ring of integers of $K$. Some of the issues are well illustrated in the article "Three letters to Walter Feit" by J-P. Serre (which is visible online), which considers special cases of this question.

I think this should work: let $S$ be the set of primes occurring in the denominators of the entries of the elements of $G$, and let $\mathbb{Z}[S^{-1}]$ be the subring of $\mathbb{Q}$ generated by adjoining $1/p$ for $p\in S$.

Let $\mathbb{Q}_S = \prod_{p\in S} \mathbb{Q}_p$ and let $\mathbb{Z}_S = \prod_{p\in S} \mathbb{Z}_p$. We'll show that we can conjugate $G$ into $GL_n(\mathbb{Z}_S)$ by an element of $x$ $GL_n(\mathbb{Z}[S^{-1}])$. This is enough, since it shows then the $p$-adic valuation of all entries of elements of $x^{-1}Gx$ is nonnegative, and of course we still have $x^{-1}Gx\in GL_n(\mathbb{Q})$.

To this end, because $G$ is finite, it compact, so given a $p$ there is some $x_p\in GL_n(\mathbb{Q}_p)$ such that $x_p^{-1}Gx_p \leq GL_n(\mathbb{Z}_p)$. In fact, the set of such $x_p$ is open in $GL_n(\mathbb{Q}_p)$ since $G$ is finite and the map $x_p \mapsto x_p^{-1}gx_p$ is continuous. Because $GL_n(\mathbb{Z}[S^{-1}])$ is dense in $GL_n(\mathbb{Q}_S)$, there is in fact an $x\in GL_n(\mathbb{Z}[S^{-1}])$ that conjugates $G$ into $GL_n(\mathbb{Z}_S)$, completing the proof.