Chapter 8: Euclidean Domains, Principal Ideal Domains, and Unique Factorization Domains
8.1 Euclidean Domains
Definition: Any function with is called a norm on the integral domain . If , then is called a positive norm.
Definition: The integral domain is said to be a Euclidean Domain or possess a Division Algorithm if a norm on such that with , such that and either or . is the quotient and is the remainder.
Proposition 1: Every ideal in a Euclidean Domain is principal. More precisely, if then , where , , and is minimal.
Definition: Let be a commutative ring and let with .
- is a multiple of if such that . Then divides and is a divisor of .
- A greatest common divisor of is some such that
- and
- if and then .
Fact: If is an ideal in generated by , then if
- if then .
Proposition 2: If such that and , then .
Proposition 3: Let be an integral domain. Let such that . Then, that is a unit such that . In particular, if are both GCDs of , then for some unit . (GCD is not necessarily unique).
Fact: For any a Euclidean Domain, always exists and can be computed algorithmically (Euclidean Algorithm).
Theorem 4: Let be a Euclidean Domain and such that . Let be the last nonzero remainder in the Euclidean Algorithm for . Then
- , the set of GCDs
- , i.e. can be written as an -linear combination of , or such that . (Bezout's Identity).
Fact: The equation is solvable in integers .
Fact: For any integral domain let denote the collection of units of together with . An element is called a universal side divisor if then such that in , i.e. there is a type of "division algorithm" for such that for some . The existence of universal side divisors is a weakening of the Euclidean condition.
Proposition 5: Let be an integral domain that is not a field. If is a Euclidean Domain then there are universal side divisors in .
8.2 Principal Ideal Domains (P.I.D.s)
Definition: A Principal Ideal Domain is an integral domain in which every ideal is principal.
Proposition 6: Let be a PID and let such that . Let . Then
- .
- such that .
- is unique up to multiplication by (unit).
Proposition 7: Every nonzero prime ideal in a PID is a maximal ideal.
Corollary 8: If is any commutative ring such that the polynomial ring is a PID then is a field.
Definition: is a Dedekind-Hasse norm if is a positive norm and such that either or such that . In other words, either or with .
Proposition 9: The integral domain is a PID has a Dedekind-Hasse norm.
8.3 Unique Factorization Domains (U.F.D.s)
Definition: Let be an integral domain.
- Suppose is nonzero and not a unit. Then is irreducible in if whenever with , at least one of must be a unit in . Otherwise, is reducible.
- The nonzero element is prime in if is a prime ideal. That is, is prime if it is not a unit and, whenever for any , then either or .
- Any such that for some unit , then are considered associate.
Proposition 10: In an integral domain a prime element is always irreducible. The converse is, in general, not true.
Proposition 11: In a PID a nonzero element is a prime it's irreducible.
Definition: A Unique Factorization Domain is an integral domain in which with which is not a unit satisfies:
- can be written as a finite product of not necessarily distinct irreducibles , i.e. .
- the decomposition is unique up to associates, namely, if is another valid factorization into irreducibles, then and there is a bijective map with such that is associate with .
Proposition 12: In a UFD a nonzero element is a prime it is irreducible. (Stronger version of proposition 11).
Proposition 13: Let a UFD with and suppose and are prime factorizations where are units, the primes are distinct, and . Then is the gcd.
Theorem 14: .
Corollary 15: (Fundamental Theorem of Arithmetic) is a UFD.
Corollary 16: Let be a PID. Then there exists a multiplicative Dedekind-Hasse norm on .
Lemma 17: The prime number divides some or is a prime .
Proposition 18:
- (Fermat's Theorem on sums of squares) Let be a prime. for or . The representation is unique up to changing signs or interchanging .
- The irreducible elements in the Gaussian integers as follows: (a) (norm ) (b) primes with (norm ).
- , i.e. the distinct irreducible factors of , for primes with (norm ).
Corollary 19: Let be a positive integer. Then, we can write where and are distinct primes and and are distinct primes. Then can be written as a sum of two squares in each is even. Then, the number of distinct representations of as a sum of two squares is