28

Многочлены над полем рациональных чисел и над конечными полями

[34/94%]
Показать
LaTeX
Задача 28.1

Доказать, что если несократимая рациональная дробь p/qp / q является корнем многочлена f(x)=a0xn+a1xn−1+…+an−1x+anf(x)=a_{0} x^{n}+a_{1} x^{n-1}+\ldots +a_{n-1} x+a_{n} с целыми коэффициентами, то:

?
(а)

p∣anp \mid a_{n};

(б)

q∣a0q \mid a_{0};

(в)

(p−mq)∣f(m)(p-m q) \mid f(m) при любом m∈Zm \in \mathbb {Z}.

Задача 28.2

Найти все рациональные корни многочленов:

?
(а)

x3−6x2+15x−14x^{3}-6 x^{2}+15 x-14;

(б)

x4−2x3−8x2+13x−24x^{4}-2 x^{3}-8 x^{2}+13 x-24;

(в)

6x4+19x3−7x2−26x+126 x^{4}+19 x^{3}-7 x^{2}-26 x+12;

(г)

24x4−42x3−77x2+56x+6024 x^{4}-42 x^{3}-77 x^{2}+56 x+60;

(д)

24x5+10x4−x3−19x2−5x+624 x^{5}+10 x^{4}-x^{3}-19 x^{2}-5 x+6;

(е)

10x4−13x3+15x2−18x−2410 x^{4}-13 x^{3}+15 x^{2}-18 x-24;

(ж)

4x4−7x2−5x−14 x^{4}-7 x^{2}-5 x-1;

(з)

2x3+3x2+6x−42 x^{3}+3 x^{2}+6 x-4.

Задача 28.3

Доказать, что многочлен f(x)f(x) с целыми коэффициентами не имеет целых корней, если f(0),f(1)f(0), f(1) — нечётные числа.

?
Задача 28.4

Доказать, что многочлен, неприводимый над полем рациональных чисел, не может иметь кратных комплексных корней.

?
Задача 28.5

Многочлен с целыми коэффициентами называется примитивным, если его коэффициенты в совокупности просты. Доказать, что произведение примитивных многочленов является примитивным многочленом.

?
Задача 28.6

Доказать, что если многочлен с целыми коэффициентами приводим над полем рациональных чисел, то он может быть разложен в произведение двух многочленов меньшей степени с целыми коэффициентами.

?
Задача 28.7

Пусть многочлен f(x)f(x) с целыми коэффициентами принимает значения ±1\pm 1 при двух целых значениях x1,x2x_{1}, x_{2}. Доказать, что f(x)f(x) не имеет рациональных корней, если ∣x1−x2∣>2\left|x_{1}-x_{2}\right|>2. Если же ∣x1−x2∣⩽2\left|x_{1}-x_{2}\right| \leqslant 2, то рациональным корнем может быть только (x1+x2)/2\left(x_{1}+x_{2}\right) / 2.

?
Задача 28.8

Пусть f(x)f(x) многочлен с целыми коэффициентами и существует такое простое число pp, что:

?
(а)

старший коэффициент f(x)f(x) не делится на pp;

(б)

все остальные коэффициенты f(x)f(x) делятся на pp;

(в)

свободный член f(x)f(x) не делится на p2p^{2}.

Доказать, что многочлен f(x)f(x) неприводим над полем рациональных чисел.

Задача 28.9

Доказать неприводимость над полем рациональных чисел многочленов:

?
(а)

x4−8x3+12x2−6x+2x^{4}-8 x^{3}+12 x^{2}-6 x+2;

(б)

x5−12x3+36x−12x^{5}-12 x^{3}+36 x-12;

(в)

x105−9x^{105}-9;

(г)

Φp(x)=xp−1+xp−2+…+x+1\Phi_{p}(x)=x^{p-1}+x^{p-2}+\ldots +x+1 (pp — простое число);

(д)

(x−a1)(x−a2)…(x−an)−1\left(x-a_{1}\right)\left(x-a_{2}\right) \ldots \left(x-a_{n}\right)-1, где a1,a2,…,ana_{1}, a_{2}, \ldots , a_{n} — различные целые числа;

(е)

(x−a1)2…(x−an)2+1\left(x-a_{1}\right)^{2} \ldots \left(x-a_{n}\right)^{2}+1, где a1,a2,…,ana_{1}, a_{2}, \ldots , a_{n} — различные целые числа.

Задача 28.10

Доказать, что многочлен xn−x−1x^{n}-x-1 при n⩾2n \geqslant 2 неприводим над Q\mathbb {Q}.

?
Задача 28.11

Доказать, что многочлен xn+x+1x^{n}+x+1 неприводим над Q\mathbb {Q}, если n≢2( mod 3)n \not\equiv 2(\bmod 3). Доказать, что при n≡2( mod 3)n \equiv 2(\bmod 3) многочлен xn+x+1x^{n}+x+1 делится над Z\mathbb {Z} на x2+x+1x^{2}+x+1.

?
Задача 28.12

Пусть f(x)=xn±xm±1f(x)=x^{n} \pm x^{m} \pm 1. Доказать, что либо f(x)f(x) неприводим над Q\mathbb {Q}, либо корнем f(x)f(x) является некоторой комплексный корень из 1.

?
Задача 28.13

Пусть f(x)=xn±xm±xq±1f(x)=x^{n} \pm x^{m} \pm x^{q} \pm 1. Доказать, что либо f(x)f(x) неприводим над Q\mathbb {Q}, либо корнем f(x)f(x) является некоторый комплексный корень из 1.

?
Задача 28.14

Доказать, что всякий многочлен положительной степени с целыми коэффициентами имеет корень в поле Zp\mathbf{Z}_{p} для бесконечного множества простых чисел pp.

?
Задача 28.15

Доказать, что если Fq\mathbb {F}_{q} — поле из qq элементов, то

xq−x=∏a∈Fq(x−a) x^{q}-x=\prod _{a \in \mathbb {F}_{q}}(x-a)
?
Задача 28.16

Пусть FF — конечное поле. Доказать, что для всякого отображения h:Fn→Fh: F^{n} \rightarrow F существует многочлен ff из кольца F[x1,…,xn]F\left[x_{1}, \ldots , x_{n}\right], для которого f(a1,…,an)=h(a1,…,an)f\left(a_{1}, \ldots , a_{n}\right)=h\left(a_{1}, \ldots , a_{n}\right) для любых a1,…,an∈Fa_{1}, \ldots , a_{n} \in F.

?
Задача 28.17

Пусть f(x)f(x) из 28.10 или 28.11, причём f(x)f(x) имеет qq корней, являющихся комплексными корнями из 1. Доказать, что в Q[x]\mathbb {Q}\left[x\right] имеет место разложение f(x)=g(x)h(x)f(x)=g(x) h(x), где корнями g(x)g(x) являются все корни из 1, а h(x)h(x) — неприводимый над Q\mathbb {Q} многочлен.

?
Задача 28.18

Доказать, что многочлен f(x)=xn+ax±1,a∈Zf(x)=x^{n}+a x \pm 1, a \in \mathbb {Z}, неприводим над Q\mathbb {Q}, если ∣a∣⩾3\left|a\right| \geqslant 3.

?
Задача 28.19

Доказать, что если многочлен f(x)=xn±2x±1f(x)=x^{n} \pm 2 x \pm 1 приводим над Q\mathbb {Q}, то f(x)=g(x)(x±1)f(x)=g(x)(x \pm 1), где g(x)g(x) неприводим над Q\mathbb {Q}.

?
Задача 28.20

Доказать, что многочлен f(x)=xn+gxp+r∈Z[x],1⩽p<nf(x)=x^{n}+g x^{p}+r \in \mathbb {Z}\left[x\right], 1 \leqslant p<n, неприводим над Q\mathbb {Q}, если ∣g∣>1+∣r∣n−1\left|g\right|>1+\left|r\right|^{n-1} и ∣r∣\left|r\right| не является dd-й степенью для любого неединичного делителя dd числа nn.

?
Задача 28.21

Многочлен f(x)=xn+an−1xn−1+…+a0∈Z[x]f(x)=x^{n}+a_{n-1} x^{n-1}+\ldots +a_{0} \in \mathbb {Z}\left[x\right] \quad неприводим над Q\mathbb {Q}, если ∣an−1∣>1+∣a0∣+…+∣an−2∣\left|a_{n-1}\right|>1+\left|a_{0}\right|+\ldots +\left|a_{n-2}\right|.

?
Задача 28.22

Найти:

?
(а)

все неприводимые многочлены степени ⩽4\leqslant 4 над полем Z2\mathbf{Z}_{2};

(б)

все унитарные неприводимые многочлены степени 2 над полем Z3\mathbf{Z}_{3};

(в)

число неприводимых многочленов степени 5 над полем Z2\mathbf{Z}_{2};

(г)

число неприводимых унитарных многочленов степеней 3 и 4 над полем Z3\mathbf{Z}_{3}.

Задача 28.23

Найти число неприводимых унитарных многочленов степеней 2 и 3 над полем из 9 элементов.

?
Задача 28.24

Доказать, что многочлен Φd(x)\Phi_{d}(x) при dd, делящем p−1p-1, разлагается на линейные множители над Zp\mathbf{Z}_{p}.

?
Задача 28.25

Пусть f(x)∈Zp[x]f(x) \in \mathbf{Z}_{p}[x]. Доказать, что многочлены f(x)f(x), f(x+1),…,f(x+p−1)f(x+1), \ldots , f(x+p-1) либо попарно различны, либо все совпадают.

?
Задача 28.26

Доказать, что при a∈Zp∗a \in \mathbf{Z}_{p}^{*} многочлен xp−x−ax^{p}-x-a неприводим над Zp\mathbf{Z}_{p}.

?
Задача 28.27

Пусть bb — ненулевой элемент Zp\mathbf{Z}_{p}. Доказать, что xp−x−bx^{p}-x-b неприводим над Fp\mathbb {F}_{p} тогда и только тогда, когда nn не делится на pp.

?
Задача 28.28

Доказать, что при a≠1a \neq 1 многочлен xq−ax−bx^{q}-a x-b имеет в Fq\mathbb {F}_{q} корень.

?
Задача 28.29

Доказать, что x2n+xn+1x^{2 n}+x^{n}+1 неприводим над Z2\mathbf{Z}_{2} тогда и только тогда, когда n=3kn=3^{k} для некоторого k⩾0k \geqslant 0.

?
Задача 28.30

Доказать, что x4n+xn+1x^{4 n}+x^{n}+1 неприводим над Z2\mathbf{Z}_{2} тогда и только тогда, когда n=3k5mn=3^{k} 5^{m} для некоторых целых k,m⩾0k, m \geqslant 0.

?
Задача 28.31

Найти все целые числа aa, для которых все корни многочлена x4−14x3+61x2+84x+ax^{4}-14 x^{3}+61 x^{2}+84 x+a целые.

?
Задача 28.32

Пусть ImI_{m} — число различных неприводимых многочленов степени mm со старшим коэффициентом 1 над конечным полем из qq элементов. Доказать, что в кольце степенных рядов Q[[z]]\mathbb {Q}\left[\left[z\right]\right]

11−qz=∏m=1∞(11−zm)Im \frac{1}{1-q z}=\prod _{m=1}^{\infty }\left(\frac{1}{1-z^{m}}\right)^{I_{m}}
?
Задача 28.33

В условиях задачи 28.32 доказать, что qkq^{k} равно сумме mImm I_{m} для всех делителей mm числа kk.

?
Задача 28.34

Пусть ImI_{m} из 28.32. Доказать, что

Im=1m∑d∣mμ(d)qmd−1 I_{m}=\frac{1}{m} \sum _{d \mid m} \mu (d) q^{m d^{-1}}
?