The representation theory of finite groups over the fields $\mathbb{C}$ or $\mathbb{Q}$ is clear. I am wondering what happens if we consider something similar over the group $\mathbb{Z}$. To be more precise, let $G$ be a finite subgroup of $\operatorname{GL}_n(\mathbb{Z})$, and consider the action of $G$ on $\mathbb{Z}^n$.
Question: How to describe $G$-invariant subgroups of $\mathbb{Z}^n$?