Euclid–Mullin sequence

The Euclid–Mullin sequence is an infinite sequence of distinct prime numbers, in which each element is the least prime factor of one plus the product of all earlier elements. They are named after the ancient Greek mathematician Euclid, because their definition relies on an idea in Euclid's proof that there are infinitely many primes, and after Albert A. Mullin, who asked about the sequence in 1963.[1]

The first 51 elements of the sequence are

2, 3, 7, 43, 13, 53, 5, 6221671, 38709183810571, 139, 2801, 11, 17, 5471, 52662739, 23003, 30693651606209, 37, 1741, 1313797957, 887, 71, 7127, 109, 23, 97, 159227, 643679794963466223081509857, 103, 1079990819, 9539, 3143065813, 29, 3847, 89, 19, 577, 223, 139703, 457, 9649, 61, 4357, 87991098722552272708281251793312351581099392851768893748012603709343,[2][3] 107, 127, 3313, 227432689108589532754984915075774848386671439568260420754414940780761245893,[4] 59, 31, 211... (sequence A000945 in the OEIS)

These are the only known elements as of September 2012. Finding the next one requires finding the least prime factor of a 335-digit number (which is known to be composite).

Definition

If an denotes the n-th element of the sequence, then an is the least prime factor of

The first element is therefore the least prime factor of the empty product plus one, which is 2. The element 13 in the sequence is the least prime factor of 2 × 3 × 7 × 43 + 1 = 1806 + 1 = 1807 = 13 × 139.

Properties

The sequence is infinitely long and does not contain repeated elements. This can be proved using the method of Euclid's proof that there are infinitely many primes. That proof is constructive, and the sequence is the result of performing a version of that construction.

Conjecture

Unsolved problem in mathematics:
Does every prime number appear in the Euclid–Mullin sequence?
(more unsolved problems in mathematics)

Mullin (1963) asked whether every prime number appears in the Euclid–Mullin sequence and, if not, whether the problem of testing a given prime for membership in the sequence is computable; these problems both remain open. The least prime number not known to be an element of the sequence is 41.

The positions of the prime numbers from 2 to 97 are:

2:1, 3:2, 5:7, 7:3, 11:12, 13:5, 17:13, 19:36, 23:25, 29:33, 31:50,[4] 37:18, 41:?, 43:4, 47:?, 53:6, 59:49,[4] 61:42, 67:?, 71:22, 73:?, 79:?, 83:?, 89:35, 97:26 (sequence A056756 in the OEIS)

where ? indicates that the position (or whether it exists at all) is unknown as of 2012.[5]

Related sequences

A related sequence of numbers determined by the largest prime factor of one plus the product of the previous numbers (rather than the smallest prime factor) is also known as the Euclid–Mullin sequence. It grows more quickly, but is not monotonic.[6] The numbers in this sequence are

2, 3, 7, 43, 139, 50207, 340999, 2365347734339, 4680225641471129, 1368845206580129, 889340324577880670089824574922371, … (sequence A000946 in the OEIS).

Alternatively, taking each number to be one plus the product of the previous numbers (rather than factoring it) gives Sylvester's sequence. The sequence constructed by repeatedly appending all factors of one plus the product of the previous numbers is the same as the sequence of prime factors of Sylvester's sequence. Like the Euclid–Mullin sequence, this is a non-monotonic sequence of primes, but it is known not to include all primes.[7]

See also

References

  1. ↑ Mullin, Albert A. (1963), "Research problems", Bulletin of the American Mathematical Society, 69 (6): 737, doi:10.1090/S0002-9904-1963-11017-4 |contribution= ignored (help).
  2. ↑ Factoring 43rd term of Euclid–Mullin sequence
  3. ↑ http://escatter11.fullerton.edu/nfs/forum_thread.php?id=102&postid=398#398
  4. 1 2 3 Factoring EM47
  5. ↑ The listing with the question marks is given in the Extensions field of the OEIS entry, whereas the main listing stops at 33 and has no question marks.
  6. ↑ Naur, Thorkil (1984), "Mullin's sequence of primes is not monotonic", Proceedings of the American Mathematical Society, 90 (1): 43–44, doi:10.2307/2044665, MR 722412.
  7. ↑ Guy, Richard; Nowakowski, Richard (1975), "Discovering primes with Euclid", Delta (Waukesha), 5 (2): 49–63, MR 0384675.

External links

This article is issued from Wikipedia - version of the 11/29/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.