cp's OEIS Frontend

This is also the result of applying the transformation on generating functions A -> 1/((1 - x)*(1 - x*A)) to the g.f. for the Catalan numbers.

p divides a(p) - 3 for prime p = 3 and p = {7, 13, 19, 31, 37, 43, ...} = A002476 (Primes of the form 6*n + 1). p^2 divides a(p^2) - 3 for prime p > 3. - Alexander Adamchuk, Jul 11 2006

Prime p divides a(p) for p = {2, 3, 5, 11, 17, 23, 29, 41, 47, 53, 59, 71, 83, 89, 101, ...} = A045309 (Primes congruent to {0, 2} mod 3); and A045309 (Primes p such that x^3 = n (integer) has only one solution mod p). Nonprime numbers n such that n divides a(n) are listed in A128287 = {1, 8, 133, ...}. - Alexander Adamchuk, Feb 23 2007

For p prime >= 5, a(p-1) = 1 or -2 (mod p) according as p = 1 or -1 (mod 3) (see Pan and Sun link). For example, with p=5, a(p-1) = 23 = -2 (mod p). - David Callan, Nov 29 2007

Hankel transform is A010892(n+1). - Paul Barry, Apr 24 2009

Equals INVERTi transform of A000245: (1, 3, 9, 28, ...). - Gary W. Adamson, May 15 2009

The subsequence of prime partial sums of Catalan numbers begins: a(1) = 2, a(4) = 23, a(6) = 197, a(16) = 48760367; see A121852. - Jonathan Vos Post, Feb 10 2010

Number of lattice paths from (0,0) to (n,n) which do not go above the diagonal x=y using steps (1,k), (k,1) with k >= 1 including two kinds of (1,1). - Alois P. Heinz, Oct 14 2015

Binomial transform of A086246(n+1) = [1, 1, 1, 2, 4, 9, ...], or, equivalently, of A001006 (Motzkin numbers) with 1 prepended.

Primes p == 1 (mod 3) such that 2 is a cubic residue mod p.

Primes p == 1 (mod 6) such that 2 and -2 are both cubes (one implies the other) mod p. - Warren D. Smith

Subsequence of A040028, complement of A045309 relative to A040028. For p in this sequence, x^3 == 2 (mod p) has three solutions in integers from 0 to p-1, whose sum is p (A059899) or 2*p (A059914). The solutions are given in A060122, A060123 and A060124. - Klaus Brockhaus, Mar 02 2001

Primes p = 3m+1 such that 2^m == 1 (mod p). Subsequence of A016108 which also includes composites satisfying this congruence. - Alzhekeyev Ascar M, Feb 22 2012

Primes p such that p mod 11 is prime.

Primes of the form 11*n+r where n >= 0 and r is in {2, 3, 5, 7}.

2 and primes congruent to {3, 5, 7, 13} mod 22. - Chai Wah Wu, Apr 29 2025

Primes p such that p mod 12 is prime.

Primes of the form 12*n+r where n >= 0 and r is in {2, 3, 5, 7, 11}.

Except for the prime 2, these are the primes that are encountered in the set of numbers {x, f(f(x))} where x is of the form 4k+3 with k>=0, and where f(x) is the 3x+1-problem function, and f(f(x)) the second iteration value. Indeed this sequence is the set union of 2 and A002145 (4k+3 primes) and A007528 (6k+5 primes), since f(f(4k+3))=6k+5. Equivalently one does not get any prime from A068228 (the complement of the present sequence). - Michel Marcus and Bill McEachen, May 07 2016

Solutions mod p are represented by integers from 0 to p-1. For i > 1, i is a solution mod p of x^3 = 2 iff p is a prime factor of i^3-2 and p > i (cf. comment to A059940). i^3-2 has at most two prime factors > i. Hence i is a solution mod p of x^3 = 2 for at most two different p and therefore no integer occurs more than twice in this sequence. There are integers which do occur twice, e.g. 16, 21, 26 (cf. A060914). Moreover, no integer occurs more than twice in A060121, A060122, A060123 and A060124 taken together.

This sequence for an elliptic curve (of the Bachet-Mordell type) is discussed in the Silverman reference. In Exercise 45.5, in the table on p. 405, the p-defects are called a_p, and are shown for primes 2 to 113.

The modularity pattern series is the expansion of the 51st modular cusp form of weight 2 and level N=36, given in the table I of the Martin reference, i.e., eta^4(6*z) in powers of q = exp(2*Pi*i*z), with Im(z) > 0. Here eta is the Dedekind function. See A000727 for the expansion in powers of q^6 (after deleting a factor q^(1/6)). Note that also for the possibly bad prime 2 and the bad prime 3 this expansion gives the correct numbers 0 (the discriminant of this elliptic curve is -3^3).

See also the comment on the Martin-Ono reference in A272197 which implies that eta^4(6*z) provides the modularity sequence for this elliptic curve.

For primes p == 0 and 2 (mod 3) (A045309) a(p) = 0. The proof runs along the same line as the one given in the Silverstein reference on pp. 400 - 402 for 17 replaced by 1. From the expansion of the known modularity function eta^4(6*z) follows that only the coefficients for powers q^n with n == 1 (mod 6) are nonzero, and therefore all a(p) for primes p == 0 and 2 (mod 3) have to vanish.

If prime(n) == 1 (mod 3) = A002476(m) (for a unique m = m(n)) then prime(n) = A(m)^2 + 3*B(m)^2 with A(m) = A001479(m+1) and B(m) = A001480(m+1), m >= 1. In this case (4*prime(n) - a(n)^2)/12, seems to be a square, q(m)^2. In fact is seems that (the positive) q(m) = B(m). This is true at least for the first 80 primes 1 (mod 3), i.e. for such primes <= 997. (In the Silverman reference, in hint c) for Exercise 4.5, on p. 405, a more complicated way is suggested: 4*p is decomposed there non-uniquely instead of p uniquely.) If this conjecture is true then a(n) = 2*(+/-sqrt(prime(n) - 3*B(m)^2)) = +- 2*A(m) for prime(n) = A002476(m). This leads to a bisection of the primes 1 (mod 3) into two types: type I if the + sign applies, and type II for the - sign. Primes of type I are given in A272200: 13, 19, 43, 61, 97, ... and those of type II in A272201: 7, 31, 37, 67, 73, ...

Primes which have a remainder mod 13 that is prime.

Union of A141858, A100202, A102732, A140371 and A140373. - R. J. Mathar, Oct 29 2009

A positive integer n is in the sequence if x^3 (modulo n) describes a bijection from the set [0...n-1] to itself.

Every member of the sequence is squarefree. If m and n are coprime members of the sequence, m*n is also a member.

All primes > 3 in this sequence are congruent to 5 mod 6. See A045309. - Zak Seidov, Feb 16 2013

Products of distinct members of A045309 (primes not 1 mod 3). - Charles R Greathouse IV, Apr 20 2015

This sequence gives all values, ordered increasingly, for which A257301 vanishes, i.e., A257301(a(n))=0 for any n. - Stanislav Sykora, May 26 2015

The analysis of this elliptic curve runs along the same lines as in A000727, A272197 and A272198, and it is inspired by the Silverman reference where the curve y^2 = x^3 + 1 modulo primes is treated.

The series showing the modularity pattern is the expansion of the 67th modular cusp form of weight 2 and level N=144, given in the table I of the Martin reference, i.e., eta^{12}(12*z)/( eta^4(6*z)*eta^4(24*z)), symbolically 12^{12} 6^(-4) 24^{-4}, in powers of q = exp(2*Pi*i*z), with Im(z) > 0. Here eta is the Dedekind function. See A187076 for the expansion in powers of q^6 (after deleting a factor q^(1/6)). Note that also for the possibly bad prime 2 and the bad prime 3 this expansion gives the correct numbers 0 (the discriminant of this elliptic curve is -3^3).

See also the comment on the Martin-Ono reference in A272202 which implies that 12^{12} 6^(-4) 24^{-4} provides the modularity sequence for this elliptic curve.

If prime(n) == 1 (mod 3) = A002476(m) (for a unique m = m(n)) then prime(n) = A(m)^2 + 3*B(m)^2 with A(m) = A001479(m+1) and B(m) = A001480(m+1), m >= 1. In this case (4*prime(n) - a(n)^2)/12, seems to be a square, q(m)^2. In fact is seems that (the positive) q(m) = B(m). If this conjecture is true then a(n) = 2*(+-sqrt(prime(n) - 3*B(m)^2)) = +- 2*A(m) for prime(n) = A002476(m). This leads to a bisection of the primes 1 (mod 3) into two types: type I if the + sign applies, and type II for the - sign. Primes of type I are given in A272204: 7,13,31,61,67, ... and those of type II in A272205: 19,37,43,73,103, ...