Euclidean Domains

Definition 114.1.

An integral domain is called Euclidean if there is a function with the following properties1:

  1. for all nonzero ,
  2. for all with we can find and in such that , or .
3db377

The two main results about Euclidean domains: A Euclidean Domain is a PID, and the Euclidean algorithm terminates after finitely many steps yielding a gcd. There can be gcds in rings that are not Euclidean, but it may be hard in those rings to compute a gcd by a method that avoids factorization.

Clare distinguishes between ‘Euclidean ring’ (not a domain) and ‘Euclidean domain’. For example, If is a Euclidean domain, and is a nonprime ideal in then is a Euclidean ring which is not a domain.

Proposition 114.2.

Every ER is a PIR.

c12bf3

In particular, every Euclidean domain is a principal ideal domain.

Example 114.3.

  • is a euclidean domain, with . Division with remainder is not unique: There may be as many as four choices for the remainder. See Artin (2011, p. 361).
  • is not a Euclidean domain, since it is not a principal ideal domain. is a Euclidean domain.
  • is not a Euclidean domain, since it is not a principal domain. See Dummit & Foote (2004, p. 272). It is also not a UFD, since does not have unique factorization. Factorization does terminate, however: this can be shown using the field norm on .
  • is a PID but not a Euclidean domain. See Claim 302.7.
  • A polynomial ring in one variable over a field is a Euclidean domain, with equal to the degree of .

Greatest common divisors

Definition 114.4.

A greatest common divisor of and is a nonzero element such that and , and if and then .

Clearly, is a generator for the unique smallest principal ideal containing and . Note that while is not unique, is.

A sufficient condition for to exist is being a principal ideal (this is not a necessary condition: is a maximal ideal, so is the unique smallest principal ideal containing and ). It follows that gcds always exist in a principal ideal domain:

Proposition 114.5.

Let be a PID, and let not both be zero. Let . is a gcd of and .

Remark 114.6.

When it happens that (in PIDs, for instance), we get to write for some . Note that this is not the case with in : is strictly larger than , and cannot be written as a linear combination of and .

9467ec

Unique Factorization Domains

Definition 114.7.

We say that factoring in an integral domain is unique if, whenever an element of is written in two ways as a product of irreducible elements, say

then , and if the right side is rearranged suitably, is an associate of for each .

When the recursive factoring of every nonunit nonzero element terminates, we say that factoring terminates in .

Definition 114.8.

An integral domain is a unique factorization domain if

  1. Factoring terminates in : every element factors as a product of finitely many irreducible .
  2. The irreducible factorization of an element is unique.
9fb28b

Proposition 114.9.

Let be an integral domain. Factoring terminates in iff does not contain an infinite strictly increasing chain of principal ideals.

We will rarely encounter rings in which factoring fails to terminate; in practice it is the uniqueness that gives trouble.

Proposition 114.10.

Let be an integral domain in which factoring terminates. Then is a UFD iff every irreducible element is a prime element.

414a66

Proposition 114.11.

Every PID is a UFD.

97c00a

It follows from Proposition 2 and Proposition 11 that every Euclidean domain is a UFD.

Divisibility in a UFD can be deduced from irreducible factorizations:

Proposition 114.12.

Let be a UFD.

  1. Let and be irreducible factorizations of two elements of . Then iff and, when are arranged suitably, is an associate of for .
  2. Any pair of elements , not both zero, has a gcd.

In particular, for one variable polynomial rings over fields, we have these results:

Theorem 114.13.

Let be the polynomial in one variable over a field .

  1. Two polynomials and , not both zero, have a unique monic greatest common divisor , and there are polynomials and such that . Remark 6
  2. Every irreducible polynomial in is prime. Proposition 112.5 (4)
  3. Every monic polynomial in can be written uniquely as a product of irreducible monic polynomials.

Proposition 114.14.

A polynomial of degree with coefficients in a field has at most roots in .

497a71

Footnotes

  1. is redundant: every integral domain with satisfying can be equipped with satisfying and . See Conrad (n.d.).

  2. is well ordered!


References

Artin, M. (2011). Algebra (2. ed). Pearson Education, Prentice Hall.
Conrad, K. (n.d.). REMARKS ABOUT EUCLIDEAN DOMAINS.
Dummit, D. S., & Foote, R. M. (2004). Abstract Algebra (3rd ed). Wiley.