Reference request: number theory of Z[1/p] Can anyone suggest a good place to read up on the number theoretic properties of and techniques for $\mathbb{Z}[1/p]$, (that is, rational numbers with only powers of a prime $p$ in the denominator)?
I find myself struggling to answer some of the more basic questions about this ring, especially whether or not it is a Euclidean domain, and if so, what the associated Euclidean function/algorithm is.
Thanks in advance!
 A: The general fact here is that any localization of a Euclidean domain is again a Euclidean domain.  I will restrict myself to the case where the Euclidean norm on $R$ is multiplicative, i.e., 
satisfies $|xy| = |x| |y|$ (as does the absolute value on $\mathbb{Z}$, of course), and in this case I will define an explicit Euclidean norm on the localized ring in terms of the given norm 
and the (let's say saturated, WLOG) multiplicative subset $S$.
For a ring $R$, I write $R^{\bullet}$ for $R \setminus \{0\}$.
Since $R$ is Euclidean, it is a UFD, so to give a function $|\ |: R \setminus \{0\} \rightarrow \mathbb{Z}^{> 0}$ such that $|1| = 1$, $|xy| = |x| |y|$ and $x \in R^{\times} \iff |x| = 1$, it is enough to send every principal prime ideal $(\pi)$ to some integer $n_{\pi} > 1$.  (This holds because the multiplicative monoid of principal nonzero $R$-ideals is the free commutative monoid on the principal prime ideals.) Then the norm of an arbitrary nonzero element of $R$ is defined by the uniqueness of factorization into principal prime ideals.
The multiplicative group $R_S^{\bullet}$ of a localization $R_S$ is the free commutative monoid on the principal prime ideals $(\pi)$ such that $(\pi) \cap S = \emptyset$.  One can view this naturally as a submonoid of $R^{\bullet}$ and therefore define an induced norm $| \ |_S$.   In other words, if $x \in R^{\bullet}$, write $x = s_x x'$ where $s_x \in S$ and $x'$ is prime to $S$.  then, for any $s \in S$, 
$|\frac{x}{s}|_S = |x|_S = |s_x x'|_S = |x'|_S = |x'|$.
Note that for all $x \in R$, we have $|x|_S \leq |x|$.
Let us now show that if $R$ is Euclidean under $| \ |$, $R_S$ is Euclidean under $|\ |_S$: 
for $A \in R_S$ and $B \in R_S^{\bullet}$, we must find $Q \in R_S$ such that $|A-QB|_S < |B|_S$.  There exist $a,b \in R$ and $s \in S$ such that $A = \frac{a}{s}$, $B = \frac{b}{s}$.  Then, since $s \in R_S^{\times}$, $|a-Qb|_S = |\frac{a}{s} - Q \frac{b}{s}|_S = |A - QB|_S$ and $|b|_S = |\frac{b}{s}|_S = |B|_S$, so without loss of generality 
we may take $s = 1$.  
As above, write $b = s_b b'$, and choose $q \in R$ such that $|a-qb'| < |b'|$.  Put $Q = \frac{q}{s_b}$.  Then
$|a - Q b|_S = |a- \frac{q}{s_b} b|_S = |a-q b'|_S \leq |a-qb'| < |b'| = |b'|_S = |b|_S.$
For your particular question $R = \mathbb{Z}$, the Euclidean norm is the usual absolute value, and $S = \{2^a \ | \ a \in \mathbb{Z}^+\}$.
