nLab
dyadic rational number

Contents

Contents

Definition

A dyadic rational number is a rational number rr \in \mathbb{Q} such that the following equivalent conditions hold

  1. the binary expansion of rr has finitely many digits;

  2. there exists n,an,a \in \mathbb{N} such that r=a2 nr = \frac{a}{2^n}.

The commutative ring of dyadic rational numbers [1/2]\mathbb{Z}[1/2] is the localization of the integers \mathbb{Z} away from 22.

References

Last revised on June 18, 2021 at 20:05:16. See the history of this page for a list of all contributions to it.