- Euclidean domain
In

abstract algebra , a**Euclidean domain**(also called a**Euclidean ring**) is a type of ring in which theEuclidean algorithm applies.A Euclidean domain is a specific type of integral domain, and can be characterized by the following (not necessarily exhaustive) chain of class inclusions:

*

⊃integral domain s⊃unique factorization domain s⊃principal ideal domain s⊃Euclidean domain s**fields****Definition**Formally, a Euclidean domain is an

integral domain "D" on which one can define a function "v" mapping nonzero elements of "D" to non-negativeinteger s that satisfies the following division-with-remainder property:*If "a" and "b" are in "D" and "b" is nonzero, then there are "q" and "r" in "D" such that "a" = "bq" + "r" and either "r" = 0 or "v"("r") < "v"("b").

The function "v" is called a "valuation" or "norm" or "gauge" and the key point here is that the remainder "r" has "v"-size smaller than the "v"-size of the divisor "b". The operation mapping ("a", "b") to ("q", "r") is called the

**Euclidean division**, whereas q is called the**Euclidean quotient**.Nearly all algebra textbooks which discuss Euclidean domains include the following extra property in the definition:

*for all nonzero "a" and "b" in "D", "v"("a") ≤ "v"("ab").

This property does not have to be assumed since it is not needed to prove the most basic facts about Euclidean domains (see below). However, this inequality can always be arranged to occur by changing the choice of "v", as follows: if ("D","v") is a Euclidean domain as given above then the function "w" defined on nonzero elements of "D" by "w"("a") = least value of "v"("ax") as "x" runs over nonzero elements of "D" also makes "D" a Euclidean domain according to the above definition and it satisfies "w"("a") ≤ "w"("ab") for all nonzero "a" and "b" in "D".

To check that "w" is a norm, suppose that "b" does not divide "a" and, amongst all expressions of the form "a" = "bq" + "r", choose one for which "v"("r") is minimal. If "w"("r") ≥ "w"("b"), then"v"("r") ≥"v"("bc") for some "c". We can write "a" = "bcQ" + "R" with "v"("R") < "v"("bc") ≤ "v"("r"), which contradicts the minimality of "v"("r").

**Examples**Examples of Euclidean domains include:

***Z**, the ring ofinteger s. Define "v"("n") = |"n"|, theabsolute value of "n".

***Z**["i"] , the ring ofGaussian integer s. Define "v"("a"+"bi") = "a"^{2}+"b"^{2}, the norm of the Gaussian integer "a"+"bi".

***Z**[ω] (where ω is a cube root of 1), the ring ofEisenstein integer s. Define "v"("a"+"b"ω) = "a"^{2}-"ab"+"b"^{2}, the norm of the Eisenstein integer "a"+"b"ω.

*"K" ["X"] , the ring of polynomials over a field "K". For each nonzero polynomial "f", define "v"("f") to be the degree of "f".

*"K" "X", the ring of formal power series over the field "K". For each nonzero power series "f", define "v"("f") as the degree of the smallest power of "X" occurring in "f".

*Anydiscrete valuation ring . Define "v"("x") to be the highest power of the maximal ideal "M" containing "x" (equivalently, to the power of the generator of the maximal ideal that "x" is associated to). The case "K" "X"is a special case of the above.

*Any field. Define "v"("x") = 1 for all nonzero "x".The examples of polynomial and power series rings in one variable are the reason that the function "v" in the definition of a Euclidean domain is not assumed to be defined at 0.

**Properties**The following properties of Euclidean domains do not require the inequality "v"("a") ≤ "v"("ab"):

*The

extended Euclidean algorithm is applicable (which is the source of the name Euclidean domain).*Every Euclidean domain is a

principal ideal domain . In fact, if "I" is a nonzero ideal of a Euclidean domain "D" and "a" is chosen to minimize "v"("a") over all nonzero elements of "I", then "I" = "aD".*The principal ideals of elements with minimal Euclidean valuation are the entire ring, i.e. they are units. (If the inequality "v"("a") ≤ "v"("ab") is assumed, all the units have this minimal valuation.)

*Every nonzero nonunit is a product of irreducibles. This follows from the corresponding result for any

principal ideal domain (or Noetherian domain), though assuming the inequality "v"("a") ≤ "v"("ab") would enable a direct inductive argument.Conversely, not every PID is Euclidean, though exceptions are not easy to find.For example, for "d" = -19, -43, -67, -163, the

ring of integers of**Q**($sqrt\{d\}$) is a PID which is**not**Euclidean, but the cases "d" = -1, -2, -3, -7, -11**are**Euclidean. [*Citation*]

last = Motzkin | first = Theodore | author-link = Theodore Motzkin

title = The Euclidean algorithm

journal = Bulletin of the American Mathematical Society

volume = 55 | issue = 12 | pages = 1142-1146 | year = 1949

url = http://projecteuclid.org/handle/euclid.bams/1183514381However, many finite extensions of

**Q**with trivial class group do have Euclidean integral rings.Assuming theextended Riemann hypothesis , if "K" is a finite extension of**Q**and the ring of integers of "K" is a PID with an infinite number of units, then the ring of integers is Euclidean. [*Citation*] In particular this applies to the case of totally real quadratic number fields with trivial class group.In addition (and without assuming ERH), if the field "K" has trivial class group and unit rank strictly greater than three, then the ring of integers is Euclidean. [

last = Weinberger | first = Peter J. | authorlink = Peter J. Weinberger

title = On Euclidean rings of algebraic integers

journal = Proceedings of Symposia in Pure Mathematics

publisher = AMS

volume = 24 | pages = 321-332 | year = 1973*Citation*] An immediate corollary of this is that if the class group is trivial and the extension has degree greater than 8 then the ring of integers is necessarily Euclidean.

last = Harper | first = Malcolm

last2 = Murty | first2 = M. Ram | author2-link = M. Ram Murty

title = Euclidean rings of algebraic integers

journal = Canadian Journal of Mathematics

volume = 56 | issue = 1 | pages = 71-76 | year = 2004

url = http://www.mast.queensu.ca/~murty/harper-murty.pdf**ee also***

Ordinal number - these allow a kind of Euclidean division: for all "α" and "β", if "β" > 0, then there are unique "γ" and "δ" such that "α" = "β" · "γ" + "δ" and "δ" < "β"; however, the ordinals are not a Euclidean domain, since they are not even a ring (addition of ordinals, for example, is notcommutative ).**References**

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**Domain**— may refer to: General Territory (administrative division), a non sovereign geographic area which has come under the authority of another government Public domain, a body of works and knowledge without proprietary interest Eminent domain, the… … Wikipedia**Euclidean algorithm**— In number theory, the Euclidean algorithm (also called Euclid s algorithm) is an algorithm to determine the greatest common divisor (GCD) of two elements of any Euclidean domain (for example, the integers). Its major significance is that it does… … Wikipedia**Euclidean**— List of topics named after Euclid (Euclidean or, less commonly, Euclidian) *Euclidean space *Euclidean geometry *Euclid s Elements *Euclidean domain *Euclidean distance *Euclidean ball *Euclidean algorithm *Euclidean distance map *Extended… … Wikipedia**Euclidean space**— Every point in three dimensional Euclidean space is determined by three coordinates. In mathematics, Euclidean space is the Euclidean plane and three dimensional space of Euclidean geometry, as well as the generalizations of these notions to… … Wikipedia**Domain of a function**— Venn diagram showing f, a function from domain X to codomain Y. The smaller oval inside Y is the image of f, sometimes called the range of f. In mathematics, the domain of definition or simply the domain of a function is the set of input or… … Wikipedia**Domain (mathematics)**— In mathematics, the domain of a given functionis the set of input values for which the function is defined. [Paley, H. Abstract Algebra , Holt, Rinehart and Winston, 1966 (p. 16).] For instance, the domain of cosine would be all real numbers,… … Wikipedia**Principal ideal domain**— In abstract algebra, a principal ideal domain, or PID is an integral domain in which every ideal is principal, i.e., can be generated by a single element.Principal ideal domains are thus mathematical objects which behave somewhat like the… … Wikipedia**Unique factorization domain**— In mathematics, a unique factorization domain (UFD) is, roughly speaking, a commutative ring in which every element, with special exceptions, can be uniquely written as a product of prime elements, analogous to the fundamental theorem of… … Wikipedia**Invariance of domain**— is a theorem in topology about homeomorphic subsets of Euclidean space R n . It states: :If U is an open subset of R n and f : U rarr; R n is an injective continuous map, then V = f ( U ) is open and f is a homeomorphism between U and V .The… … Wikipedia**Fundamental domain**— In geometry, the fundamental domain of a symmetry group of an object or pattern is a part of the pattern, as small as possible, which, based on the symmetry, determines the whole object or pattern. The set of orbits of the symmetry group define a … Wikipedia