Measuring Arithmetic Size

In ordinary analysis, the absolute value

measures the size of a real number.

In number theory, one studies more general notions of size that reflect arithmetic divisibility rather than geometric distance.

These generalized size functions are called valuations or absolute values.

They allow arithmetic to be studied analytically and lead naturally to $p$-adic numbers, local fields, and modern arithmetic geometry.

Ordinary Absolute Value

The standard absolute value on $\mathbb{Q}$ satisfies:

1. positivity:

2. multiplicativity:

3. triangle inequality:

This is called the Archimedean absolute value because repeated addition eventually exceeds any bound.

For example,

The usual geometry of the real line arises from this absolute value.

$p$-Adic Valuation

Fix a prime number $p$.

Every nonzero rational number $x$ can be written uniquely as

where

are integers not divisible by $p$.

The exponent $k$ is called the $p$-adic valuation of $x$, denoted

For example,

since

Similarly,

because

Thus the valuation measures divisibility by $p$.

$p$-Adic Absolute Value

From the valuation one defines the $p$-adic absolute value:

By convention,

Thus numbers highly divisible by $p$ become very small.

For example,

while

This behavior is opposite to the ordinary absolute value.

Large powers of $p$ are tiny in the $p$-adic world.

Non-Archimedean Triangle Inequality

The $p$-adic absolute value satisfies a much stronger triangle inequality:



This is called the ultrametric inequality.

Consequences include:

• every triangle is isosceles,
• balls are simultaneously open and closed,
• nested divisibility dominates geometry.

For example, if

then

$$ |x+y|_p

\max(|x|_p,|y|_p). $$

Cancellation behaves very differently from ordinary real analysis.

Completions

The rational numbers are incomplete with respect to the ordinary absolute value.

Completing them produces the real numbers:

Similarly, completing $\mathbb{Q}$ with respect to the $p$-adic absolute value produces the field of $p$-adic numbers:

Thus each prime $p$ generates its own arithmetic universe.

The fields

play a role analogous to the real numbers, but with arithmetic geometry governed by divisibility rather than Euclidean distance.

Ostrowski Theorem

A remarkable theorem classifies all absolute values on $\mathbb{Q}$.

Theorem (Ostrowski). Every nontrivial absolute value on $\mathbb{Q}$ is equivalent either to:

• the ordinary absolute value,
• or a $p$-adic absolute value for some prime $p$.

Thus the arithmetic geometry of $\mathbb{Q}$ is completely controlled by:

• the infinite place $\infty$,
• and the finite primes $p$.

This theorem explains why primes and completions occupy such a central role in number theory.

Valuation Rings

Given a valuation $v$, one defines the valuation ring

$$ \mathcal O_v

{x:v(x)\ge0}. $$

For the $p$-adic valuation, this ring is

the ring of $p$-adic integers.

Its maximal ideal is

Every nonzero element can be written uniquely as

where $u$ is a unit.

This decomposition mirrors prime factorization locally.

Local-Global Philosophy

Valuations allow arithmetic problems to be studied locally.

Instead of solving equations directly over $\mathbb{Q}$, one studies them over:

If an equation has no solution locally somewhere, then it cannot have a global rational solution.

This principle is central in Diophantine geometry.

The challenge is understanding when local solvability implies global solvability.

Product Formula

Absolute values on $\mathbb{Q}$ satisfy a remarkable balancing law.

For every nonzero rational number $x$,

$$ |x|_\infty \prod_p |x|_p

1, $$

where the product runs over all primes.



This formula expresses a deep equilibrium among all places of $\mathbb{Q}$.

The infinite absolute value and all $p$-adic absolute values together completely describe arithmetic size.

Geometric Interpretation

Valuations measure how functions vanish or blow up.

In algebraic geometry, valuations correspond to points, divisors, and local geometric behavior.

A valuation detects local arithmetic structure near a prime or near infinity.

This interpretation becomes fundamental in:

• algebraic geometry,
• arithmetic surfaces,
• rigid analytic geometry,
• Berkovich spaces.

Structural Importance

Valuations and absolute values provide the local language of number theory.

They underlie:

• $p$-adic analysis,
• local fields,
• Hensel lemma,
• ramification theory,
• adeles and ideles,
• modern arithmetic geometry.

The transition from global arithmetic to local valuations is one of the foundational ideas of twentieth-century number theory.