Summary
In algebra (in particular in algebraic geometry or algebraic number theory), a valuation is a function on a field that provides a measure of the size or multiplicity of elements of the field. It generalizes to commutative algebra the notion of size inherent in consideration of the degree of a pole or multiplicity of a zero in complex analysis, the degree of divisibility of a number by a prime number in number theory, and the geometrical concept of contact between two algebraic or analytic varieties in algebraic geometry. A field with a valuation on it is called a valued field. One starts with the following objects: a field K and its multiplicative group K×, an abelian totally ordered group (Γ, +, ≥). The ordering and group law on Γ are extended to the set Γ ∪ {∞} by the rules ∞ ≥ α for all α ∈ Γ, ∞ + α = α + ∞ = ∞ + ∞ = ∞ for all α ∈ Γ. Then a valuation of K is any map v : K → Γ ∪ {∞} which satisfies the following properties for all a, b in K: v(a) = ∞ if and only if a = 0, v(ab) = v(a) + v(b), v(a + b) ≥ min(v(a), v(b)), with equality if v(a) ≠ v(b). A valuation v is trivial if v(a) = 0 for all a in K×, otherwise it is non-trivial. The second property asserts that any valuation is a group homomorphism. The third property is a version of the triangle inequality on metric spaces adapted to an arbitrary Γ (see Multiplicative notation below). For valuations used in geometric applications, the first property implies that any non-empty germ of an analytic variety near a point contains that point. The valuation can be interpreted as the order of the leading-order term. The third property then corresponds to the order of a sum being the order of the larger term, unless the two terms have the same order, in which case they may cancel, in which case the sum may have larger order. For many applications, Γ is an additive subgroup of the real numbers in which case ∞ can be interpreted as +∞ in the extended real numbers; note that for any real number a, and thus +∞ is the unit under the binary operation of minimum.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related courses (6)
MATH-494: Topics in arithmetic geometry
P-adic numbers are a number theoretic analogue of the real numbers, which interpolate between arithmetics, analysis and geometry. In this course we study their basic properties and give various applic
MATH-662: Perfectoid spaces
The course is about defining perfectoid spaces, and possibly presenting some applications.
MATH-417: Number theory II.b - selected topics
This year's topic is "Adelic Number Theory" or how the language of adeles and ideles and harmonic analysis on the corresponding spaces can be used to revisit classical questions in algebraic number th
Show more
Related lectures (32)
DVR and Irreducible Plane Curves
Explores Discrete Valuation Rings and their role in irreducible plane curves.
P-adic Expansion and Hensel's Lemma
Covers the p-adic expansion theorem and Hensel's Lemma in Qp.
Norms and Valuations on Fields
Covers the construction of Qp, norms, valuations, and Ostrovski's theorem.
Show more
Related publications (33)
Related concepts (16)
Algebraic number field
In mathematics, an algebraic number field (or simply number field) is an extension field of the field of rational numbers such that the field extension has finite degree (and hence is an algebraic field extension). Thus is a field that contains and has finite dimension when considered as a vector space over . The study of algebraic number fields, and, more generally, of algebraic extensions of the field of rational numbers, is the central topic of algebraic number theory.
Discrete valuation ring
In abstract algebra, a discrete valuation ring (DVR) is a principal ideal domain (PID) with exactly one non-zero maximal ideal. This means a DVR is an integral domain R which satisfies any one of the following equivalent conditions: R is a local principal ideal domain, and not a field. R is a valuation ring with a value group isomorphic to the integers under addition. R is a local Dedekind domain and not a field. R is a Noetherian local domain whose maximal ideal is principal, and not a field.
Absolute value (algebra)
In algebra, an absolute value (also called a valuation, magnitude, or norm, although "norm" usually refers to a specific kind of absolute value on a field) is a function which measures the "size" of elements in a field or integral domain. More precisely, if D is an integral domain, then an absolute value is any mapping |x| from D to the real numbers R satisfying: It follows from these axioms that |1| = 1 and |-1| = 1. Furthermore, for every positive integer n, |n| = |1 + 1 + ... + 1 (n times)| = |−1 − 1 − .
Show more