OFFSET
1,1
COMMENTS
If p is prime, p >= 5, and Mp belongs to a chain, Mp is always the first term of a chain of the second kind. This is true since (Mp+1)/2 = (2^p - 1 +1)/2 = 2^(p-1), which is composite for p >= 3. (Mp-1)/2 = (2^p - 1 -1)/2 = 2^(p-1)-1 = a. For p >= 5, a is composite since a>3, and a mod 3 = 0. Finally 2Mp + 1 = 2(2^p - 1)+1 = 2^(p+1)-1 = a. If p>=3, a is composite because a > 3, and a mod 3 = 0. We can conclude that beginning with 31, a Mersenne prime can only starts a Cunningham chain of the second kind. If Mp >= 31 starts a chain, the second term of this chain is 2Mp -1=2(2^p - 1)-1 = 2^(p+1) - 3.
That is a number of the form 2^N - 3, even N, so also of the form a^2 - 3, a = 2^(N/2). In this case any factor f of the second term of a chain satisfies f mod 24=1, or f mod 24=11, or f mod 24=13, or f mod 24=23. (1) The next term of this sequence is an unknown Mersenne prime. Probably many primes of this kind will be determined until this term be found. In the work with the known Mersenne primes, M42643801 gives T=2^(42643801+1) -3. The smallest factor of T is f = 38334482051, which is greater than 2^35.
Considering the probabilities given in the second reference, one can conclude that before T was identified as composed (by the exam of all the primes less than f satisfying (1)), the probability of prime T reached a value of 1 in 609,197. This probability is small, but not negligible. Note that the largest known Cunningham chain of length 2 has starting prime 607095* 2^176311 - 1. This is a "very small chain" compared with a chain beginning with a new Mersenne prime.
LINKS
Niccolò Castronuovo, On the number of fixed points of the map gamma, arXiv:2102.02739 [math.NT], 2021. Mentions this sequence.
Mathpages, Some Properties of the Lucas Sequence
Wikipedia, Cunningham chain
EXAMPLE
a(1) = 3 since 2*3 - 1 = 5. a(2) = 7 because 2*7 - 1 = 13.
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Washington Bomfim, Nov 15 2009
STATUS
approved