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 171<br />
D. Przypuśćmy, że taka liczba pierwsza p nie istnieje. Oczywiście Φ n (a) a 2. Istnieje zatem<br />
liczba pierwsza p dzieląca liczbę Φ n (a). Wtedy, na mocy 12.13.2, n = p s δ p (a) gdzie s 0. Jeśli s = 0,<br />
to n = δ p (a) wbrew temu co założyliśmy. Zatem s 1. Ale δ p (a) p − 1, więc p jest największą liczbą<br />
pierwszą dzielącą n. Biorąc inną liczbę pierwszą q dzielącą Φ n (a), stwierdzamy w ten sam s<strong>po</strong>sób, że q<br />
jest największą liczbą pierwszą dzielącą n. Zatem Φ n (a) jest <strong>po</strong>tęgą liczby pierwszej p i przy tym p | n.<br />
Wiemy (patrz 12.13.10), że p 2 ∤ Φ n (a). Zatem Φ n (a) = p jest liczbą pierwszą dzielącą n. Korzystając<br />
z 12.15.4 stwierdzamy, że (n, a) = (6, 2) wbrew temu, że (n, a) ≠ (6, 2). ⊠<br />
Z <strong>po</strong>wyższych faktów wynika następujące ogólne twierdzenie.<br />
12.15.7 (Bang 1886). Niech n 2, a 2 będą liczbami naturalnymi. Następujące warunki<br />
są równoważne.<br />
(1) Istnieje liczba pierwsza p taka, że n = δ p (a).<br />
(2) Para (n, a) nie jest <strong>po</strong>staci (2, 2 s − 1) i nie jest równa (6, 2). ([Mot1]).<br />
12.15.8 (Maple). Przykłady najmniejszych liczb pierwszych p spełniających równość<br />
n = δ p (a),<br />
dla danych n, a.<br />
(13) a = 2 :<br />
2 = δ 3 (2),<br />
3 = δ 7 (2),<br />
4 = δ 5 (2),<br />
5 = δ 31 (2),<br />
7 = δ 127 (2),<br />
8 = δ 17 (2),<br />
9 = δ 73 (2),<br />
10 = δ 11 (2),<br />
11 = δ 23 (2),<br />
12 = δ 13 (2),<br />
13 = δ 8197 (2),<br />
14 = δ 43 (2),<br />
15 = δ 151 (2),<br />
16 = δ 257 (2),<br />
17 = δ 131071 (2),<br />
18 = δ 19 (2),<br />
19 = δ 524287 (2),<br />
20 = δ 41 (2).<br />
(14) a = 3 :<br />
3 = δ 13 (3),<br />
4 = δ 5 (3),<br />
5 = δ 11 (3),<br />
6 = δ 7 (3),<br />
7 = δ 1093 (3),<br />
8 = δ 41 (3),<br />
9 = δ 757 (3),<br />
10 = δ 61 (3),<br />
11 = δ 23 (3),<br />
12 = δ 73 (3).<br />
(15) a = 5 :<br />
2 = δ 3 (5),<br />
3 = δ 31 (5),<br />
4 = δ 13 (5),<br />
5 = δ 11 (5),<br />
6 = δ 7 (5),<br />
7 = δ 19531 (5),<br />
8 = δ 313 (5),<br />
9 = δ 19 (5),<br />
10 = δ 521 (5).<br />
12.15.9. Niech a 3, n 3, m 3. Jeśli Φ n (a) = Φ m (a), to n = m. ([Mot1]).<br />
D. Przypuśćmy, że n < m. Z twierdzenia Banga istnieje liczba pierwsza p taka, że m = δ p (a).<br />
Wtedy oczywiście p ∤ a oraz p | Φ m (a) (na mocy 12.13.3 lub 12.13.7). Ale Φ m (a) = Φ n (a), więc<br />
p | Φ n (a). Zatem (na mocy 12.13.2) n = p s δ p (a), gdzie s 0. Stąd n = p s δ p (a) δ p (a) = m, wbrew<br />
temu, że n < m. ⊠<br />
⋆ A. S. Bang, Taltheoretiske Undersφgelser, Tidsskrift for Math. 5(1886) 70-80, 130-137.