A smattering of numerology ... Except for 0, the list of residues mod 17 is the non-squares. For mod 17, this is equivalent to being a primitive root. In the exception list further down, two of the primes have a recognizable property: 683 = (2^11+1)/3, and 2731 = (2^13+1)/3. I don't see anything special about the other three. 43691 = (2^17+1)/3 is absent, but it's 1 mod17, hence excused. Rich ---------- Quoting Fred Lunnon <fred.lunnon@gmail.com>:
Read " In general, a covers p if p == 0, 3, 5, 6, 7, 10, 11, 12, or 14 (mod 17). "
Note that X^2 - 3*X - 2 has discriminant 17 ; it's not immediately obvious to me why this should be relevant, but general principles suggest a probable connection. NJAS ?
WFL
On 10/21/15, David Wilson <davidwwilson@comcast.net> wrote:
I'm looking at the linear recurrence
0, 1, 3, 11, 39, 139, .
with a(n) = 3a(n-1) + 2a(n-2) for n >= 2.
I was interested in the question, for which primes p do {a(n)} == Z (mod p)?
That is, for which primes p do all residues r appear in {a(n)} (mod p) (Forgive my notational abuse)?
We'll shorten that to "a covers p".
I expected this to have a simple answer, and it almost does.
It turns out that whether or not a covers p most of the time depends on p mod 17.
In general, a covers p if p == 0, 3, 5, 6, 7, 10, 11, 12, or 14 (mod 7).
However, there seem to be a smattering of primes p:
683, 1217, 2731, 11299, 48817, .
which, according to their residue mod 17, should be covered by a, but are not.
Very curious.
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun