A dyadic rational number is a rational number such that the binary expansion of has finitely many digits.
A dyadic rational number is a rational number such that there exists and such that .
The commutative ring of dyadic rational numbers is the localization of the integers away from .
For lack of a better name, let us define a set with dyadic rational numbers to be a set with a function , such that
The integer represents the integer if one ignores the separator in the binary numeral representation of the dyadic rational number, and the natural number represents the number of digits to the left of the final digit where the separator ought to be placed after in the binary numeral representation of the dyadic rational number. The axiom above is used to state that equivalent numeral representations are equal: i.e. 1.00 = 1.000 with binary numeral representations.
A homomorphism of sets with dyadic rational numbers between two sets with dyadic rational numbers and is a function such that
The category of sets with dyadic rational numbers is the category whose objects are sets with dyadic rational numbers and whose morphisms for sets with dyadic rational numbers , are homomorphisms of sets with dyadic rational numbers. The set of dyadic rational number, denoted , is defined as the initial object in the category of sets with dyadic rational number.
The algebraic closure of the dyadic rational numbers is called the field of algebraic numbers, and is thus isomorphic to , the algebraic closure of the rational numbers.
There are several interesting topologies on that make into a topological group under addition, allowing us to define interesting fields by taking the completion with respect to this topology:
The discrete topology is the most obvious, which is already complete.
The absolute-value topology is defined by the metric ; the completion is the field of real numbers.
(This topology is totally disconnected.)
The -adic topology is defined by the ultrametric where is the highest exponent on in the prime factorization of ; the completions of each metric are the fields of -adic numbers.
Last revised on November 23, 2023 at 21:47:41. See the history of this page for a list of all contributions to it.