✨Số Carmichael

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

: $b^\{n-1\}\backslash equiv\; 1\backslash pmod\{n\}$

cho tất cả các số nguyên $b$ nguyên tố cùng nhau với $n$ . Chúng được đặt tên theo Robert Carmichael . Số Carmichael là tập con K ₁ 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ố $n$ thỏa mãn

: $b^n\backslash equiv\; b\backslash pmod\{n\}$

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

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ó . 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ố $N$ đó là giả mạnh đối với tất cả các số nguyên tố nhỏ hơn 307:

: $N\; =\; p\; \backslash cdot\; (313(p\; -\; 1)\; +\; 1)\; \backslash cdot\; (353(p\; -\; 1)\; +\; 1\; )$

Khi

: $p\; =$ 29674495668685510550154174642905332730771991799853043350995075531276838753171770199594238596428121188033664754218345562493168782883

là một số nguyên tố gồm 131 chữ số. $p$ là thừa số nguyên tố nhỏ nhất của $N$, 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 $p$ .

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 ²¹ (xấp xỉ một trong 50 nghìn tỷ (5 · 10 ¹³ ) 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à :

: $1105\; =\; 5\; \backslash cdot\; 13\; \backslash cdot\; 17\; \backslash qquad\; (4\; \backslash mid\; 1104;\backslash quad\; 12\; \backslash mid\; 1104;\backslash quad\; 16\; \backslash mid\; 1104)$ : $1729\; =\; 7\; \backslash cdot\; 13\; \backslash cdot\; 19\; \backslash qquad\; (6\; \backslash mid\; 1728;\backslash quad\; 12\; \backslash mid\; 1728;\backslash quad\; 18\; \backslash mid\; 1728)$ : $2465\; =\; 5\; \backslash cdot\; 17\; \backslash cdot\; 29\; \backslash qquad\; (4\; \backslash mid\; 2464;\backslash quad\; 16\; \backslash mid\; 2464;\backslash quad\; 28\; \backslash mid\; 2464)$ : $2821\; =\; 7\; \backslash cdot\; 13\; \backslash cdot\; 31\; \backslash qquad\; (6\; \backslash mid\; 2820;\backslash quad\; 12\; \backslash mid\; 2820;\backslash quad\; 30\; \backslash mid\; 2820)$ : $6601\; =\; 7\; \backslash cdot\; 23\; \backslash cdot\; 41\; \backslash qquad\; (6\; \backslash mid\; 6600;\backslash quad\; 22\; \backslash mid\; 6600;\backslash quad\; 40\; \backslash mid\; 6600)$ : $8911\; =\; 7\; \backslash cdot\; 19\; \backslash cdot\; 67\; \backslash qquad\; (6\; \backslash mid\; 8910;\backslash quad\; 18\; \backslash mid\; 8910;\backslash quad\; 66\; \backslash mid\; 8910).$

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ố $(6k\; +\; 1)(12k\; +\; 1)(18k\; +\; 1)$ 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ố $n$ đủ lớn, Có ít nhất $n^\{2/7\}$ Carmichael số từ 1 đến $n.$

Thomas Wright đã chứng minh rằng nếu $a$ và $m$ nguyên tố cùng nhau, thì có vô hạn số Carmichael có dạng $a\; +\; k\; \backslash cdot\; m$, khi $k\; =\; 1,\; 2,\; \backslash ldots$ .

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 .