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

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

Saved successfully!

Ooh no, something went wrong!