p-adic number

Mathematics often looks at how numbers grow larger or smaller using a standard ruler. We use the absolute value to measure distance on a number line. However, mathematicians have discovered other ways to measure how "close" numbers are to each other. One of the most important ways is through p-adic numbers. These numbers are built using a specific prime number, which we call p.

While real numbers extend infinitely to the right of a decimal point, p-adic numbers extend infinitely to the left. This creates a unique mathematical landscape that helps us solve complex problems in number theory.

To understand how they work, imagine writing numbers in a specific base. In our everyday base-10 system, we use digits from zero to nine. In a p-adic system, we only use digits from zero up to p minus one. A p-adic integer is written as a formal power series. It looks like a sum where each digit is multiplied by a power of p.

Because the digits extend to the left, we can perform addition and multiplication similarly to long multiplication. When adding, you carry digits from right to left. If a number has digits that extend to the right of the starting point, it is called a p-adic number rather than just an integer.

There are two main types of these mathematical objects. The first are p-adic integers, often written as $\mathbb{Z}_p$. These are numbers where the digits only extend to the left. The second are p-adic numbers, written as $\mathbb{Q}_p$. These are a broader group that includes p-adic integers plus numbers with a finite number of digits to the right of the decimal. You can think of p-adic numbers as being formed by taking a p-adic integer and dividing it by a power of p. This structure allows the p-adic numbers to form a mathematical field. In a field, you can always perform addition, subtraction, multiplication, and division.

History shows that these ideas grew from a need to solve equations. In 1897, a mathematician named Kurt Hensel first described p-adic numbers. Before his discovery, mathematicians used modular arithmetic to study numbers. Modular arithmetic looks at the remainders left over after division. While helpful, modular arithmetic can lose information because it is not injective. This means different numbers might end up with the same remainder. Hensel developed a way to "lift" solutions from a small prime modulus to higher prime powers. This process creates an infinite sequence of residues that defines a p-adic number.

We can also define these numbers using a special way of measuring, called the p-adic absolute value. In standard math, a larger power of ten makes a number much larger. In p-adic math, the rules change based on the prime p. The p-adic valuation of a number is the exponent of the highest power of p that divides it. The p-adic absolute value is then calculated using this exponent. Specifically, if the valuation of a number $x$ is $v_p(x)$, the absolute value is $p^{-v_p(x)}$. This means that numbers divisible by very large powers of p are actually considered very "small" in this system.

One surprising fact is how p-adic numbers relate to the rational numbers we use every day. Every single rational number can be uniquely expressed as a p-adic series. This allows mathematicians to view rational numbers as a special subset of p-adic numbers. For example, in a 3-adic system, the fraction one over three is a 3-adic integer. However, a fraction like one over two is not a 3-adic integer because its denominator is not divisible by three. This distinction helps researchers categorize numbers based on their divisibility properties.

Today, p-adic numbers are essential tools in modern mathematics. They serve as a completion of the rational numbers, much like real numbers are a completion of the rationals. By using the p-adic absolute value instead of the usual one, we create a different kind of space. This space allows us to study Diophantine equations, which are equations where we look for integer solutions. By looking at these equations through a p-adic lens, we can find patterns that are invisible in the standard real number system. They connect simple arithmetic to the deep, complex structures of higher algebra.