Back to A Complete Introduction to Abstract Algebra

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

Status
FlagsLoading your progress…

23 exercises

Exercise 1

Let DD be an integral domain and a,b∈Da,b\in D. Prove that a∣ba\mid b and b∣ab\mid a if and only if aa and bb are associates.

3.0

Exercise 2

Prove 1.11.

3.0

Exercise 3

Let dd be a square-free integer that is not 1. Prove that x∈Z[d]x\in\mathbb{Z}[\sqrt{d}] is irreducible if N(x)=pN(x)=p, where pp is a prime number.

3.0

Exercise 5

Prove that multiplication over the field of fractions is a well-defined operation, and that it is commutative.

3.0

Exercise 6

Prove or disprove the following statements.

  1. Frac(Z[x])≅Q[x]\mathrm{Frac}(\mathbb{Z}[x])\cong\mathbb{Q}[x].

  2. Frac(kZ)≅Q\mathrm{Frac}(k\mathbb{Z})\cong\mathbb{Q} for all non-zero k∈Zk\in\mathbb{Z}.

3.0

Exercise 7

Let DD be an integral domain, a,b∈Da,b\in D, and b≠0b\neq 0. Prove that ⟨ab⟩⊂⟨b⟩\left\langle ab\right\rangle\subset\left\langle b\right\rangle if and only if aa is not a unit.(Hint: consider contrapositives.)

3.0

Exercise 8

Prove 1.38.

3.0

Exercise 9

Prove 1.45.

3.0

Exercise 10

Cite the appropriate theorems to explain the rest of the class inclusions in 1.1.

3.0

Problem 1

Prove that if a prime pp can be written as a2+b2a^{2}+b^{2} where aa and bb are integers, then a+bia+bi is a Gaussian prime.

3.0

Problem 2

Let DD be an integral domain and let p∈Dp\in D be a prime. Suppose the elements a1,a2,a3,…,an∈Da_{1},a_{2},a_{3},\dots,a_{n}\in D are such that p∣a1a2a3…anp\mid a_{1}a_{2}a_{3}\dots a_{n}, where n≥2n\geq 2. Prove that p∣aip\mid a_{i} for some i∈{1,2,…,n}i\in\{1,2,\dots,n\}.

3.0

Problem 3

Determine whether the following Gaussian integers are Gaussian primes, proving your claims.

  1. 6

  2. 7

  3. 13

  4. 1+2i1+2i

  5. 3+4i3+4i

  6. 5+i5+i

3.0

Problem 4

Let DD be an integral domain. Define a relation RR on DD such that aRba\mathrel{R}b if and only if aa and bb are associates. Prove that RR is an equivalence relation.

3.0

Problem 5

Expand the polynomials (3x+2)(x+4)(3x+2)(x+4) and (4x+1)(2x+3)(4x+1)(2x+3) in Z5[x]\mathbb{Z}_{5}[x]. Does this result contradict 1.32?

3.0

Problem 6

Prove 1.8.

3.0

Problem 7

Let FF be a field. Prove that Frac(F)≅F\mathrm{Frac}(F)\cong F.

3.0

Problem 8

Prove that Z[−6]\mathbb{Z}[\sqrt{-6}] is not a UFD.(Hint: show that some specific elements are irreducible, and then factor 6 in two ways.)

3.0

Problem 9

Let DD be a UFD and let p∈Dp\in D. Prove that pp is irreducible if and only if pp is prime.

3.0

Problem 10

Let DD be a Euclidean domain with norm NN. Prove the following statements.

  1. If a,b∈Da,b\in D are associates then N(a)=N(b)N(a)=N(b).

  2. uu is a unit in DD if and only if N(u)=N(1)N(u)=N(1).

3.0

Problem 11

Suppose DD is an integral domain and ϕ:D→N∪{0}\phi:D\to\mathbb{N}\cup\{0\} is a non-constant function such that ϕ(xy)=ϕ(x)ϕ(y)\phi(xy)=\phi(x)\phi(y) for all x,y∈Dx,y\in D. Prove that if u∈Du\in D is a unit then ϕ(u)=1\phi(u)=1.

3.0

Problem 12

Prove that, for any field FF, there exists infinitely many irreducible polynomials in F[x]F[x] that are not associates.

3.0

Problem 13

Prove that for every non-trivial ideal II of the Gaussian integers, the quotient ring Z[i]/I\mathbb{Z}[i]/I is finite.

3.0

Problem 14

Consider the polynomial

in the ring Z[x]\mathbb{Z}[x].

  1. Explain why the coefficient of the term of degree kk (where 2≤k≤122\leq k\leq 12) in P(x)P(x) gives exactly the number of ways that a pair of two dice could sum to kk.

  2. Factor P(x)P(x) into a product of irreducible polynomials. Prove that the factorization, indeed, consists only of irreducible polynomials.

  3. Define the polynomials

    f(x)\displaystyle f(x) =xa1+xa2+xa3+xa4+xa5+xa6 and\displaystyle=x^{a_{1}}+x^{a_{2}}+x^{a_{3}}+x^{a_{4}}+x^{a_{5}}+x^{a_{6}}\text{ and} g(x)\displaystyle g(x) =xb1+xb2+xb3+xb4+xb5+xb6,\displaystyle=x^{b_{1}}+x^{b_{2}}+x^{b_{3}}+x^{b_{4}}+x^{b_{5}}+x^{b_{6}},

    where each aia_{i} and bib_{i} are positive integers. Suppose w…

3.0

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.