cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-2 of 2 results.

A139827 Primes of the form 2x^2 + 2xy + 17y^2.

Original entry on oeis.org

2, 17, 29, 41, 101, 149, 173, 197, 233, 281, 293, 461, 557, 569, 593, 677, 701, 761, 809, 821, 857, 941, 953, 1097, 1217, 1229, 1289, 1361, 1481, 1493, 1553, 1601, 1613, 1733, 1877, 1889, 1913, 1949, 1997, 2081, 2129, 2141, 2153, 2213, 2273, 2309, 2393, 2417
Offset: 1

Views

Author

T. D. Noe, May 02 2008, May 07 2008

Keywords

Comments

Discriminant = -132.
Consider the quadratic form f(x,y) = ax^2 + bxy + cy^2. When the discriminant d=b^2-4ac is -4 times an idoneal number (A000926), there is exactly one class for each genus. As a result, the primes generated by f(x,y) are the same as the primes congruent to S (mod -d), where S is a set of numbers less than -d. The table on page 60 of Cox shows that there are exactly 331 quadratic forms having this property. The 217 sequences starting with this one complete the collection in the OEIS.
When a=1 and b=0, f(x,y) is a quadratic form whose congruences are discussed in A139642. Let N be an idoneal number. Then there are 2^r reduced quadratic forms whose discriminant is -4N, where r=1,2,3, or 4. By collecting the residuals p (mod 4N) for primes p generated by the i-th reduced quadratic form, we can empirically find a set Si. To show that the 2^r sets Si are complete, we only need to show that the union of the Si is equal to the set of numbers k such that the Jacobi symbol (-k/4N)=1.

References

  • David A. Cox, Primes of the Form x^2 + n y^2, Wiley, 1989.

Crossrefs

Cf. also A139653, A139904-A139906 (d=-1012), A139654, A139907-A139913 (d=-1092), A139655, A139914-A139920 (d=-1120), A139656, A139921-A139927 (d=-1248), A139657, A139928-A139934 (d=-1320), A139658, A139935-A139941 (d=-1380), A139659, A139942-A139948 (d=-1428), A139660, A139949-A139955 (d=-1540), A139661, A139956-A139962 (d=-1632), A139662, A139963-A139969 (d=-1848), A139663, A139970-A139976 (d=-2080), A139664, A139977-A139983 (d=-3040), A139665, A139984-A139998 (d=-3360), A139666, A139999-A140013 (d=-5280), A139667, A140014-A140028 (d=-5460), A139668, A140029-A140043 (d=-7392).
For a more complete list of sequences giving numbers and/or primes represented by binary quadratic forms, see the "Binary Quadratic Forms and OEIS" link.

Programs

  • Magma
    [ p: p in PrimesUpTo(2500) | p mod 132 in {2, 17, 29, 41, 65, 101}]; // Vincenzo Librandi, Jul 29 2012
    
  • Mathematica
    QuadPrimes2[2, -2, 17, 2500] (* see A106856 *)
    t = Table[{2, 17, 29, 41, 65, 101} + 132*n, {n, 0, 50}]; Select[Flatten[t], PrimeQ] (* T. D. Noe, Jun 21 2012 *)
  • PARI
    v=[2, 17, 29, 41, 65, 101]; select(p->setsearch(v,p%132),primes(100)) \\ Charles R Greathouse IV, Jan 08 2013

Formula

The primes are congruent to {2, 17, 29, 41, 65, 101} (mod 132).

A139643 Primes of the form x^2+Ny^2, with N=102.

Original entry on oeis.org

103, 127, 151, 223, 271, 409, 433, 457, 463, 577, 631, 727, 769, 919, 937, 967, 1033, 1039, 1063, 1087, 1249, 1279, 1327, 1447, 1471, 1543, 1657, 1753, 1759, 1777, 1783, 1801, 1879, 1951, 1993, 2089, 2143, 2161, 2287, 2311, 2473, 2503, 2551
Offset: 1

Views

Author

T. D. Noe, Apr 29 2008

Keywords

Comments

Discriminant=-408. N is an idoneal number (A000926), which means that the quadratic form's genus consists of a single class, which means that the primes of this form are identical to the primes that are congruent to c (mod 4N), where c is a set of numbers less than 4N. The sequence A139642 lists the set c for each idoneal number. That sequence also cross references the sequences for the quadratic forms with N equal to the first 36 idoneal numbers. The remaining quadratic forms are this sequence and the 28 listed in order below. Note that the sequences for N=120 and 240 are the same.
The primes are congruent to {1, 25, 49, 55, 103, 121, 127, 145, 151, 169, 217, 223, 247, 271, 319, 361} (mod 408).

References

  • David A. Cox, Primes of the Form x^2 + n y^2, Wiley, 1989.
  • L. E. Dickson, History of the Theory of Numbers, Vol 3, Chelsea, 1923.

Crossrefs

Programs

  • Magma
    [ p: p in PrimesUpTo(3000) | p mod 408 in {1, 25, 49, 55, 103, 121, 127, 145, 151, 169, 217, 223, 247, 271, 319, 361}]; // Vincenzo Librandi, Jul 28 2012
    
  • Magma
    k:=102; [p: p in PrimesUpTo(3000) | NormEquation(k, p) eq true]; // Bruno Berselli, Jun 01 2016
  • Maple
    C:= [1, 25, 49, 55, 103, 121, 127, 145, 151, 169, 217, 223, 247, 271, 319, 361]:
    select(isprime, [seq(seq(408*i+j,j=C),i=0..100)]); # Robert Israel, Jul 03 2016
  • Mathematica
    nn=102; pMax=10000; Union[Reap[Do[p=x^2+nn*y^2; If[p<=pMax && PrimeQ[p], Sow[p]], {x,Sqrt[pMax]}, {y, Sqrt[pMax/nn]}]][[2,1]]] (* T. D. Noe, Aug 02 2009 *)
    QuadPrimes2[1, 0, 102, 10000] (* see A106856 *)
Showing 1-2 of 2 results.