Section 6.11

Polynomials

[36/89%]
Show
LaTeX
Problem 6.11.1

Suppose the nonzero complex number α\alpha is a root of a polynomial of degree nn with rational coefficients. Prove that 1/α1/\alpha is also a root of a polynomial of degree nn with rational coefficients.

?
Problem 6.11.2

By the Fundamental Theorem of Algebra, the polynomial x3+2x2+7x+1x^3+2x^2+7x+1 has three complex roots, α1,α2\alpha_1, \alpha_2, and α3\alpha_3. Compute α13+α23+α33\alpha_1^3+\alpha_2^3+\alpha_3^3.

?
Problem 6.11.3

Let ζ=e2πi7\zeta = e^{\frac{2\pi i}{7}} be a primitive 7th root of unity. Find a cubic polynomial with integer coefficients having α=ζ+ζ−1\alpha = \zeta + \zeta^{-1} as a root.

?
Problem 6.11.4
?
(1)

Prove that α=5+7\alpha = \sqrt{5}+\sqrt{7} is algebraic over Q\mathbb {Q}, by explicitly finding a polynomial f(x)f(x) in Qx\mathbb {Q}^{x} of degree 4 having α\alpha as a root.

(2)

Prove that f(x)f(x) is irreducible over Q\mathbb {Q}.

Problem 6.11.5

Prove that 2+33\sqrt{2} + \sqrt[3]{3} is irrational.

?
Problem 6.11.6

Let P(z)P(z) be a polynomial of degree <k< k with complex coefficients. Let ω1,…,ωk\omega_1, \ldots , \omega_k be the kk-th roots of unity in C\mathbb {C}. Prove that

1k∑i=1kP(ωi)=P(0). \frac{1}{k} \sum _{i=1}^{k} P(\omega _i) = P(0) .
?
Problem 6.11.7

Let f(x)∈Qxf(x) \in \mathbb {Q}^{x} be a polynomial with rational coefficients. Show that there is a g(x)∈Qxg(x) \in \mathbb {Q}^{x}, g≠0g \neq 0, such that f(x)g(x)=a2x2+a3x3+a5x5+⋯+apxpf(x)g(x) = a_2 x^2 + a_3 x^3 + a_5 x^5 + \cdots + a_p x^p is a polynomial in which only prime exponents appear.

?
Problem 6.11.8

Let II be the ideal in the ring Zx\mathbb {Z}^{x} generated by x−7x-7 and 15. Prove that the quotient ring Zx/I\mathbb {Z}^{x}/I is isomorphic to Z15\mathbb {Z}^{15}.

?
Problem 6.11.9

Let II denote the ideal in Zx\mathbb {Z}^{x}, the ring of polynomials with coefficients in Z\mathbb {Z}, generated by x3+x+1x^3+x+1 and 5. Is II a prime ideal?

?
Problem 6.11.10

In the ring Zx\mathbb {Z}^{x} of polynomials in one variable over the integers, show that the ideal II generated by 5 and x2+2x^2+2 is a maximal ideal.

?
Problem 6.11.11

Let Zn\mathbb {Z}^{n} denote the ring of integers modulo nn. Let Zn[x]\mathbb {Z}^{n}[x] be the ring of polynomials with coefficients in Zn\mathbb {Z}^{n}. Let II denote the ideal in Zn[x]\mathbb {Z}^{n}[x] generated by x2+x+1x^2+x+1.

?
(1)

For which values of nn, 1≤n≤101 \leq n \leq 10, is the quotient ring Zn[x]/I\mathbb {Z}^{n}[x]/I a field?

(2)

Give the multiplication table for Z2/I\mathbb {Z}^{2}/I.

Problem 6.11.12

Let Z\mathbb {Z} be the ring of integers, pp a prime, and Fp=Z/pZ\mathbf{F}_p = \mathbb {Z}/p\mathbb {Z} the field of pp elements. Let xx be an indeterminate, and set R1=Fp[x]/⟨x2−2⟩R_1 = \mathbf{F}_p[x]/ \left\langle x^2-2\right\rangle, R2=Fp[x]/⟨x2−3⟩R_2 = \mathbf{F}_p[x]/ \left\langle x^2-3\right\rangle. Determine whether the rings R1R_1 and R2R_2 are isomorphic in each of the cases p=2,5,11p = 2, 5, 11.

?
Problem 6.11.13

Consider the polynomial ring Zx\mathbb {Z}^{x} and the ideal II generated by 7 and x−3x-3.

?
(1)

Show that for each r∈Zxr \in \mathbb {Z}^{x}, there is an integer α\alpha satisfying 0≤α≤60 \leq \alpha \leq 6 such that r−α∈Ir - \alpha \in I.

(2)

Find α\alpha in the special case r=x250+15x14+x2+5r = x^{250} + 15x^{14} + x^2 + 5.

Problem 6.11.14

Let Zx\mathbb {Z}^{x} be the ring of polynomials in the indeterminate xx with coefficients in the ring Z\mathbb {Z} of integers. Let I⊂ZxI \subset \mathbb {Z}^{x} be the ideal generated by 13 and x−4x-4. Find an integer mm such that 0≤m≤120 \leq m \leq 12 and

(x26+x+1)73−m∈I. (x^{26}+x+1)^{73} - m \in I .
?
Problem 6.11.15

Give an example, with proof, of a nonconstant irreducible polynomial f(x)f(x) over Q\mathbb {Q} with the property that f(x)f(x) does not factor into linear factors over the field K=Qx/(f(x))K = \mathbb {Q}^{x}/(f(x)).

?
Problem 6.11.16
?
(1)

In Rx\mathbb {R}^{x}, consider the set of polynomials f(x)f(x) for which f(2)=f′(2)=f′′(2)=0f(2) = f'(2) = f''(2) = 0. Prove that this set forms an ideal and find its monic generator.

(2)

Do the polynomials such that f(2)=0f(2) = 0 and f′(3)=0f'(3) = 0 form an ideal?

Problem 6.11.17

Find all automorphisms of Zx\mathbb {Z}^{x}, the ring of polynomials over Z\mathbb {Z}.

?
Problem 6.11.18

Let RR denote the ring of polynomials over a field FF. Let p1,…,pnp_1, \ldots , p_n be elements of RR. Prove that the greatest common divisor of p1,…,pnp_1, \ldots , p_n is 1 if and only if there is an n×nn \times n matrix over RR of determinant 1 whose first row is (p1,…,pn)(p_1, \ldots , p_n).

?
Problem 6.11.19

Let f(x)f(x) be a polynomial over Zp\mathbb {Z}^{p}, the field of integers mod pp. Let g(x)=xp−xg(x) = x^p - x. Show that the greatest common divisor of f(x)f(x) and g(x)g(x) is the product of the distinct linear factors of f(x)f(x).

?
Problem 6.11.20

Let FF be a subfield of a field KK. Let pp and qq be polynomials over FF. Prove that their greatest common divisor in the ring of polynomials over FF is the same as their gcd in the ring of polynomials over KK.

?
Problem 6.11.21

Show that x10+x9+x8+⋯+x+1x^{10}+x^9+x^8+\cdots +x+1 is irreducible over Q\mathbb {Q}. How about x11+x10+⋯+x+1x^{11}+x^{10}+\cdots +x+1?

?
Problem 6.11.22

Let Z\mathbb {Z} be the ring of integers and Zx\mathbb {Z}^{x} the polynomial ring over Z\mathbb {Z}. Show that

x6+539x5−511x+847 x^6 + 539x^5 - 511x + 847

is irreducible in Zx\mathbb {Z}^{x}.

?
Problem 6.11.23

Prove that the polynomial x4+x+1x^4+x+1 is irreducible over Q\mathbb {Q}.

?
Problem 6.11.24

Prove that if pp is a prime number, then the polynomial

f(x)=xp−1+xp−2+⋯+1 f(x) = x^{p-1} + x^{p-2} + \cdots + 1

is irreducible in Qx\mathbb {Q}^{x}.

?
Problem 6.11.25

Prove that f(x)=x4+x3+x2+6x+1f(x) = x^4+x^3+x^2+6x+1 is irreducible over Q\mathbb {Q}.

?
Problem 6.11.26

Prove that the polynomial f(x)=16x5−125x4+50x3−100x2+75x+25f(x) = 16x^5 - 125x^4 + 50x^3 - 100x^2 + 75x + 25 is irreducible over the rationals.

?
Problem 6.11.27

Let Z3\mathbb {Z}^{3} be the field of integers mod 3 and Z3[x]\mathbb {Z}^{3}[x] the corresponding polynomial ring. Decompose x3+x+2x^3+x+2 into irreducible factors in Z3[x]\mathbb {Z}^{3}[x].

?
Problem 6.11.28

Factor x4+x3+x+3x^4+x^3+x+3 completely in Z5[x]\mathbb {Z}^{5}[x].

?
Problem 6.11.29
?
(1)

How many different monic irreducible polynomials of degree 2 are there over the field Z5\mathbb {Z}^{5}?

(2)

How many different monic irreducible polynomials of degree 3 are there over the field Z5\mathbb {Z}^{5}?

Problem 6.11.30

Is x4+1x^4+1 irreducible over the field of real numbers? The field of rational numbers? A field with 16 elements?

?
Problem 6.11.31

Decompose x4−4x^4-4 and x3−2x^3-2 into irreducibles over R\mathbb {R}, over Z\mathbb {Z}, and over Z3\mathbb {Z}^{3} (the integers modulo 3).

?
Problem 6.11.32

Let aa be an element in a field FF and let pp be a prime. Assume aa is not a pp-th power. Show that the polynomial xp−ax^p-a is irreducible in F[x]F[x].

?
Problem 6.11.33

Let pp be a prime integer, p≡3(mod4)p \equiv 3 \pmod{4}, and let Fp=Z/pZ\mathbf{F}_p = \mathbb {Z}/p\mathbb {Z}. If x4+1x^4+1 factors into a product g(x)h(x)g(x)h(x) of two quadratic polynomials in Fp[x]\mathbf{F}_p[x], prove that g(x)g(x) and h(x)h(x) are both irreducible over Fp\mathbf{F}_p.

?
Problem 6.11.34

Let nn be a positive integer and let ff be a polynomial in Rx\mathbb {R}^{x} of degree nn. Prove that there are real numbers a0,a1,…,ana_0, a_1, \ldots , a_n, not all equal to zero, such that the polynomial

∑i=0naix2i \sum _{i=0}^{n} a_i x^{2^i}

is divisible by ff.

?
Problem 6.11.35

Let FF be a field, F[x]F[x] the polynomial ring in one variable over FF, and RR a subring of F[x]F[x] with F⊂RF \subset R. Prove that there exists a finite set {f1,f2,…,fn}\left\{ f_1, f_2, \ldots , f_n\right\} of elements of F[x]F[x] such that R=F[f1,f2,…,fn]R = F[f_1, f_2, \ldots , f_n].

?
Problem 6.11.36

Let FF be a finite field with qq elements and let xx be an indeterminate. For ff a polynomial in F[x]F[x], let φf\varphi_f denote the corresponding function of FF into FF, defined by φf(a)=f(a)\varphi_f(a) = f(a), (a∈Fa \in F). Prove that if φ\varphi is any function of FF into FF, then there is an ff in F[x]F[x] such that φ=φf\varphi = \varphi_f. Prove that ff is uniquely determined by φ\varphi to within addition of a multiple of xq−xx^q - x.

?