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