Euclidean Domains
Definition 114.1.
3db377An integral domain is called Euclidean if there is a function with the following properties1:
- for all nonzero ,
- for all with we can find and in such that , or .
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.
c12bf3Every ER is a PIR.
Proof.
Let be a proper ideal of . Let be an element of minimum norm2 in . Let . We can write , where or . Since , must be . Thus, we have .□
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.
9467ecWhen 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 .
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.
9fb28bAn integral domain is a unique factorization domain if
- Factoring terminates in : every element factors as a product of finitely many irreducible .
- The irreducible factorization of an element is unique.
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.
414a66Let be an integral domain in which factoring terminates. Then is a UFD iff every irreducible element is a prime element.
Proof.
Let be a ring in which every irreducible element is prime, and suppose that an element factors in two ways into irreducible elements, say , where . If , then and . Suppose . Since is prime, it divides one of the factors , say . Since is irreducible and. since is not a unit, and are associates, say , where is a unit. We move the unit factor over to , replacing by and by . The result is that now . Then we cancel and use induction on .
Conversely, suppose that there is an irreducible element that is not prime. Then there are elements and such that divides , say , but does not divide or . By factoring , , and into irreducible elements, we obtain two inequivalent factorizations of .□
Proposition 114.11.
97c00aEvery PID is a UFD.
Proof.
Let be a PID. Since every irreducible element of is prime, we only need to show that factoring terminates. Suppose we are given an infinite weakly increasing chain
The union is an ideal (this is true for any increasing chain of ideals in a ring): if and are in , they must both be in for some , so, and for any are also in and therefore they are in . Since is a PID, is principal, say . Since is in the union of the ideals , it must be in one of them. But if is in , then . On the other hand, . Therefore . The chain is not strictly increasing.□
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.
- Let and be irreducible factorizations of two elements of . Then iff and, when are arranged suitably, is an associate of for .
- 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 .
- Two polynomials and , not both zero, have a unique monic greatest common divisor , and there are polynomials and such that . Remark 6
- Every irreducible polynomial in is prime. Proposition 112.5 (4)
- Every monic polynomial in can be written uniquely as a product of irreducible monic polynomials.
Proposition 114.14.
497a71A polynomial of degree with coefficients in a field has at most roots in .