A function v from a field or a ring to a totally ordered abelian group (often R∪{∞} or Z∪{∞}) that measures size or divisibility, is multiplicative (v(xy)=v(x)+v(y) in additive notation) and satisfies a triangle-like inequality v(x+y) ≥ min(v(x),v(y)) in the non-archimedean case.

Principle

Assign to each element an order-of-vanishing or magnitude consistent with multiplication and a relaxed additive inequality, thereby encoding local behaviour relative to a chosen prime, place, or valuation ring.

Demonstration

On Q with the p-adic valuation vp, vp(p^k * a/b)=k when a,b are integers not divisible by p; for formal power series k((t)) the t-adic valuation sends t^n to n and sums satisfy the minimum rule.

Misapplication

Using an archimedean absolute value as if it satisfied the non-archimedean inequality or treating a valuation simply as any function measuring size without checking multiplicativity and the required inequality.

Consequence

A valuation induces a valuation ring, a maximal ideal of elements of positive value, residue fields and completions; it organizes local-to-global principles and controls convergence, divisibility filtrations, and ramification behaviour.

Reversal

Replace valuation by an absolute value that obeys the usual triangle inequality (archimedean), which measures size continuously but lacks the discrete divisibility filtration central to many arithmetic and algebraic structures.

Boundary

Valuations require a codomain with a total order and compatibility with multiplication; they differ from absolute values, norms, and places in technical axioms and are typically local in nature — not every size function qualifies as a valuation.

Semantic Tension

Valuation sits between absolute values, norms, and order functions: like an absolute value it measures size but, unlike archimedean norms, it often satisfies a strong non-archimedean inequality producing a discrete filtration linked to algebraic divisibility.

Synthesis

A valuation is a multiplicative, order-preserving assignment of 'size' or divisibility to elements via a totally ordered target, satisfying a triangle-like condition; it defines valuation rings and filtrations that capture local arithmetic and convergence properties.