Primefree sequence

In mathematics, a primefree sequence is a sequence of integers that does not contain any prime numbers. More specifically, it usually means a sequence defined by the same recurrence relation as the Fibonacci numbers, but with different initial conditions causing all members of the sequence to be composite numbers that do not all have a common divisor. To put it algebraically, a sequence of this type is defined by an appropriate choice of two composite numbers a₁ and a₂, such that the greatest common divisor $\mathrm {gcd} (a_{1},a_{2})$ is equal to 1, and such that for $n>2$ there are no primes in the sequence of numbers calculated from the formula

a_{n}=a_{n-1}+a_{n-2}

.

The first primefree sequence of this type was published by Ronald Graham in 1964.

Wilf's sequence[edit]

A primefree sequence found by Herbert Wilf has initial terms

a_{1}=20615674205555510,a_{2}=3794765361567513

(sequence A083216 in the OEIS)

The proof that every term of this sequence is composite relies on the periodicity of Fibonacci-like number sequences modulo the members of a finite set of primes. For each prime $p$ , the positions in the sequence where the numbers are divisible by $p$ repeat in a periodic pattern, and different primes in the set have overlapping patterns that result in a covering set for the whole sequence.

Nontriviality[edit]

The requirement that the initial terms of a primefree sequence be coprime is necessary for the question to be non-trivial. If the initial terms share a prime factor $p$ (e.g., set $a_{1}=xp$ and $a_{2}=yp$ for some $x$ and $y$ both greater than 1), due to the distributive property of multiplication $a_{3}=(x+y)p$ and more generally all subsequent values in the sequence will be multiples of $p$ . In this case, all the numbers in the sequence will be composite, but for a trivial reason.

The order of the initial terms is also important. In Paul Hoffman's biography of Paul Erdős, The man who loved only numbers, the Wilf sequence is cited but with the initial terms switched. The resulting sequence appears primefree for the first hundred terms or so, but term 138 is the 45-digit prime $439351292910452432574786963588089477522344721$ .^[1]