# Absolute value (algebra)

Absolute value (algebra)

In mathematics, an absolute value 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 |&thinsp;&sdot;&thinsp;| from "D" to the real numbers R satisfying:

* |&thinsp;"x"&thinsp;| ≥ 0,
* |&thinsp;"x"&thinsp;| = 0 if and only if "x" = 0,
* |&thinsp;"xy"&thinsp;| = |&thinsp;"x"&thinsp;||&thinsp;"y"&thinsp;|,
* |&thinsp;"x" + "y"&thinsp;| ≤ |&thinsp;"x"&thinsp;| + |&thinsp;"y"&thinsp;|.

Note that some authors use the term valuation or norm instead of "absolute value".

Types of absolute value

If |&thinsp;"x" + "y"&thinsp;| satisfies the stronger property |&thinsp;"x" + "y"&thinsp;| &le; max(|"x"|, |"y"|), then |&thinsp;&sdot;&thinsp;| is called an ultrametric or non-Archimedean absolute value, and otherwise an Archimedean absolute value.

If |&thinsp;"x"&thinsp;| = 1 for all nonzero values, the absolute value is called trivial and otherwise nontrivial.

Places

If |&thinsp;&sdot;&thinsp;|1 and |&thinsp;&sdot;&thinsp;|2 are two absolute values on the same integral domain "D", then the two absolute values are "equivalent" if nowrap| |&thinsp;"x"&thinsp;|1 < 1 if and only if nowrap| |&thinsp;"x"&thinsp;|2 1. If two nontrivial absolute values are equivalent, then for some exponent "e", we have |&thinsp;"x"&thinsp;|1"e" = |&thinsp;"x"&thinsp;|2. Absolute values up to equivalence, or in other words, an equivalence class of absolute values, is called a place.

Ostrowski's theorem states that the nontrivial places of the rational numbers Q are the ordinary absolute value and the "p"-adic absolute value for each prime "p". For a given prime "p", the "p"-adic absolute value of the rational number "q" = "p""n"("a"/"b"), where "a" and "b" are integers not divisible by "p", is :$left|p^n frac\left\{a\right\}\left\{b\right\} ight|_p = p^\left\{-n\right\}.$ Since the ordinary absolute value and the "p"-adic absolute values are normalized, these define places.

Valuations

If for some ultrametric absolute value we define &nu;("x") = −log"b"|&thinsp;"x"&thinsp;| for any base "b" > 1, and extend by defining &nu;(0) = &infin;, which is ordered to be greater than all real numbers, we obtain a function from "D" to R ∪ {∞}, with the following properties:

* &nu;("x") &le; &infin;,
* &nu;("x") = &infin; &rArr; "x" = 0,
* &nu;("xy") = &nu;("x") + &nu;("y"),
* &nu;("x" + "y") &ge; min(&nu;("x"), &nu;("y")).

Such a function is known as a "valuation" in the terminology of Bourbaki, but other authors use the term "valuation" for "absolute value" and then say "exponential valuation" instead of "valuation".

Completions

Given an integral domain "D" with an absolute value, we can define the Cauchy sequences of elements of "D" with respect to the absolute value by requiring that for every "r" > 0 there is a positive integer "N" such that for all integers "m", "n" > "N" one has |&thinsp;"x""m" − "x""n"&thinsp;| &lt; "r". It is not hard to show that Cauchy sequences under pointwise addition and multiplication form a ring. One can also define null sequences as sequences of elements of "D" such that |&thinsp;"a""n"&thinsp;| converges to zero. Null sequences are a prime ideal in the ring of Cauchy sequences, and the quotient ring is therefore an integral domain. The domain "D" is embedded in this quotient ring, called the completion of "D" with respect to the absolute value |&thinsp;&sdot;&thinsp;|.

Since fields are integral domains, this is also a construction for the completion of a field with respect to an absolute value. To show that the result is a field, and not just an integral domain, we can either show that null sequences form a maximal ideal, or else construct the inverse directly. The latter can be easily done by taking, for all nonzero elements of the quotient ring, a sequence starting from a point beyond the last zero element of the sequence. Any nonzero element of the quotient ring will differ by a null sequence from such a sequence, and by taking pointwise inversion we can find a representative inverse element.

Another theorem of Alexander Ostrowski has it that any field complete with respect to the usual Archimedean absolute value is isomorphic to either the real or the complex numbers. Ultrametric complete fields are far more numerous, however.

Fields and integral domains

If "D" is an integral domain with absolute value |&thinsp;&sdot;&thinsp;|, then we may extend the definition of the absolute value to the field of fractions of "D" by setting

:$|x/y| = |x|/|y|.,$

On the other hand, if "F" is a field with ultrametric absolute value |&thinsp;&sdot;&thinsp;|, then the set of elements of "F" such that |&thinsp;"x"&thinsp;| ≤ 1 defines a valuation ring, which is a subring "D" of "F" such that for every nonzero element "x" of "F", at least one of "x" or "x"−1 belongs to "D". Since "F" is a field, "D" has no zero divisors and is an integral domain. It has a unique maximal ideal consisting of all "x" such that |&thinsp;"x"&thinsp;| < 1, and is therefore a local ring.

* Valuation (algebra)
* Absolute value
* Valuation ring
* Local ring

References

*cite book
author = Nicolas Bourbaki
title = Commutative Algebra
year = 1972

*cite book
author = Gerald J. Janusz
title = Algebraic Number Fields
publisher = American Mathematical Society
year = 1996, 1997
id = ISBN 0-8218-0429-4
edition = 2nd edition

*cite book
author = Nathan Jacobson
title = Basic algebra II
publisher = W H Freeman
year = 1989
id = ISBN 0-7167-1933-9
edition = 2nd ed.
Chapter 9, paragraph 1 "Absolute values".

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Absolute value — For the philosophical term, see Value (ethics). For the Akrobatik album, see Absolute Value (album). In mathematics, the absolute value (or modulus) |a| of a real number a is the numerical value of a without regard to its sign. So, for example,… …   Wikipedia

• algebra, linear — Introduction       mathematical discipline that deals with vectors (vector) and matrices (matrix) and, more generally, with vector spaces (vector space) and linear transformations. Unlike other parts of mathematics that are frequently invigorated …   Universalium

• Absolute Zahl — Verlauf der Absolutbetragsfunktion auf In der Mathematik ordnet die Betragsfunktion einer reellen oder komplexen Zahl ihren Abstand zur Null zu. Dieser sogenannte absolute Betrag, Absolutwert oder auch schlicht Betrag ist immer eine nichtnegative …   Deutsch Wikipedia

• Absolute time and space — See also: Absolute rotation, Bucket argument, Rotating spheres, and Inertial frame of reference Originally introduced by Sir Isaac Newton in the Philosophiæ Naturalis Principia Mathematica, the concepts of absolute time and space provided a… …   Wikipedia

• Elementary algebra — is a fundamental and relatively basic form of algebra taught to students who are presumed to have little or no formal knowledge of mathematics beyond arithmetic. It is typically taught in secondary school under the term algebra. The major… …   Wikipedia

• Banach algebra — In mathematics, especially functional analysis, a Banach algebra, named after Stefan Banach, is an associative algebra A over the real or complex numbers which at the same time is also a Banach space. The algebra multiplication and the Banach… …   Wikipedia

• Valuation (algebra) — In algebra (in particular in algebraic geometry or algebraic number theory), a valuation is a function on a field that provides a measure of size or multiplicity of elements of the field. They generalize to commutative algebra the notion of size… …   Wikipedia

• Fundamental theorem of algebra — In mathematics, the fundamental theorem of algebra states that every non constant single variable polynomial with complex coefficients has at least one complex root. Equivalently, the field of complex numbers is algebraically closed.Sometimes,… …   Wikipedia

• Negation (algebra) — Negation is the mathematical operation that reverses the sign of a number. Thus the negation of a positive number is negative, and the negation of a negative number is positive. The negation of zero is zero. The negation of a number a, usually… …   Wikipedia

• Exterior algebra — In mathematics, the exterior product or wedge product of vectors is an algebraic construction generalizing certain features of the cross product to higher dimensions. Like the cross product, and the scalar triple product, the exterior product of… …   Wikipedia