Số nguyên tố Wolstenholme

Bản mẫu:Thông tin dãy số nguyên Bản mẫu:Distinguish Trong lý thuyết số, số nguyên tố Wolstenholme là loại số nguyên tố đặc biệt thỏa mãn dạng mạnh hơn của định lý Wolstenholme. Định lý Wolstenholme là quan hệ đồng dư được thỏa mãn bởi mọi số nguyên tố lớn hơn ba. Các số nguyên tố Wolstenholme được đặt tên theo nhà toán học Joseph Wolstenholme, người lần đầu phát biểu định lý trên trong thế kỷ 19.

Các số nguyên tố này được chú ý tới bởi quan hệ của chúng với định lý lớn Fermat. Ngoài ra các số nguyên tố Wolstenholme cũng có quan hệ với một số lớp nguyên tố khác.

Chỉ có hai số nguyên tố Wolstenholme được biết là 16843 và 2124679 Bản mẫu:OEIS. Không có số nguyên tố Wolstenholme nào khác nằm dưới 10⁹.^[1]

Định nghĩa

Bản mẫu:Vấn đề mở

Số nguyên tố Wolstenholme có thể định nghĩa dưới các cách sau.

Định nghĩa qua hệ số nhị thức

Số nguyên tố Wolstenholme là số nguyên tố p > 7 thỏa mãn biểu thức đồng dư sau:

(\binom{2 p - 1}{p - 1}) \equiv 1 (\mod p^{4}),

Trong đó dấu ngoặc ở vế trái kí hiệu hệ số nhị thức.^[2] Định lý Wolstenholme phát biểu rằng với mọi số nguyên tố p > 3 quan hệ đồng dư sau được thỏa mãn:

(\binom{2 p - 1}{p - 1}) \equiv 1 (\mod p^{3}) .

Định nghĩa qua các số Bernoulli

Số nguyên tố Wolstenholme là số nguyên tố p là ước của tử số của số Bernoulli B_p−3.Bản mẫu:Sfn Bản mẫu:Sfn Bản mẫu:Sfn Do đó các số nguyên tố Wolstenholme tạo thành tập con của các số nguyên tố phi chính quy.

Định nghĩa qua các cặp số phi chính quy

Bản mẫu:Main Số nguyên tố Wolstenholme là số nguyên tố p sao cho (p, p–3) là cặp số phi chính quy.Bản mẫu:Sfn Bản mẫu:Sfn

Định nghĩa qua các số điều hòa

Số nguyên tố Wolstenholme là số nguyên tố p sao choBản mẫu:Sfn

H_{p - 1} \equiv 0 (\mod p^{3}),

Tìm kiếm số nguyên tố Wolstenholme

Công cuộc tìm kiếm các số nguyên tố Wolstenholme bắt đầu từ những năm 1960 cho tới ngày nay, với kết quả mới nhất vào năm 2007. Số nguyên tố Wolstenholme đầu tiên 16843 được tìm thấy vào năm 1964, mặc dù nó không được báo cáo vào thời gian đó.^[3] Phát hiện năm 1964 sau đó được công nhận vào những năm 1970. Đây là số nguyên tố Wolstenholme duy nhất được biết trong suốt 20 năm, cho đến khi thông báo tìm được thêm số nguyên tố Wolstenholme thứ hai 2124679 trong 1993.Bản mẫu:Sfn Cho tới 1,2Bản mẫu:E, không có số nguyên tố Wolstenholme nào khác được tìm thấy.Bản mẫu:Sfn Sau này được cải tiến lên tới 2Bản mẫu:E bởi McIntosh vào 1995.Bản mẫu:Sfn Trevisan & Weber cải tiến thêm lên tới 2,5Bản mẫu:E.Bản mẫu:Sfn Kết quả mới nhất trong 2007 báo cáo rằng không có số nguyên tố Wolstenholme nào khác nằm dưới Bản mẫu:10^.Bản mẫu:Sfn

Phỏng đoán số số nguyên tố Wolstenholme

Hiện các nhà toán học đang giả thuyết rằng có vô số số nguyên tố Wolstenholme.Bản mẫu:Sfn Hơn nữa còn có giả thuyết số các số nguyên tố Wolstenholme nhỏ hơn hoặc bằng x nằm vào khoảng ln ln x, trong đó ln ký hiệu lôgarit tự nhiên. Với mỗi số nguyên tố p ≥ 5, thương Wolstenholme được định nghĩa như sau