30.11.2014 Views

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 ...

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!