A dyadic rational number is a rational number $r \in \mathbb{Q}$ such that the following equivalent conditions hold
the binary expansion of $r$ has finitely many digits;
there exists $n,a \in \mathbb{N}$ such that $r = \frac{a}{2^n}$.
The commutative ring of dyadic rational numbers $\mathbb{Z}[1/2]$ is the localization of the integers $\mathbb{Z}$ away from $2$.
Last revised on June 1, 2021 at 08:19:47. See the history of this page for a list of all contributions to it.