Domains and Factorization
Associates, irreducibles and primes in an integral domain, illustrated by quadratic integers where an irreducible element can fail to be prime.
A Complete Introduction to Abstract Algebra, Domains and Factorization
23 exercises
Exercise 1
Let be an integral domain and . Prove that and if and only if and are associates.
Exercise 2
Prove 1.11.
Exercise 3
Let be a square-free integer that is not 1. Prove that is irreducible if , where is a prime number.
Exercise 5
Prove that multiplication over the field of fractions is a well-defined operation, and that it is commutative.
Exercise 6
Prove or disprove the following statements.
-
.
-
for all non-zero .
Exercise 7
Let be an integral domain, , and . Prove that if and only if is not a unit.(Hint: consider contrapositives.)
Exercise 8
Prove 1.38.
Exercise 9
Prove 1.45.
Exercise 10
Cite the appropriate theorems to explain the rest of the class inclusions in 1.1.
Problem 1
Prove that if a prime can be written as where and are integers, then is a Gaussian prime.
Problem 2
Let be an integral domain and let be a prime. Suppose the elements are such that , where . Prove that for some .
Problem 3
Determine whether the following Gaussian integers are Gaussian primes, proving your claims.
-
6
-
7
-
13
-
-
-
Problem 4
Let be an integral domain. Define a relation on such that if and only if and are associates. Prove that is an equivalence relation.
Problem 5
Expand the polynomials and in . Does this result contradict 1.32?
Problem 6
Prove 1.8.
Problem 7
Let be a field. Prove that .
Problem 8
Prove that is not a UFD.(Hint: show that some specific elements are irreducible, and then factor 6 in two ways.)
Problem 9
Let be a UFD and let . Prove that is irreducible if and only if is prime.
Problem 10
Let be a Euclidean domain with norm . Prove the following statements.
-
If are associates then .
-
is a unit in if and only if .
Problem 11
Suppose is an integral domain and is a non-constant function such that for all . Prove that if is a unit then .
Problem 12
Prove that, for any field , there exists infinitely many irreducible polynomials in that are not associates.
Problem 13
Prove that for every non-trivial ideal of the Gaussian integers, the quotient ring is finite.
Problem 14
Consider the polynomial
in the ring .
-
Explain why the coefficient of the term of degree (where ) in gives exactly the number of ways that a pair of two dice could sum to .
-
Factor into a product of irreducible polynomials. Prove that the factorization, indeed, consists only of irreducible polynomials.
-
Define the polynomials
where each and are positive integers. Suppose w…
Adapted from A Complete Introduction to Abstract Algebra © 2022–2026 Kan Onn Kit. Licensed under CC BY-SA 4.0. Source: A Complete Introduction to Abstract Algebra. Imported at revision a559e8b.