Podróże po Imperium Liczb - Wydział Matematyki i Informatyki ...
Podróże po Imperium Liczb - Wydział Matematyki i Informatyki ...
Podróże po Imperium Liczb - Wydział Matematyki i Informatyki ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 145<br />
D. Jedyną liczbą naturalną mniejszą niż p i dzielącą p jest d = 1. Wobec tego F p = (x − 1).<br />
Z równości 12.2.5 wynika zatem, że Φ p (x) = xp −1<br />
x−1<br />
= xp−1 + x p−2 + . . . + x + 1. ⊠<br />
12.2.7. Niech A ⊂ B będą pierścieniami (przemiennymi z 1). Rozważmy trzy wielomiany:<br />
f(x), g(x), h(x) należące do B[x]. Załóżmy, że:<br />
(a) f(x) = g(x)h(x),<br />
(b) f(x) i g(x) są moniczne,<br />
(c) f(x), g(x) ∈ A[x].<br />
Wtedy wielomian h(x) jest moniczny i należy do A[x].<br />
D. Moniczność wielomianu h(x) jest oczywista. Niech:<br />
f(x) = x n + a n−1 x n−1 + . . . + a 1 x + a 0 ,<br />
g(x) = x m + b m−1 x m−1 + . . . + b 1 x + b 0 ,<br />
h(x) = x s + c s−1 x s−1 + . . . + c 1 x + c 0 ,<br />
Współczynniki <strong>po</strong>staci a i , b j należą do A, natomiast współczynniki <strong>po</strong>staci c i należą do B. Ponieważ<br />
f(x) = g(x)h(x), więc <strong>po</strong>równując współczynniki przy x n−1 mamy a n−1 = c s−1 + b m−1 . Stąd c s−1 =<br />
a n−1 − b m−1 ∈ A. Wiemy więc, że c s−1 ∈ A. Załóżmy, że wiemy już, że wszystkie współczynniki<br />
c s−1 , c s−2 , . . . , c k+2 , c k+1<br />
należą do A. Pokażemy, że wówczas współczynnik c k również należy do A. W tym celu <strong>po</strong>równajmy<br />
w równości f(x) = g(x)h(x) współczynniki przy x k+s . Wtedy a k+s = c k + c k+1 b s−1 + c k+2 b s−2 + . . .<br />
i wobec tegoże<br />
c k = a k+s − (c k+1 b s+1 + c k+2 b s−2 + . . .).<br />
Prawa strona należy do A. Zatem c k ∈ A i to kończy nasz indukcyjny dowód. ⊠<br />
12.2.8. Każdy wielomian Φ n (x) należy do pierścienia Z[x]. Innymi słowy, wszystkie współczynniki<br />
dowolnego wielomianu cyklotomicznego są liczbami całkowitymi. ([Br77], [La84]).<br />
D. Wiemy, że x n − 1 = F n (x)Φ n (x) (patrz 12.2.5). Wielomiany x n − 1 i F n (x) są moniczne i<br />
należą do Z[x]. Z 12.2.7 wynika więc, że wielomian Φ n (x) również należy do Z[x]. ⊠<br />
⋆ T. Nagell, The cyclotomic <strong>po</strong>lynomial, [Nagl] 158-160.