Số nguyên tố chính quy

Trong lý thuyết số, số nguyên tố chính quy là một loại đặc biệt của số nguyên tố, được định nghĩa bởi Ernst Kummer trong 1850 để chứng minh một số trường hợp của định lý lớn Fermat. Số nguyên tố chính quy có thể định nghĩa qua tính chia hết của số lớp hoặc của số Bernoulli.

Các số nguyên tố chính quy đầu tiên là:
 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 43, 47, 53, 61, 71, 73, 79, 83, 89, 97, 107, 109, 113, 127, 137, 139, 151, 163, 167, 173, 179, 181, 191, 193, 197, 199, ... .

Lịch sử và động lực
Trong 1850, Kummer đã chứng minh rằng định lý lớn Fermat đúng với số mũ là lũy thừa của p nếu p chính quy. Do đó đưa sự chú ý vào các số nguyên tố chính quy. Trong 1852, Genocchi chứng minh được thêm rằng trường hợp đầu tiên của định lý lớn Fermat đúng cho số nguyên tố p, khi  không phải cặp số phi chính quy. Kummer cải tiến thêm vào 1857 rằng đối với "trường hợp đầu" của định lý lớn Fermat (xem định lý Sophie Germain), ta đủ để chứng minh rằng hoặc  hoặc  không phải cặp phi chính quy.

Kummer tìm được các số nguyên tố phi chính quy cho tới 165. Trong 1963, Lehmer tăng giới hạn lên 10000 , sau đó Selfridge và Pollack báo cáo trong 1964 đã hoàn thành bảng các số nguyên tố phi chính quy lên tới 25000. Mặc dù hai bản sau không được in ra giấy, Johnson tìm ra rằng  là cặp số phi chính quy với  và đây là trường hợp duy nhất cho . Ta tìm được thêm một số khác vào năm 1993 với ; xem thêm số nguyên tố Wolstenholme.

Định nghĩa

Định nghĩa bằng số lớp 
Số nguyên tố lẻ p là số nguyên tố chính quy nếu nó không phải là ước của số lớp của trường cyclotomic thứ p :Q(ζp), với ζp là căn đơn vị nguyên thủy thứ p, danh sách các số được liệt kê trong . Số 2 cũng được coi là số nguyên tố chính quy

Số lớp của trường cyclotomic là số các ideal của vành số nguyên
Z(ζp) xê xích tương đương. Hai ideal I, J được gọi là tương đương nhau nếu tồn tại u khác không thuộc Q(ζp) sao cho .

Định nghĩa theo Kummer
Ernst Kummer  đưa ra một định nghĩa tương đương khác rằng p chính quy khi và chỉ khi p không phải là ước của bất kỳ số Bernoulli  Bk với .

Bài chứng minh của Kummer rằng định nghĩa này tương đương với định nghĩa bằng số lớp được gia cố thêm bằng định lý Herbrand–Ribet.

Giả thuyết Siegel
Có giả thuyết cho rằng có vô hạn số nguyên tố chính quy. Chính xác hơn thì  đã đặt giả thuyết là có  hay khoảng 60,65% số nguyên tố là số nguyên tố chính quy theo cách hiểu tiệm cận về mật độ tự nhiên. Ở đây  là cơ số của logarit tự nhiên.

Theo định nghĩa của Kummer thì xác suất để một tử số trong các số Bernoulli  với  không chia hết cho số nguyên tố  là

nên xác suất để không có tử số nào trong các số Bernoulli chia hết cho số nguyên tố  là

Theo định nghĩa của ,

do đó

Như vậy xác suất để một số nguyên tố là số nguyên tố chính quy bằng khoảng . Hart và cộng sự đã tính toán rằng có  số nguyên tố nhỏ hơn  là số nguyên tố chính quy.

 Số nguyên tố phi chính quy 
Số nguyên tố lẻ không chính quy được gọi là số nguyên tố phi chính quy (hay B-phi chính quy để phân biệt với các dạng phi chính quy bên dưới). Một số số nguyên tố phi chính quy đầu tiên là:

 37, 59, 67, 101, 103, 131, 149, 157, 233, 257, 263, 271, 283, 293, 307, 311, 347, 353, 379, 389, 401, 409, 421, 433, 461, 463, 467, 491, 523, 541, 547, 557, 577, 587, 593, ... 

Tính vô hạn
K. L. Jensen (một học trò của NielsenLeo Corry: Number Crunching vs. Number Theory: Computers and FLT, from Kummer to SWAC (1850–1960), and beyond) trong 1915 đã chứng minh được rằng có vô số số nguyên tố phi chính quy dưới dạng .

Trong 1954 Carlitz đưa ra kết quả yếu hơn rằng nhìn chung có vô số nguyên tố phi chính quy.

Metsänkylä chứng minh rằng với bất kỳ số nguyên , có vô số số nguyên tố phi chính quy không nằm dưới dạng  hay , sau này tổng quát thêm.

Cặp số phi chính quy

Nếu p là số nguyên tố phi chính quy và p là ước của số Bernoulli B2k cho , thì  được gọi là cặp phi chính quy.  Nói cách khác, cặp số này được dùng để kiểm tra xem với số nguyên tố p, xem chỉ số của số Bernoulli mà tại đó mất tính chính quy. Các cặp đầu tiên (xếp thứ tự bởi k) là:

 (691, 12), (3617, 16), (43867, 18), (283, 20), (617, 20), (131, 22), (593, 22), (103, 24), (2294797, 24), (657931, 26), (9349, 28), (362903, 28), ... .

Các số k chẵn nhỏ sao cho số nguyên tố phi chính quy thứ n là ước của Bk là
32, 44, 58, 68, 24, 22, 130, 62, 84, 164, 100, 84, 20, 156, 88, 292, 280, 186, 100, 200, 382, 126, 240, 366, 196, 130, 94, 292, 400, 86, 270, 222, 52, 90, 22, ... 

Đối với số nguyên tố p, số các cặp chứa p được gọi là chỉ số phi chính quy của p.  Do đó, số nguyên tố được gọi là chính quy khi chỉ số phi chính quy của nó bằng không. Tương tự như vậy, số nguyên tố phi chính quy khi chỉ số phi chính quy của nó dương.

Ta phát hiện ra rằng  là cặp phi chính quy cho  và . Không có p nào khác cho .

Chỉ số phi chính quy
Số nguyên tố p có chỉ số phi chính quy n khi và chỉ khi có n giá trị k thỏa mãn p là ước của B2k và các giả trị k này đều nhỏ hơn . Số nguyên tố lẻ đầu tiên có chỉ số phi chính quy lớn hơn 1 là số 157, là ước của B62 và B110, nên nó có chỉ số bằng 2. Chỉ số của số nguyên tố chính quy bằng 0.

Dãy chỉ số phi chính quy của số nguyên tố thứ n là
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 0, 2, 0, ... (Bắt đầu với n = 2, hoặc p = 3) 

Dãy chỉ số phi chính quy của số nguyên tố phi chính quy thứ n là
1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 1, 2, 1, 1, 2, 1, 1, 1, 3, 1, 2, 3, 1, 1, 2, 1, 1, 2, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, ... 

Các số nguyên tố với chỉ số phi chính quy bằng 1 là
37, 59, 67, 101, 103, 131, 149, 233, 257, 263, 271, 283, 293, 307, 311, 347, 389, 401, 409, 421, 433, 461, 463, 523, 541, 557, 577, 593, 607, 613, 619, 653, 659, 677, 683, 727, 751, 757, 761, 773, 797, 811, 821, 827, 839, 877, 881, 887, 953, 971, ... 

Các số nguyên tố với chỉ số phi chính quy bằng 2 là
157, 353, 379, 467, 547, 587, 631, 673, 691, 809, 929, 1291, 1297, 1307, 1663, 1669, 1733, 1789, 1933, 1997, 2003, 2087, 2273, 2309, 2371, 2383, 2423, 2441, 2591, 2671, 2789, 2909, 2957, ... 

Các số nguyên tố với chỉ số phi chính quy bằng 3 là
491, 617, 647, 1151, 1217, 1811, 1847, 2939, 3833, 4003, 4657, 4951, 6763, 7687, 8831, 9011, 10463, 10589, 12073, 13217, 14533, 14737, 14957, 15287, 15787, 15823, 16007, 17681, 17863, 18713, 18869, ... 

Các dạng tổng quát

Số nguyên tố phi chính quy Euler 
Tương tự đối với các số Euler, ta định nghĩa số nguyên tố phi chính quy Euler (hay E-phi chính quy) là số nguyên tố p là ước của ít nhất một số Euler E2n với . Các số nguyên tố phi chính quy Euler đầu tiên là
19, 31, 43, 47, 61, 67, 71, 79, 101, 137, 139, 149, 193, 223, 241, 251, 263, 277, 307, 311, 349, 353, 359, 373, 379, 419, 433, 461, 463, 491, 509, 541, 563, 571, 577, 587, ... 

Dãy các cặp phi chính quy Euler là
(61, 6), (277, 8), (19, 10), (2659, 10), (43, 12), (967, 12), (47, 14), (4241723, 14), (228135437, 16), (79, 18), (349, 18), (84224971, 18), (41737, 20), (354957173, 20), (31, 22), (1567103, 22), (1427513357, 22), (2137, 24), (111691689741601, 24), (67, 26), (61001082228255580483, 26), (71, 28), (30211, 28), (2717447, 28), (77980901, 28), ...

Vandiver chứng minh rằng định lý lớn Fermat () không có nghiệm nguyên x, y, z với  nếu p là số nguyên tố chính quy Euler. Gut chứng minh rằng  không có nghiệm nguyên nếu p có chỉ số phi chính quy Euler nhỏ hơn 5.

Hiện đã chứng minh được rằng có vô hạn số nguyên tố phi chính quy Euler. Một kết quả mạnh hơn thu được như sau: có vô hạn số nguyên tố phi chính quy Euler đồng dư với 1 khi mô đun 8. Giống với trường hợp B-chính quy của Kummer, hiện vẫn chưa biết được liệu có vô số số nguyên tố chính quy Euler.

Số nguyên tố phi chính quy mạnh
Số nguyên tố p được gọi là phi chính quy mạnh nếu nó vừa B-phi chính quy và E-phi chính quy (chỉ số của số Bernoulli và số Euler chia hết cho p có thể bằng nhau hoặc khác nhau). Các số nguyên tố phi chính quy mạnh đầu tiên là
67, 101, 149, 263, 307, 311, 353, 379, 433, 461, 463, 491, 541, 577, 587, 619, 677, 691, 751, 761, 773, 811, 821, 877, 887, 929, 971, 1151, 1229, 1279, 1283, 1291, 1307, 1319, 1381, 1409, 1429, 1439, ... 

Chứng minh định lý lớn Fermat cho số nguyên tố phi chính quy mạnh p khó hơn nhiều (bởi Kummer đã chứng minh trước trường hợp đầu tiên của định lý lớn Fermat cho các số nguyên tố B-chính quy, và Vandiver chứng minh định lý lờn Fermat cho các số nguyên tố E-chính quy), điểm khó nhất gặp phải là không chỉ p là số nguyên tố phi chính quy mạnh, mà các số , , , , , và  còn đều là hợp số (Legendre chứng minh định lý lờn Fermat cho các số nguyên tố p thoả mãn ít nhất một trong các số , , , , , và  là số nguyên tố), các số nguyên tố p thoả mãn tính chất đó nằm trong dãy
263, 311, 379, 461, 463, 541, 751, 773, 887, 971, 1283, ...

Số nguyên tố phi chính quy yếu
Số nguyên tố p được gọi là phi chính quy yếu nếu nó không B-phi chính quy hoặc E-phi chính quy (hoặc không cả hai). Các số nguyên tố phi chính quy yếu đầu tiên là
19, 31, 37, 43, 47, 59, 61, 67, 71, 79, 101, 103, 131, 137, 139, 149, 157, 193, 223, 233, 241, 251, 257, 263, 271, 277, 283, 293, 307, 311, 347, 349, 353, 373, 379, 389, 401, 409, 419, 421, 433, 461, 463, 491, 509, 523, 541, 547, 557, 563, 571, 577, 587, 593, ... 

Giống với tính phi chính quy Bernoulli, phi chính quy yếu có quan hệ với tính chia hết của số lớp của trường cyclotomic. Cụ thể, số nguyên tố p phi chính quy yếu khi và chỉ khi p là ước của trường cyclotomic thứ 4p (tức trường Q(ζ4p).

 Cặp phi chính quy yếu 

Trong đoạn dưới đây, lưu ý rằng "an" là tử số của số Bernoulli thứ n nếu n chẵn, và là số Euler thứ  nếu n lẻ .

Bởi với mọi số nguyên tố lẻ p, p là ước của ap khi và chỉ khi p đồng dư với 1 mô đun 4, và bởi vì p là ước của mẫu số của số Bernoulli thứ  với mọi số nguyên tố lẻ p, nên cho bất kỳ số nguyên tố lẻ p, p không thể là ước của ap−1. Bên cạnh đó, p là ước của an (và 2p không là ước của n) khi và chỉ khi p cũng là ước của an+k(p−1) (nếu 2p là ước của n, thì câu này phải đổi thành "p cũng là ước của an+2kp". Hơn nữa, nếu 2p là ước của n và  không phải là ước của n, thì p là ước của an.) cho mọi số nguyên k (cần điều kiện  > 1). Ví dụ chẳng hạn, bởi 19 là ước của a11 và  không phải là ước của 11, nên 19 là ước của a18k+11 với mọi k. Do đó, trong định nghĩa của cặp phi chính quy , giá trị n nên không quá .

Bảng sau liệt kê các cặp phi chính quy thoả mãn số nguyên tố lẻ :

pcác số nguyên0 ≤ n ≤ p − 2sao cho p là ước của anpcác số nguyên0 ≤ n ≤ p − 2sao cho p là ước của anpcác số nguyên0 ≤ n ≤ p − 2sao cho p là ước của anpcác số nguyên0 ≤ n ≤ p − 2sao cho p là ước của anpcác số nguyên0 ≤ n ≤ p − 2sao cho p là ước của anpcác số nguyên0 ≤ n ≤ p − 2sao cho p là ước của an3791918129315642124055722258319130788, 91, 137431563175, 2617891937531187, 193, 292433215, 36656911971973134395713891310163, 6819931744357752, 209, 427171032421133144958745, 90, 9219111072231333374575932223109227347280461196, 4275992911322934919, 257463130, 22960131231272338435371, 186, 30046794, 1946075923732131222393591254796135224113743241211, 23936748761720, 174, 3384313139129251127373163491292, 336, 338, 429619371, 428, 5434715149130, 147257164379100, 174, 31749963180, 22653151263100, 213383503641594415762, 11026938920050914164361716327184397521647236, 242, 5546727, 58167277940138252340065348712917328140912654186, 4656592247317928320419159547270, 486661

Các số nguyên tố dưới 1000 có chỉ số phi chính quy yếu bằng 3 là 307, 311, 353, 379, 577, 587, 617, 619, 647, 691, 751, và 929. Bên cạnh đó, 491 là số nguyên tố duy nhất dưới 1000 có chỉ số phi chính quy yếu bằng 4, và các số nguyên tố lẻ còn lại dưới 1000 có chỉ số phi chính quy yếu bằng 0, 1, hoặc 2. (Chỉ số phi chính yếu được định nghĩa là số các số nguyên  thoả mãn p là ước của an.)

Bảng sau liệt kê các cặp phi chính quy với n ≤ 63. (Để tìm ra các cặp này, ta chỉ cần phân tích thừa số 
của an. Lấy ví dụ, , nhưng , nên cặp phi chính quy duy nhất với  là ) (đối với các  n chẵn lên tới 300 và các n lẻ lên tới 201, xem ).

ncác số nguyên tố p ≥ n + 2 sao cho p là ước của anncác số nguyên tố p ≥ n + 2 sao cho p là ước của an03237, 683, 305065927133930157, 42737921, 525360267416172341516286975513354153, 8429689, 2305820097576334676593436263152715530534773735379257, 73026287, 253550884906847708716381542102059916617613923489580527043108252017828576198947741840137616929, 1897170067619927741763601, 52778129, 359513962188687126618793104215200976439180708026911119, 265943137, 5563, 13599529127564174819549339030619651971126914459, 8089, 2947939, 17984824371343, 96745587, 32027, 9728167327, 36408069989737, 2387161611911111446383799511, 675682388397371547, 424172347285528427091, 122903008561782996707619007087312490916361748653, 56039, 15328974893244790624117228135437495516994249383296071214195242422482492286460673697184386750417202699, 474644297774381991979, 349, 87224971515639, 1508047, 10546435076057211497, 6749451555259847962291872120283, 61752577, 58741, 401029177, 45340456194292141737, 354957173531601, 2144617, 537569557577904730817, 42908328274626374363861922131, 5935439409, 660183281, 11204128491441217792331, 1567103, 1427513357552749, 3886651, 78383747632327, 20956078482673756438579523091160807924103, 229479756113161, 163979, 19088082706840550550313252137, 111691689741601575303, 7256152441, 52327916441, 2551319957161, 12646529075062293075738167266579315867, 186707, 6235242049, 373495833691041292767, 61001082228255580483591459879476771247347961031445001033, 8645932388694028255845384768828577289349, 362903602003, 5549927, 1093179262495098657530250152379112971, 30211, 2717447, 77980901616821509, 14922423647156041, 190924415797997235233811858285255904935247301721, 100125988162157, 266689, 329447317, 287655947330838514813115669721, 2817815921859892110163101, 6863, 418739, 1042901, 91696392173931715546458327937225591842756597414460291393

Bảng sau liệt kê các cặp phi chính quy  (), hiện ta đang phỏng đoán rằng có vô hạn cặp phi chính quy  với mọi số tự nhiên , nhưng mới chỉ một ít được tìm thấy khi cố định n và thậm chí còn có một số giá trị của n vẫn chưa tìm thấy số nguyên tố p'' đi kèm.

nSố nguyên tố p sao cho p là ước của ap−n (các giá trị p được kiểm tra lên tới 20000)Dãy OEIS2149, 241, 2946901, 16467631, 17613227, 327784727, 426369739, 1062232319, ...316843, 2124679, ...4...537, ...6...7...819, 31, 3701, ...967, 877, ...10139, ...119311, ...12...13...14...1559, 607, ...161427, 6473, ...172591, ...18...19149, 311, 401, 10133, ...209643, ...218369, ...22...23...2417011, ...25...26...27...28...294219, 9133, ...3043, 241, ...313323, ...3247, ...33101, 2267, ...34461, ...35...361663, ...37...38101, 5147, ...393181, 3529, ...4067, 751, 16007, ...41773, ...

Xem thêm
Số nguyên tố Wolstenholme

Tham khảo

Đọc thêm















 Liên kết ngoài 

 Chris Caldwell, The Prime Glossary: regular prime at The Prime Pages.
 Keith Conrad, Fermat's last theorem for regular primes.
 Bernoulli irregular prime
 Euler irregular prime
 Bernoulli and Euler irregular primes.
 Factorization of Bernoulli and Euler numbers
 Factorization of Bernoulli and Euler numbers

Thể loại:Số nguyên tố
Thể loại:Vấn đề mở trong lý thuyết số