卡迈克尔数

在数论上，卡迈克尔数（英语：Carmichael numbers）是正合成数 $n$ ，且使得对于所有跟 $n$ 互素的整数 $b$ ， $b^{n-1}\equiv 1{\pmod {n}}$ 。

概观[编辑]

费马小定理说明所有素数都有这个性质。在这方面，卡迈克尔数和素数十分相似，所以它们称为伪素数。

因为这些数的存在，使得费马素性检验变得不可靠。不过，它仍可用于证明一个数是合数。另一方面，随着数越来越大，卡迈克尔数变得越来越少，1至 $10^{17}$ 有585 355个卡迈克尔数。

卡迈克尔数的一个等价的定义在Korselt定理（1899年）出现：一个正合成数 $n$ 是卡迈克尔数，当且仅当 $n$ 无平方数约数且对于所有 $n$ 的素因数 $p$ ， $p-1|n-1$ 。

这个定理即时说明了所有卡迈克尔数是奇数。

Korselt虽然发现了这些性质，但不能找到例子。1910年罗伯特·丹尼·卡迈克尔找到了第一个兼最小的有这样性质的数——561。 $561=3\times 11\times 17$ ，无平方数因数，且2|560 ; 10|560 ; 16|560 。

之后的卡迈克尔数：（OEIS:A002997）

1105 = 5×13×17 (4 | 1104, 12 | 1104, 16 | 1104)
1729 = 7×13×19 (6 | 1728, 12 | 1728, 18 | 1728)
2465 = 5×17×29 (4 | 2464, 16 | 2464, 28 | 2464)
2821 = 7×13×31 (6 | 2820, 12 | 2820, 30 | 2820)
6601 = 7×23×41 (6 | 6600, 22 | 6600, 40 | 6600)
8911 = 7×19×67 (6 | 8910, 18 | 8910, 66 | 8910)

J. Chernick 在1939年证明的一个定理，可以构造卡迈克尔数的一个子集。

对于正整数 $(6k+1)(12k+1)(18k+1)$ 或 $(6k+1)(18k+1)(54k^{2}+12k+1)$ ，若其三个约数都是素数，它是卡迈克尔数。

保罗·埃尔德什猜想有无限个卡迈克尔数，1994年 William Alford 、 Andrew Granville 及 Carl Pomerance 证明了这个命题。

此外，对于足够大的 $n$ ，1至 $n$ 之间有至少 $n^{2/7}$ 个卡迈克尔数。

1992年Löh和Niebuhr找到一些很大的卡迈克尔数，其中一个有1 101 518 个约数且有多于 $1.6\times 10^{7}$ 个位数。

性质[编辑]

卡迈克尔数有至少3个正素因数。以下是首个k个正素因数的卡迈克尔数，k=3,4,5,...：（OEIS:A006931）

k
3	561 = 3×11×17
4	41041 = 7×11×13×41
5	825265 = 5×7×17×19×73
6	321197185 = 5×19×23×29×37×137
7	5394826801 = 7×13×17×23×31×67×73
8	232250619601 = 7×11×13×17×31×37×73×163
9	9746347772161 = 7×11×13×17×19×31×37×41×641

以下是首十个有4个素因数的卡迈克尔数：（OEIS:A074379）

i
1	41041 = 7×11×13×41
2	62745 = 3×5×47×89
3	63973 = 7×13×19×37
4	75361 = 11×13×17×31
5	101101 = 7×11×13×101
6	126217 = 7×13×19×73
7	172081 = 7×13×31×61
8	188461 = 7×13×19×109
9	278545 = 5×17×29×113
10	340561 = 13×17×23×67

更高阶的卡迈克尔数[编辑]

参考[编辑]

不完全翻译自英文版。

Chernick, J. (1935). On Fermat's simple theorem. Bull. Amer. Math. Soc. 45, 269–274.
Ribenboim, Paolo (1996). The New Book of Prime Number Records.
Howe, Everett W. (2000). Higher-order Carmichael numbers. Mathematics of Computation 69, 1711–1719. (online version)Archive.is的存档，存档日期2012-07-01
Löh, Günter and Niebuhr, Wolfgang (1996). A new algorithm for constructing large Carmichael numbers （页面存档备份，存于互联网档案馆）(pdf)
Korselt (1899). Probleme chinois. L'intermediaire des mathematiciens, 6, 142–143.
Carmichael, R. D. (1912) On composite numbers P which satisfy the Fermat congruence $a^{P-1}\equiv 1{\bmod {P}}$ . Am. Math. Month. 19 22–27.
Erdős, Paul (1956). On pseudoprimes and Carmichael numbers, Publ. Math. Debrecen 4, 201 –206.
Alford, Granville and Pomerance (1994). There are infinitely many Carmichael numbers, Ann. of Math. 140(3), 703–722.