1: \begin{abstract} 

2: Let $G(\Q)$ be a  simply connected Chevalley group over $\Q$ corresponding to a simple Lie algebra $\mathfrak g$ over $\C$. 

3: Let $V$ be a finite dimensional faithful highest weight $\mathfrak g$-module and let $V_\Z$ be a Chevalley $\Z$-form of~$V$. 

4: Let  $\Gamma(\Z)$ be the subgroup of $G(\Q)$ that preserves $V_{\Z}$   and let $G(\Z)$ be the group of $\Z$-points of $G(\Q)$. 

5: Then $G(\Q)$ is \emph{integral} if  $G(\Z)=\Gamma(\Z)$. Chevalley's original work constructs a scheme-theoretic integral form of $G(\Q)$ which equals $\Gamma(\Z)$. Here we give a representation-theoretic proof of integrality of $G(\Q)$ using only the action of  $G(\Q)$ on $V$, rather than the language of group schemes. We discuss the challenges and open problems that arise in trying to extend this to a proof of integrality for Kac--Moody groups over $\Q$.

6: \end{abstract}

7: