ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Deduction system
Zermelo-Fraenkel set theory
Collection of sets
Set union
Successor set
Inductive set
Set of inductive sets
Set of natural numbers
Set of integers
Set of rational numbers
Rational number
Definition D3568
P-adic rational number
Formulation 0
Let $p$ be a D571: Prime integer.
A D994: Rational number $q \in \mathbb{Q}$ is a P-adic rational number with respect to $p$ if and only if \begin{equation} \exists \, n \in \mathbb{Z}, \, m \in \mathbb{N} : q = \frac{n}{p^m} \end{equation}
Dyadic rational number
Triadic rational number