Carmichael number

Last updated

In number theory, a Carmichael number is a composite number , which in modular arithmetic satisfies the congruence relation:

Contents

for all integers . [1] The relation may also be expressed [2] [ failed verification ] in the form:

.

for all integers that are relatively prime to . Carmichael numbers are named after American mathematician Robert Carmichael, the term having been introduced by Nicolaas Beeger in 1950 (Øystein Ore had referred to them in 1948 as numbers with the "Fermat property", or "F numbers" for short [3] ). They are infinite in number. [4]

Robert Daniel Carmichael Robert Daniel Carmichael.gif
Robert Daniel Carmichael

They constitute the comparatively rare instances where the strict converse of Fermat's Little Theorem does not hold. This fact precludes the use of that theorem as an absolute test of primality. [5]

The Carmichael numbers form the subset K1 of the Knödel numbers.

Overview

Fermat's little theorem states that if is a prime number, then for any integer , the number is an integer multiple of . Carmichael numbers are composite numbers which have the same property. Carmichael numbers are also called Fermat pseudoprimes or absolute Fermat pseudoprimes. A Carmichael number will pass a Fermat primality test to every base relatively prime to the number, even though it is not actually prime. This makes tests based on Fermat's Little Theorem less effective than strong probable prime tests such as the Baillie–PSW primality test and the Miller–Rabin primality test.

However, no Carmichael number is either an Euler–Jacobi pseudoprime or a strong pseudoprime to every base relatively prime to it [6] so, in theory, either an Euler or a strong probable prime test could prove that a Carmichael number is, in fact, composite.

Arnault [7] gives a 397-digit Carmichael number that is a strong pseudoprime to all prime bases less than 307:

where

29674495668685510550154174642905332730771991799853043350995075531276838753171770199594238596428121188033664754218345562493168782883

is a 131-digit prime. is the smallest prime factor of , so this Carmichael number is also a (not necessarily strong) pseudoprime to all bases less than .

As numbers become larger, Carmichael numbers become increasingly rare. For example, there are 20,138,200 Carmichael numbers between 1 and 1021 (approximately one in 50 trillion (5·1013) numbers). [8]

Korselt's criterion

An alternative and equivalent definition of Carmichael numbers is given by Korselt's criterion.

Theorem (A. Korselt 1899): A positive composite integer is a Carmichael number if and only if is square-free, and for all prime divisors of , it is true that .

It follows from this theorem that all Carmichael numbers are odd, since any even composite number that is square-free (and hence has only one prime factor of two) will have at least one odd prime factor, and thus results in an even dividing an odd, a contradiction. (The oddness of Carmichael numbers also follows from the fact that is a Fermat witness for any even composite number.) From the criterion it also follows that Carmichael numbers are cyclic. [9] [10] Additionally, it follows that there are no Carmichael numbers with exactly two prime divisors.

Discovery

The first seven Carmichael numbers, from 561 to 8911, were all found by the Czech mathematician Václav Šimerka in 1885 [11] (thus preceding not just Carmichael but also Korselt, although Šimerka did not find anything like Korselt's criterion). [12] His work, published in Czech scientific journal Časopis pro pěstování matematiky a fysiky , however, remained unnoticed.

Vaclav Simerka listed the first seven Carmichael numbers Vaclav Simerka.jpg
Václav Šimerka listed the first seven Carmichael numbers

Korselt was the first who observed the basic properties of Carmichael numbers, but he did not give any examples.

That 561 is a Carmichael number can be seen with Korselt's criterion. Indeed, is square-free and , and . The next six Carmichael numbers are (sequence A002997 in the OEIS ):

In 1910, Carmichael himself [13] also published the smallest such number, 561, and the numbers were later named after him.

Jack Chernick [14] proved a theorem in 1939 which can be used to construct a subset of Carmichael numbers. The number is a Carmichael number if its three factors are all prime. Whether this formula produces an infinite quantity of Carmichael numbers is an open question (though it is implied by Dickson's conjecture).

Paul Erdős heuristically argued there should be infinitely many Carmichael numbers. In 1994 W. R. (Red) Alford, Andrew Granville and Carl Pomerance used a bound on Olson's constant to show that there really do exist infinitely many Carmichael numbers. Specifically, they showed that for sufficiently large , there are at least Carmichael numbers between 1 and . [4]

Thomas Wright proved that if and are relatively prime, then there are infinitely many Carmichael numbers in the arithmetic progression , where . [15]

Löh and Niebuhr in 1992 found some very large Carmichael numbers, including one with 1,101,518 factors and over 16 million digits. This has been improved to 10,333,229,505 prime factors and 295,486,761,787 digits, [16] so the largest known Carmichael number is much greater than the largest known prime.

Properties

Factorizations

Carmichael numbers have at least three positive prime factors. The first Carmichael numbers with prime factors are (sequence A006931 in the OEIS ):

k 
3
4
5
6
7
8
9

The first Carmichael numbers with 4 prime factors are (sequence A074379 in the OEIS ):

i 
1
2
3
4
5
6
7
8
9
10

The second Carmichael number (1105) can be expressed as the sum of two squares in more ways than any smaller number. The third Carmichael number (1729) is the Hardy-Ramanujan Number: the smallest number that can be expressed as the sum of two cubes (of positive numbers) in two different ways.

Distribution

Let denote the number of Carmichael numbers less than or equal to . The distribution of Carmichael numbers by powers of 10 (sequence A055553 in the OEIS ): [8]

123456789101112131415161718192021
00171643105255646154736058241192794470610521224668358535514016443381806822077720138200

In 1953, Knödel proved the upper bound:

for some constant .

In 1956, Erdős improved the bound to

for some constant . [17] He further gave a heuristic argument suggesting that this upper bound should be close to the true growth rate of .

In the other direction, Alford, Granville and Pomerance proved in 1994 [4] that for sufficiently large X,

In 2005, this bound was further improved by Harman [18] to

who subsequently improved the exponent to . [19]

Regarding the asymptotic distribution of Carmichael numbers, there have been several conjectures. In 1956, Erdős [17] conjectured that there were Carmichael numbers for X sufficiently large. In 1981, Pomerance [20] sharpened Erdős' heuristic arguments to conjecture that there are at least

Carmichael numbers up to , where .

However, inside current computational ranges (such as the counts of Carmichael numbers performed by Pinch [8] up to 1021), these conjectures are not yet borne out by the data.

In 2021, Daniel Larsen proved an analogue of Bertrand's postulate for Carmichael numbers first conjectured by Alford, Granville, and Pomerance in 1994. [5] [21] Using techniques developed by Yitang Zhang and James Maynard to establish results concerning small gaps between primes, his work yielded the much stronger statement that, for any and sufficiently large in terms of , there will always be at least

Carmichael numbers between and

Generalizations

The notion of Carmichael number generalizes to a Carmichael ideal in any number field . For any nonzero prime ideal in , we have for all in , where is the norm of the ideal . (This generalizes Fermat's little theorem, that for all integers when is prime.) Call a nonzero ideal in Carmichael if it is not a prime ideal and for all , where is the norm of the ideal . When is , the ideal is principal, and if we let be its positive generator then the ideal is Carmichael exactly when is a Carmichael number in the usual sense.

When is larger than the rationals it is easy to write down Carmichael ideals in : for any prime number that splits completely in , the principal ideal is a Carmichael ideal. Since infinitely many prime numbers split completely in any number field, there are infinitely many Carmichael ideals in . For example, if is any prime number that is 1 mod 4, the ideal in the Gaussian integers is a Carmichael ideal.

Both prime and Carmichael numbers satisfy the following equality:

Lucas–Carmichael number

A positive composite integer is a Lucas–Carmichael number if and only if is square-free, and for all prime divisors of , it is true that . The first Lucas–Carmichael numbers are:

399, 935, 2015, 2915, 4991, 5719, 7055, 8855, 12719, 18095, 20705, 20999, 22847, 29315, 31535, 46079, 51359, 60059, 63503, 67199, 73535, 76751, 80189, 81719, 88559, 90287, ... (sequence A006972 in the OEIS )

Quasi–Carmichael number

Quasi–Carmichael numbers are squarefree composite numbers with the property that for every prime factor of , divides positively with being any integer besides 0. If , these are Carmichael numbers, and if , these are Lucas–Carmichael numbers. The first Quasi–Carmichael numbers are:

35, 77, 143, 165, 187, 209, 221, 231, 247, 273, 299, 323, 357, 391, 399, 437, 493, 527, 561, 589, 598, 713, 715, 899, 935, 943, 989, 1015, 1073, 1105, 1147, 1189, 1247, 1271, 1295, 1333, 1517, 1537, 1547, 1591, 1595, 1705, 1729, ... (sequence A257750 in the OEIS )

Knödel number

An n-Knödel number for a given positive integer n is a composite number m with the property that each coprime to m satisfies . The case are Carmichael numbers.

Higher-order Carmichael numbers

Carmichael numbers can be generalized using concepts of abstract algebra.

The above definition states that a composite integer n is Carmichael precisely when the nth-power-raising function pn from the ring Zn of integers modulo n to itself is the identity function. The identity is the only Zn-algebra endomorphism on Zn so we can restate the definition as asking that pn be an algebra endomorphism of Zn. As above, pn satisfies the same property whenever n is prime.

The nth-power-raising function pn is also defined on any Zn-algebra A. A theorem states that n is prime if and only if all such functions pn are algebra endomorphisms.

In-between these two conditions lies the definition of Carmichael number of order m for any positive integer m as any composite number n such that pn is an endomorphism on every Zn-algebra that can be generated as Zn-module by m elements. Carmichael numbers of order 1 are just the ordinary Carmichael numbers.

An order-2 Carmichael number

According to Howe, 17 · 31 · 41 · 43 · 89 · 97 · 167 · 331 is an order 2 Carmichael number. This product is equal to 443,372,888,629,441. [22]

Properties

Korselt's criterion can be generalized to higher-order Carmichael numbers, as shown by Howe.

A heuristic argument, given in the same paper, appears to suggest that there are infinitely many Carmichael numbers of order m, for any m. However, not a single Carmichael number of order 3 or above is known.

Notes

  1. Riesel, Hans (1994). Prime Numbers and Computer Methods for Factorization. Progress in Mathematics. Vol. 126 (second ed.). Boston, MA: Birkhäuser. ISBN   978-0-8176-3743-9. Zbl   0821.11001.
  2. Crandall, Richard; Pomerance, Carl (2005). Prime Numbers: A Computational Perspective (second ed.). New York: Springer. p. 133. ISBN   978-0387-25282-7.
  3. Ore, Øystein (1948). Number Theory and Its History . New York: McGraw-Hill. pp. 331–332 via Internet Archive.
  4. 1 2 3 W. R. Alford; Andrew Granville; Carl Pomerance (1994). "There are Infinitely Many Carmichael Numbers" (PDF). Annals of Mathematics . 140 (3): 703–722. doi:10.2307/2118576. JSTOR   2118576. Archived (PDF) from the original on 2005-03-04.
  5. 1 2 Cepelewicz, Jordana (13 October 2022). "Teenager Solves Stubborn Riddle About Prime Number Look-Alikes". Quanta Magazine. Retrieved 13 October 2022.
  6. D. H. Lehmer (1976). "Strong Carmichael numbers". J. Austral. Math. Soc. 21 (4): 508–510. doi: 10.1017/s1446788700019364 . 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.
  7. F. Arnault (August 1995). "Constructing Carmichael Numbers Which Are Strong Pseudoprimes to Several Bases". Journal of Symbolic Computation. 20 (2): 151–161. doi: 10.1006/jsco.1995.1042 .
  8. 1 2 3 Pinch, Richard (December 2007). Anne-Maria Ernvall-Hytönen (ed.). The Carmichael numbers up to 1021 (PDF). Proceedings of Conference on Algorithmic Number Theory. Vol. 46. Turku, Finland: Turku Centre for Computer Science. pp. 129–131. Retrieved 2017-06-26.
  9. Carmichael Multiples of Odd Cyclic Numbers "Any divisor of a Carmichael number must be an odd cyclic number"
  10. Proof sketch: If is square-free but not cyclic, for two prime factors and of . But if satisfies Korselt then , so by transitivity of the "divides" relation . But is also a factor of , a contradiction.
  11. Šimerka, Václav (1885). "Zbytky z arithmetické posloupnosti" [On the remainders of an arithmetic progression]. Časopis pro pěstování mathematiky a fysiky. 14 (5): 221–225. doi: 10.21136/CPMF.1885.122245 .
  12. Lemmermeyer, F. (2013). "Václav Šimerka: quadratic forms and factorization". LMS Journal of Computation and Mathematics. 16: 118–129. doi: 10.1112/S1461157013000065 .
  13. R. D. Carmichael (1910). "Note on a new number theory function". Bulletin of the American Mathematical Society. 16 (5): 232–238. doi: 10.1090/s0002-9904-1910-01892-9 .
  14. Chernick, J. (1939). "On Fermat's simple theorem" (PDF). Bull. Amer. Math. Soc. 45 (4): 269–274. doi: 10.1090/S0002-9904-1939-06953-X .
  15. Thomas Wright (2013). "Infinitely many Carmichael Numbers in Arithmetic Progressions". Bull. London Math. Soc. 45 (5): 943–952. arXiv: 1212.5850 . doi:10.1112/blms/bdt013. S2CID   119126065.
  16. W.R. Alford; et al. (2014). "Constructing Carmichael numbers through improved subset-product algorithms". Math. Comp. 83 (286): 899–915. arXiv: 1203.6664 . doi:10.1090/S0025-5718-2013-02737-8. S2CID   35535110.
  17. 1 2 Erdős, P. (2022). "On pseudoprimes and Carmichael numbers" (PDF). Publ. Math. Debrecen. 4 (3–4): 201–206. doi:10.5486/PMD.1956.4.3-4.16. MR   0079031. S2CID   253789521. Archived (PDF) from the original on 2011-06-11.
  18. Glyn Harman (2005). "On the number of Carmichael numbers up to x". Bulletin of the London Mathematical Society. 37 (5): 641–650. doi:10.1112/S0024609305004686. S2CID   124405969.
  19. Harman, Glyn (2008). "Watt's mean value theorem and Carmichael numbers". International Journal of Number Theory. 4 (2): 241–248. doi:10.1142/S1793042108001316. MR   2404800.
  20. Pomerance, C. (1981). "On the distribution of pseudoprimes". Math. Comp. 37 (156): 587–593. doi: 10.1090/s0025-5718-1981-0628717-0 . JSTOR   2007448.
  21. Larsen, Daniel (20 July 2022). "Bertrand's Postulate for Carmichael Numbers". International Mathematics Research Notices. 2023 (15): 13072–13098. arXiv: 2111.06963 . doi:10.1093/imrn/rnac203.
  22. Everett W. Howe (October 2000). "Higher-order Carmichael numbers". Mathematics of Computation. 69 (232): 1711–1719. arXiv: math.NT/9812089 . Bibcode:2000MaCom..69.1711H. doi:10.1090/s0025-5718-00-01225-4. JSTOR   2585091. S2CID   6102830.

Related Research Articles

<span class="mw-page-title-main">Prime number</span> Number divisible only by 1 or itself

A prime number is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways of writing it as a product, 1 × 5 or 5 × 1, involve 5 itself. However, 4 is composite because it is a product (2 × 2) in which both numbers are smaller than 4. Primes are central in number theory because of the fundamental theorem of arithmetic: every natural number greater than 1 is either a prime itself or can be factorized as a product of primes that is unique up to their order.

In number theory, the Fermat pseudoprimes make up the most important class of pseudoprimes that come from Fermat's little theorem.

<span class="mw-page-title-main">Euler's totient function</span> Number of integers coprime to and not exceeding n

In number theory, Euler's totient function counts the positive integers up to a given integer n that are relatively prime to n. It is written using the Greek letter phi as or , and may also be called Euler's phi function. In other words, it is the number of integers k in the range 1 ≤ kn for which the greatest common divisor gcd(n, k) is equal to 1. The integers k of this form are sometimes referred to as totatives of n.

In number theory, Fermat's little theorem states that if p is a prime number, then for any integer a, the number apa is an integer multiple of p. In the notation of modular arithmetic, this is expressed as

In mathematics, a Fermat number, named after Pierre de Fermat, the first known to have studied them, is a positive integer of the form

In number theory, an odd integer n is called an Euler–Jacobi probable prime to base a, if a and n are coprime, and

The Fermat primality test is a probabilistic test to determine whether a number is a probable prime.

In number theory, a probable prime (PRP) is an integer that satisfies a specific condition that is satisfied by all prime numbers, but which is not satisfied by most composite numbers. Different types of probable primes have different specific conditions. While there may be probable primes that are composite (called pseudoprimes), the condition is generally chosen in order to make such exceptions rare.

<i>abc</i> conjecture The product of distinct prime factors of a,b,c, where c is a+b, is rarely much less than c

The abc conjecture is a conjecture in number theory that arose out of a discussion of Joseph Oesterlé and David Masser in 1985. It is stated in terms of three positive integers and that are relatively prime and satisfy . The conjecture essentially states that the product of the distinct prime factors of is usually not much smaller than . A number of famous conjectures and theorems in number theory would follow immediately from the abc conjecture or its versions. Mathematician Dorian Goldfeld described the abc conjecture as "The most important unsolved problem in Diophantine analysis".

<span class="mw-page-title-main">Algebraic number theory</span> Branch of number theory

Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and function fields. These properties, such as whether a ring admits unique factorization, the behavior of ideals, and the Galois groups of fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations.

A primality test is an algorithm for determining whether an input number is prime. Among other fields of mathematics, it is used for cryptography. Unlike integer factorization, primality tests do not generally give prime factors, only stating whether the input number is prime or not. Factorization is thought to be a computationally difficult problem, whereas primality testing is comparatively easy. Some primality tests prove that a number is prime, while others like Miller–Rabin prove that a number is composite. Therefore, the latter might more accurately be called compositeness tests instead of primality tests.

The Miller–Rabin primality test or Rabin–Miller primality test is a probabilistic primality test: an algorithm which determines whether a given number is likely to be prime, similar to the Fermat primality test and the Solovay–Strassen primality test.

In arithmetic, an odd composite integer n is called an Euler pseudoprime to base a, if a and n are coprime, and

In number theory, a Wieferich prime is a prime number p such that p2 divides 2p − 1 − 1, therefore connecting these primes with Fermat's little theorem, which states that every odd prime p divides 2p − 1 − 1. Wieferich primes were first described by Arthur Wieferich in 1909 in works pertaining to Fermat's Last Theorem, at which time both of Fermat's theorems were already well known to mathematicians.

In mathematics, the Lucas sequences and are certain constant-recursive integer sequences that satisfy the recurrence relation

The Solovay–Strassen primality test, developed by Robert M. Solovay and Volker Strassen in 1977, is a probabilistic test to determine if a number is composite or probably prime. The idea behind the test was discovered by M. M. Artjuhov in 1967 (see Theorem E in the paper). This test has been largely superseded by the Baillie–PSW primality test and the Miller–Rabin primality test, but has great historical importance in showing the practical feasibility of the RSA cryptosystem. The Solovay–Strassen test is essentially an Euler–Jacobi probable prime test.

Lucas pseudoprimes and Fibonacci pseudoprimes are composite integers that pass certain tests which all primes and very few composite numbers pass: in this case, criteria relative to some Lucas sequence.

A strong pseudoprime is a composite number that passes the Miller–Rabin primality test. All prime numbers pass this test, but a small fraction of composites also pass, making them "pseudoprimes".

The Baillie–PSW primality test is a probabilistic or possibly deterministic primality testing algorithm that determines whether a number is composite or is a probable prime. It is named after Robert Baillie, Carl Pomerance, John Selfridge, and Samuel Wagstaff.

A pseudoprime is a probable prime that is not actually prime. Pseudoprimes are classified according to which property of primes they satisfy.

References