1: \begin{abstract} Let $S$ be a finite non-empty set of primes, $\Z_S$ the ring of those rationals whose denominators are not divisible by primes outside $S$, and $\Z_S^*$ the multiplicative group of invertible elements ($S$-units) in $\Z_S$. For a non-empty subset $A$ of $\Z_S$, denote by $\G_S(A)$ the graph with vertex set $A$ and with an edge between $a$ and $b$ if and only if $a-b\in\Z_S^*$. This type of graphs has been studied by many people.

2: 

3: In the present paper we deal with the representability of finite (simple) graphs $G$ as $\G_S(A)$. If $A'=uA+a$ for some $u\in \Z_S^*$ and $a\in \Z_S$, then $A$ and $A'$ are called $S$-equivalent, since $\G_S(A)$ and $\G_S(A')$ are isomorphic. We say that a finite graph $G$ is {\sl representable / infinitely representable} with $S$ if $G$ is isomorphic to $\G_S(A)$ for some $A$ / for infinitely many non-$S$-equivalent $A$.

4: 

5: We prove among other things that for any finite graph $G$ there exist infinitely many finite sets $S$ of primes such that $G$ can be represented with $S$. We deal with the infinite representability of finite graphs, in particular cycles and complete bipartite graphs. Further, we consider the triangles in $G$ for a deeper analysis. Finally, we prove that $G$ is representable with every $S$ if and only if $G$ is cubical.

6: 

7: Besides combinatorial and numbertheoretical arguments, some deep Diophantine results concerning $S$-unit equations are used in our proofs.

8: 

9: In Part II, we shall investigate these and similar problems over more general domains.

10: \end{abstract}

11: