Skip to main content
Contents Index
Search Book
Search Results:
No results.
Read aloud
Readability settings Prev Up Next
\(\newcommand{\identity}{\mathrm{id}}
\newcommand{\notdivide}{\nmid}
\newcommand{\notsubset}{\not\subset}
\newcommand{\lcm}{\operatorname{lcm}}
\newcommand{\gf}{\operatorname{GF}}
\newcommand{\inn}{\operatorname{Inn}}
\newcommand{\aut}{\operatorname{Aut}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\cis}{\operatorname{cis}}
\newcommand{\chr}{\operatorname{char}}
\newcommand{\Null}{\operatorname{Null}}
\newcommand{\transpose}{\text{t}}
\newcommand{\inv}{\operatorname{inv}}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Exercises 5.5 Exercises
1.
List all of the polynomials of degree
\(3\) or less in
\({\mathbb Z}_2[x]\text{.}\)
2.
Compute each of the following.
\((5x^2 + 3x - 4) + (4x^2 - x + 9)\) in
\({\mathbb Z}_{12}\)
\((5x^2 + 3x - 4) (4x^2 - x + 9)\) in
\({\mathbb Z}_{12}\)
\((7x^3 + 3x^2 - x) + (6x^2 - 8x + 4)\) in
\({\mathbb Z}_9\)
\((3x^2 + 2x - 4) + (4x^2 + 2)\) in
\({\mathbb Z}_5\)
\((3x^2 + 2x - 4) (4x^2 + 2)\) in
\({\mathbb Z}_5\)
\((5x^2 + 3x - 2)^2\) in
\({\mathbb Z}_{12}\)
3.
Use the division algorithm to find \(q(x)\) and \(r(x)\) such that \(a(x) = q(x) b(x) + r(x)\) with \(\deg r(x) \lt \deg b(x)\) for each of the following pairs of polynomials.
\(a(x) = 5 x^3 + 6x^2 - 3 x + 4\) and
\(b(x) = x - 2\) in
\({\mathbb Z}_7[x]\)
\(a(x) = 6 x^4 - 2 x^3 + x^2 - 3 x + 1\) and
\(b(x) = x^2 + x - 2\) in
\({\mathbb Z}_7[x]\)
\(a(x) = 4 x^5 - x^3 + x^2 + 4\) and
\(b(x) = x^3 - 2\) in
\({\mathbb Z}_5[x]\)
\(a(x) = x^5 + x^3 -x^2 - x\) and
\(b(x) = x^3 + x\) in
\({\mathbb Z}_2[x]\)
4.
Find the greatest common divisor of each of the following pairs \(p(x)\) and \(q(x)\) of polynomials.
\(p(x) = x^3 - 6x^2 + 14x - 15\) and
\(q(x) = x^3 - 8x^2 + 21x - 18\text{,}\) where
\(p(x), q(x) \in {\mathbb Q}[x]\)
\(p(x) = x^3 + x^2 - x + 1\) and
\(q(x) = x^3 + x - 1\text{,}\) where
\(p(x), q(x) \in {\mathbb Z}_2[x]\)
\(p(x) = x^3 + x^2 - 4x + 4\) and
\(q(x) = x^3 + 3 x -2\text{,}\) where
\(p(x), q(x) \in {\mathbb Z}_5[x]\)
\(p(x) = x^3 - 2 x + 4\) and
\(q(x) = 4 x^3 + x + 3\text{,}\) where
\(p(x), q(x) \in {\mathbb Q}[x]\)
5.
Find all of the zeros for each of the following polynomials.
\(5x^3 + 4x^2 - x + 9\) in
\({\mathbb Z}_{12}\)
\(3x^3 - 4x^2 - x + 4\) in
\({\mathbb Z}_{5}\)
\(5x^4 + 2x^2 - 3\) in
\({\mathbb Z}_{7}\)
\(x^3 + x + 1\) in
\({\mathbb Z}_2\)
6.
Find all of the units in
\({\mathbb Z}[x]\text{.}\)
7.
Find a unit
\(p(x)\) in
\({\mathbb Z}_4[x]\) such that
\(\deg p(x) \gt 1\text{.}\)
8.
Find all of the irreducible polynomials of degrees
\(2\) and
\(3\) in
\({\mathbb Z}_2[x]\text{.}\)
9.
Give two different factorizations of
\(x^2 + x + 8\) in
\({\mathbb Z}_{10}[x]\text{.}\)
10.
Prove or disprove: There exists a polynomial
\(p(x)\) in
\({\mathbb Z}_6[x]\) of degree
\(n\) with more thanΒ
\(n\) distinct zeros.
11.
Let
\(p\) be prime and denote the field of fractions of
\({\mathbb Z}_p[x]\) by
\({\mathbb Z}_p(x)\text{.}\) Prove that
\({\mathbb Z}_p(x)\) is an infinite field of characteristic
\(p\text{.}\)
12.
Prove or disprove:
\(x^p + a\) is irreducible for any
\(a \in {\mathbb Z}_p\text{,}\) where
\(p\) is prime.
13.
Let
\(F\) be a field and
\(a \in F\text{.}\) If
\(p(x) \in F[x]\text{,}\) show that
\(p(a)\) is the remainder obtained when
\(p(x)\) is divided by
\(x - a\text{.}\)
14.
If
\(F\) is a field, show that there are infinitely many irreducible polynomials in
\(F[x]\text{.}\)
15.
Which of the following polynomials are irreducible over \({\mathbb Q}[x]\text{?}\)
\(\displaystyle x^4 - 2x^3 + 2x^2 + x + 4\)
\(\displaystyle x^4 - 5x^3 + 3x - 2\)
\(\displaystyle 3x^5 - 4x^3 - 6x^2 + 6\)
\(\displaystyle 5x^5 - 6x^4 - 3x^2 + 9 x - 15\)
16.
If
\(F\) is a field, show that
\(F[x_1, \ldots, x_n]\) is an integral domain.
17.
Show that the division algorithm does not hold for
\({\mathbb Z}[x]\text{.}\) Why does it fail?
18.
If
\(f(x) \in \mathbb Z[x]\) is monic and
\(g(x) \in \mathbb Z[x]\) has leading coefficient
\(a > 1\text{,}\) then show that there does not exist polynomials
\(q(x), r(x) \in \mathbb Z[x]\) such that
\(f(x) = g(x)q(x) + r(x)\) and either
\(\deg r(x) \lt \deg g(x)\) or
\(r(x)\) is the zero polynomial.
19.
Let
\(R\) be a commutative ring. Prove that multiplication is commutative in
\(R[x]\text{.}\)
20.
Let
\(R\) be a commutative ring. Prove that multiplication is distributive in
\(R[x]\text{.}\)
21.
Consider the polynomial
\(f(x) = x^p-x\) in
\(\mathbb Z_p[x]\text{.}\)
Show that \(f\) has \(p\) distinct zeros in \(\mathbb Z_p\text{.}\)
Then, show that the polynomial
\begin{equation*}
g(x) = x(x-1)(x-2) \cdots (x-(p-1))
\end{equation*}
divides
\(f\text{.}\)
Finally, show that that if we write \(f=gh\text{,}\) then \(h=1\text{,}\) which means that \(f=g\text{.}\)
22.
Let \(F\) be a field and \(f(x) = a_0 + a_1 x + \cdots + a_n x^n\) be in \(F[x]\text{.}\) Define \(f'(x) = a_1 + 2 a_2 x + \cdots + n a_n x^{n - 1}\) to be the derivative of \(f(x)\text{,}\) where \(2 = 1+1\text{,}\) \(3=1+1+1\) and so on.
Prove that
\begin{equation*}
(f + g)'(x) = f'(x) + g'(x).
\end{equation*}
For which polynomials
\(f\) does
\(f' = 0\) hold if
\(\chr F = 0\text{?}\)
For which polynomials
\(f\) does
\(f' = 0\) hold if
\(\chr F = p\text{?}\)
Prove that
\begin{equation*}
(fg)'(x) = f'(x)g(x) + f(x) g'(x).
\end{equation*}
Suppose that we can factor a polynomial \(f(x) \in F[x]\) into linear factors, say
\begin{equation*}
f(x) = a(x - a_1) (x - a_2) \cdots ( x - a_n).
\end{equation*}
Prove that \(f(x)\) has no repeated factors if and only if \(f(x)\) and \(f'(x)\) are relatively prime.
23.
Let
\(F\) be a field. Show that
\(F[x]\) is never a field.
24.
Let
\(R\) be an integral domain. Prove that
\(R[x_1, \ldots, x_n]\) is an integral domain.
25.
Suppose that
\(R\) and
\(S\) are isomorphic rings. Prove that
\(R[x] \cong S[x]\text{.}\)
26.
Let
\(R\) be a commutative ring. Show that
\(R[x]\) has a subring
\(R'\) isomorphic toΒ
\(R\text{.}\)
27.
Let
\(p(x)\) and
\(q(x)\) be polynomials in
\(R[x]\text{,}\) where
\(R\) is a commutative ring. Prove that
\(\deg( p(x) + q(x) ) \leq \max( \deg p(x), \deg q(x) )\text{.}\)
28.
Determine whether each of the following polynomials is irreducible in \(\mathbb Q[x]\text{:}\)
\(\displaystyle 5 x^5 - 6 x^4 - 3x^2 + 9x - 15\)
\(\displaystyle x^4 - 2x^3 - x^2 + x + 2\)
\(\displaystyle x^4 - 3x^3 + 6x^2 + 5\)
\(\displaystyle x^3 + 7x^2 - 2x + 165\)
\(\displaystyle x^4 - 2 x^2 + 4x + 18\)
\(\displaystyle x^4 + 3x^2 - 9 x + 6\)
\(\displaystyle x^4 + 4 x^3 - 2x^2 + 5 x - 3\)
\(\displaystyle x^5 + 6 x^4 - 12 x^2 + 3 x + 6\)
\(\displaystyle x^4 + 3x^3 + 3x^2 - 3 x + 9\)
29.
From the following list of polynomials, find 4 which are irreducible in \(\mathbb Q[x]\) and explain why they are irreducible:
\begin{align*}
f_1 &= x^2 + 3x + 3\\
f_2 &= x^3 - 2 x^2 - x + 4\\
f_3 &= x^3 + 4 x - 2\\
f_4 &= x^3 + 2 x^2 - 4x - 3\\
f_5 &= x^4 - 4x + 3\\
f_6 &= x^4 + 2 x^2 - x - 3
\end{align*}
30.
From the following list of polynomials, find 3 which are irreducible in \(\mathbb Q[x]\) and explain why they are irreducible:
\begin{align*}
g_1 &= x^3 + x^2 + 3x + 2\\
g_2 &= x^4 - x^3 - 8 x^2 + 11x - 3\\
g_3 &= x^4 - x^3 - 3x^2 + 5x + 3\\
g_4 &= x^4 + 3x^2 - 9x + 6
\end{align*}
31.
Prove that for every positive integer
\(n\text{,}\) there exists an irreducible polynomial of degreeΒ
\(n\) in
\(\mathbb Q[x]\text{.}\)
32. The Rational Root Theorem.
Let
\begin{equation*}
p(x) = a_n x^n + a_{n - 1}x^{n - 1} + \cdots + a_0 \in \mathbb Z[x],
\end{equation*}
where \(a_n \neq 0\text{.}\) Prove that if \(p(r/s) = 0\text{,}\) where \(\gcd(r, s) = 1\text{,}\) then \(r \mid a_0\) and \(s \mid a_n\text{.}\)
33. Cyclotomic Polynomials.
The polynomial
\begin{equation*}
\Phi_n(x) = \frac{x^n - 1}{x - 1} = x^{n - 1} + x^{n - 2} + \cdots + x + 1
\end{equation*}
is called the cyclotomic polynomial. Show that \(\Phi_p(x)\) is irreducible over \({\mathbb Q}\) for any prime \(p\text{.}\)