Số Carmichael

Trong lý thuyết số, số Carmichael là một hợp số   thỏa mãn quan hệ đồng dư số học mô-đun :



cho tất cả các số nguyên  nguyên tố cùng nhau với  . Chúng được đặt tên theo Robert Carmichael . Số Carmichael là tập con K 1 của các số Knödel . Thuật ngữ "số Carmichael" được NGWH Beeger đưa ra vào năm 1950 (Oysetein Ore đã gọi chúng là số F vào năm 1948).

Tương tự, số Carmichael là một hợp số  thỏa mãn



cho tất cả các số nguyên  . 

 Tổng quan 
Định lý nhỏ của Fermat phát biểu rằng nếu p là số nguyên tố thì với bất kỳ số nguyên b nào, số b  − b là bội số của p . Số Carmichael là hợp số có thuộc tính này. Số Carmichael còn được gọi là giả Fermat hoặc giả Fermat tuyệt đối . Một số Carmichael sẽ vượt qua bài kiểm tra Fermat cho mọi cơ số b nguyên tố cùng nhau với số đó, mặc dù nó không thực sự là số nguyên tố. Điều này làm cho các phép thử dựa trên Định lý Nhỏ của Fermat kém hiệu quả hơn các phép thử nguyên tố có khả năng xảy ra mạnh như phép thử tính nguyên tố Baillie – PSW và phép thử tính nguyên tố Miller – Rabin .

Tuy nhiên, không có số Carmichael nào là giả Euler – Jacobi hoặc giả mạnh đối với mọi nguyên tố cùng nhau với nó . Lehmer proved that no Carmichael number is an Euler-Jacobi pseudoprime to every base relatively prime to it. He used the term strong pseudoprime, but the terminology has changed since then. Strong pseudoprimes are a subset of Euler-Jacobi pseudoprimes. Therefore, no Carmichael number is a strong pseudoprime to every base relatively prime to it. Vì vậy, về lý thuyết, Euler hoặc một phép thử nguyên tố có khả năng xảy ra mạnh có thể chứng minh rằng số Carmichael trên thực tế là hợp số.

Arnault  đưa ra số Carmichael gồm 397 chữ số  đó là giả mạnh đối với tất cả các số nguyên tố nhỏ hơn 307:



Khi

  29674495668685510550154174642905332730771991799853043350995075531276838753171770199594238596428121188033664754218345562493168782883

là một số nguyên tố gồm 131 chữ số.  là thừa số nguyên tố nhỏ nhất của , vì vậy số Carmichael này cũng là một giả (không nhất thiết phải mạnh) đối với tất cả các số nhỏ hơn  .

Khi số lượng ngày càng lớn, số lượng số Carmichael ngày càng ít. Ví dụ: có 20.138.200 số Carmichael từ 1 đến 10 21 (xấp xỉ một trong 50 nghìn tỷ (5 · 10 13 ) số). 

 Khám phá 
Korselt là người đầu tiên quan sát các tính chất cơ bản của số Carmichael, nhưng ông không đưa ra bất kỳ ví dụ nào. Năm 1910, Carmichael  tìm ra con số đầu tiên và nhỏ nhất như vậy, 561, giải thích cho cái tên "số Carmichael".
nhỏ| Václav Šimerka liệt kê bảy số Carmichael đầu tiên

Sáu số Carmichael tiếp theo là :








Bảy số Carmichael đầu tiên này, từ 561 đến 8911, đều do nhà toán học người Séc  tìm ra vào năm 1885  (trước đó không chỉ Carmichael mà còn cả Korselt, mặc dù Šimerka không tìm thấy bất cứ điều gì giống như tiêu chí của Korselt).  Tuy nhiên các phát hiện của ông không được chú ý.

J. Chernick  đã chứng minh một định lý vào năm 1939 có thể được sử dụng để xây dựng một tập con các số Carmichael. Con số  là một số Carmichael nếu ba phần tử của nó đều là số nguyên tố. Liệu công thức này có tạo ra số lượng Carmichael vô hạn hay không là một câu hỏi mở (mặc dù nó được ngụ ý bởi phỏng đoán của Dickson ).

Paul Erds lập luận rằng có vô số con số Carmichael. Năm 1994 WR (Đỏ) Alford, Andrew Granville và Carl Pomerance sử dụng một giới hạn trên hằng số Olson để chỉ ra rằng thực sự tồn tại vô số số Carmichael. Cụ thể, họ đã cho thấy với số  đủ lớn, Có ít nhất  Carmichael số từ 1 đến  

Thomas Wright đã chứng minh rằng nếu  và  nguyên tố cùng nhau, thì có vô hạn số Carmichael có dạng , khi  . 

Löh và Niebuhr năm 1992 đã tìm thấy một số Carmichael rất lớn, bao gồm một số có 1.101.518 thừa số và hơn 16 triệu chữ số. Điều này đã được thay đổi thành 10,333,229,505 thừa số nguyên tố và 295,486,761,787 chữ số,  vì vậy số Carmichael lớn nhất đã biết lớn hơn nhiều so với số nguyên tố lớn nhất đã biết .
Tham khảo

Thể loại:Số giả nguyên tố
Thể loại:Số học Modulo
Thể loại:Chuỗi số nguyên
Thể loại:Trang có bản dịch chưa được xem lại