A089497 mu(prime(n)+1) - mu(prime(n)-1), where mu is the Moebius function.

1, 1, -1, -1, 1, 0, 0, -1, -1, 1, 1, -1, 1, -1, 0, -1, 1, 1, 1, 1, 1, -1, 0, 0, -1, 1, -1, -1, -1, 0, 1, -1, 1, 0, 0, 1, 0, -1, -1, -1, -1, 1, 1, 0, 0, -1, 1, -1, -1, 0, 1, 0, 0, -1, -1, 0, 0, 1, -1, 1, 0, 0, 1, 1, -1, -1, 0, -1, 0, -1, -1, 1, -1, 0, -1, 1, 1, -1, -1, 1, 1, 1, -1, 1, 1, 0, 1, 1, -1, -1, -1, 0, 0, 1, -1, 1, 0, 0, 1, -1, 0, -1, 1, -1, 0, -1, 0

Offset

2,1

Comments

This difference is always -1, 0 or 1 because for odd prime p, both p-1 and p+1 cannot be squarefree; one of them will be divisible by 4. This also implies that terms in this sequence are zero only for primes p such that mu(p-1) = mu(p+1) = 0, which is A075432.

Links

Table of n, a(n) for n=2..108.

Eric Weisstein's World of Mathematics, Moebius Function

Eric Weisstein's World of Mathematics, Legendre Symbol

Formula

Let p = prime(n), then a(n) = (-1/p) mu(p+(-1/p)), where (-1/p) is the Legendre symbol, A070750. (Pieter Moree)

Mathematica

Table[MoebiusMu[Prime[n]+1] - MoebiusMu[Prime[n]-1], {n, 2, 150}]
MoebiusMu[#+1]-MoebiusMu[#-1]&/@Prime[Range[2, 110]] (* Harvey P. Dale, Sep 16 2018 *)

Crossrefs

Cf. A089451 (mu(p-1) for prime p), A089495 (mu(p+1) for prime p), A089496 (mu(p+1)+mu(p-1) for prime p).

Sequence in context: A014079 A071032 A071034 * A355937 A345950 A122895

Adjacent sequences: A089494 A089495 A089496 * A089498 A089499 A089500

Keyword

sign

Author

T. D. Noe, Nov 04 2003

Status

approved