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.

166 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

Ze stwierdzenia 12.12.3 wynika, że liczby B oraz Φ n (b) są względnie pierwsze. Mamy zatem:<br />

b n+1 = [AB, AΦ n (a)] = A [B, Φ n (a)] = ABΦ n (a) =<br />

( n−1<br />

) ∏<br />

Φ k (a) · Φ n (a) =<br />

k=1<br />

i to kończy nasz indukcyjny dowód równości (∗). Zatem b n+1 /b n = Φ n (a). ⊠<br />

n∏<br />

Φ k (a)<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.13 Podzielność liczb Φ n (a) przez liczby pierwsze<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

Jeśli a, m ∈ Z, m 2 oraz nwd(a, m) = 1, to przez δ m (a) oznaczamy rząd liczby a modulo<br />

m, tzn. δ m (a) jest najmniejszą liczbą naturalną n taką, że<br />

a n ≡ 1 (mod m).<br />

Podstawowe własności liczby δ m (a) znajdują się np. w [N-4].<br />

k=1<br />

12.13.1. Niech p ∈ P, a ∈ Z, n ∈ N. Jeśli p | Φ n (a), to p ∤ a.<br />

D. Wiadomo, że wielomian Φ n (x) jest <strong>po</strong>dzielnikiem (w Z[x]) wielomianu x n − 1. Załóżmy, że<br />

p | Φ n (a). Wtedy p | a n − 1. Gdyby p dzieliło a, to otrzymalibyśmy sprzeczność: p | 1. ⊠<br />

12.13.2. Niech a 2, n 2 będą liczbami naturalnymi i niech p będzie liczbą pierwszą. Jeśli<br />

p | Φ n (a), to<br />

n = p s δ p (a),<br />

gdzie s 0 jest pewną liczbą całkowitą. ([Mot1], [Mot5]).<br />

D. Załóżmy, że p | Φ n (a). Wtedy p ∤ a (patrz 12.13.1), więc można mówić o rzędzie δ p (a). Ponieważ<br />

a n ≡ 1 (mod p), więc rząd δ p (a) jest <strong>po</strong>dzielnikiem liczby n. Zatem n = p s tδ p (a), gdzie s 0, t ∈ N,<br />

p ∤ t. Pokażemy, że t = 1.<br />

Przypuśćmy, że t > 1. Oznaczmy: m = p s δ p (a). Wtedy n = mt, p ∤ t. Ponieważ m | n, więc<br />

a n − 1 = ∏ d|n<br />

Φ d (a) = ∏ d|m<br />

Φ d (a) · ∏<br />

d∈A<br />

Φ d (a) = (a m − 1) ∏ d∈A<br />

Φ d (a),<br />

gdzie A jest zbiorem tych wszystkich naturalnych <strong>po</strong>dzielników liczby n które nie są <strong>po</strong>dzielnikami<br />

liczby m. Zauważmy, że n ∈ A (gdyż t > 1). W iloczynie ∏ Φ d (a) występuje więc czynnik Φ n (a), który<br />

jest <strong>po</strong>dzielny przez p. Oznacza to, że liczba całkowita an −1<br />

a m −1<br />

jest <strong>po</strong>dzielna przez p. Przy<strong>po</strong>mnijmy,<br />

że a m ≡ 1 (mod p). Modulo p mamy więc:<br />

0 ≡ an − 1<br />

a m − 1 = amt − 1<br />

a m − 1 = am(t−1) + a m(t−2) + · · · + a m + 1 ≡ 1 + 1 · · · + 1 = t,<br />

} {{ }<br />

t<br />

czyli otrzymaliśmy sprzeczność: p | t. Zatem t = 1 i stąd n = p s δ p (a). ⊠<br />

Zmierzamy teraz do udowodnienia twierdzenia odwrotnego do twierdzenia 12.13.2.<br />

12.13.3. Niech p ∈ P, a 2, a ∈ N, p ∤ a. Wtedy p | Φ δ (a), gdzie δ = δ p (a).<br />

d∈A

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

Saved successfully!

Ooh no, something went wrong!