A085992 -id:A085992 - cp's OEIS frontend

A002145 Primes of the form 4*k + 3.

3, 7, 11, 19, 23, 31, 43, 47, 59, 67, 71, 79, 83, 103, 107, 127, 131, 139, 151, 163, 167, 179, 191, 199, 211, 223, 227, 239, 251, 263, 271, 283, 307, 311, 331, 347, 359, 367, 379, 383, 419, 431, 439, 443, 463, 467, 479, 487, 491, 499, 503, 523, 547, 563, 571

Offset: 1

N. J. A. Sloane

Or, odd primes p such that -1 is not a square mod p, i.e., the Legendre symbol (-1/p) = -1. [LeVeque I, p. 66]. - N. J. A. Sloane, Jun 28 2008
Primes which are not the sum of two squares, see the comment in A022544. - Artur Jasinski, Nov 15 2006
Natural primes which are also Gaussian primes. (It is a common error to refer to this sequence as "the Gaussian primes".)
Inert rational primes in the field Q(sqrt(-1)). - N. J. A. Sloane, Dec 25 2017
Numbers n such that the product of coefficients of (2n)-th cyclotomic polynomial equals -1. - Benoit Cloitre, Oct 22 2002
For p and q both belonging to the sequence, exactly one of the congruences x^2 = p (mod q), x^2 = q (mod p) is solvable, according to Gauss reciprocity law. - Lekraj Beedassy, Jul 17 2003
Also primes p that divide L((p-1)/2) or L((p+1)/2), where L(n) = A000032(n), the Lucas numbers. Union of A122869 and A122870. - Alexander Adamchuk, Sep 16 2006
Also odd primes p that divide ((p-1)!! + 1) or ((p-2)!! + 1). - Alexander Adamchuk, Nov 30 2006
Also odd primes p that divide ((p-1)!! - 1) or ((p-2)!! - 1). - Alexander Adamchuk, Apr 18 2007
This sequence is a proper subset of the set of the absolute values of negative fundamental discriminants (A003657). - Paul Muljadi, Mar 29 2008
Bernard Frénicle de Bessy discovered that such primes cannot be the hypotenuse of a Pythagorean triangle in opposition to primes of the form 4*n+1 (see A002144). - after Paul Curtz, Sep 10 2008
A079261(a(n)) = 1; complement of A145395. - Reinhard Zumkeller, Oct 12 2008
Subsequence of A007970. - Reinhard Zumkeller, Jun 18 2011
A151763(a(n)) = -1.
Primes p such that p XOR 2 = p - 2. Brad Clardy, Oct 25 2011 (Misleading in the sense that this is a formula for the super-sequence A004767. - R. J. Mathar, Jul 28 2014)
It appears that each term of A004767 is the mean of two terms of this subsequence of primes therein; cf. A245203. - M. F. Hasler, Jul 13 2014
Numbers n > 2 such that ((n-2)!!)^2 == 1 (mod n). - Thomas Ordowski, Jul 24 2016
Odd numbers n > 1 such that ((n-1)!!)^2 == 1 (mod n). - Thomas Ordowski, Jul 25 2016
Primes p such that (p-2)!! == (p-3)!! (mod p). - Thomas Ordowski, Jul 28 2016
See Granville and Martin for a discussion of the relative numbers of primes of the form 4k+1 and 4k+3. - Editors, May 01 2017
Sometimes referred to as Blum primes for their connection to A016105 and the Blum Blum Shub generator. - Charles R Greathouse IV, Jun 14 2018
Conjecture: a(n) for n > 4 can be written as a sum of 3 primes of the form 4k+1, which would imply that primes of the form 4k+3 >= 23 can be decomposed into a sum of 6 nonzero squares. - Thomas Scheuerle, Feb 09 2023

M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 870.
John H. Conway and Richard K. Guy, The Book of Numbers, New York: Springer-Verlag, 1996. See pp. 146-147.
G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, 5th ed., Oxford Univ. Press, 1979, p. 219, th. 252.
W. J. LeVeque, Topics in Number Theory. Addison-Wesley, Reading, MA, 2 vols., 1956, Vol. 1, p. 66.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
David Wells, The Penguin Dictionary of Curious and Interesting Numbers. Penguin Books, NY, 1986, Revised edition 1987. See p. 90.

Zak Seidov, Table of n, a(n) for n = 1..10000 (first 1000 terms from T. D. Noe)
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
Dario Alpern, Gaussian primes.
Lenore Blum, Manuel Blum, and Mike Shub, A simple unpredictable pseudo-random number generator, SIAM Journal on Computing 15:2 (1 May 1986), pp. 364-383.
Andrew Granville and Greg Martin, Prime number races, arXiv:math/0408319 [math.NT], 2004.
Ernest G. Hibbs, Component Interactions of the Prime Numbers, Ph. D. Thesis, Capitol Technology Univ. (2022), see p. 33.
Lucas Lacasa, Bartolome Luque, Ignacio Gómez, and Octavio Miramontes, On a Dynamical Approach to Some Prime Number Sequences, Entropy 20.2 (2018): 131, also arXiv:1802.08349 [math.NT], 2018.
E. T. Ordman, Tables of the class number for negative prime discriminants, Deposited in Unpublished Mathematical Table file of Math. Comp. [Annotated scanned partial copy with notes]
Mario Raso, Integer Sequences in Cryptography: A New Generalized Family and its Application, Ph. D. Thesis, Sapienza University of Rome (Italy 2025). See p. 67.
Harry J. Smith, Gaussian Primes.
Ian Stewart, The Great Mathematical Problems, 2013.
Eric Weisstein's World of Mathematics, Gaussian Prime.
Eric Weisstein's World of Mathematics, Gaussian Integer.
Wolfram Research, The Gauss Reciprocity Law.
Index entries for Gaussian integers and primes.
Index to sequences related to decomposition of primes in quadratic fields.

Cf. A000032, A002144, A003657, A085992, A122869, A122870, A334912.
Cf. A000408, A005098, A095278, A016754.
Apart from initial term, same as A045326.
Cf. A016105.
Cf. A004614 (multiplicative closure).

a002145 n = a002145_list !! (n-1)
a002145_list = filter ((== 1) . a010051) [3, 7 ..]
-- Reinhard Zumkeller, Aug 02 2015, Sep 23 2011

[4*n+3 : n in [0..142] | IsPrime(4*n+3)]; // Arkadiusz Wesolowski, Nov 15 2013

A002145 := proc(n)
    option remember;
    if n = 1 then
        3;
    else
        a := nextprime(procname(n-1)) ;
        while a mod 4 <>  3 do
            a := nextprime(a) ;
        end do;
        return a;
    end if;
end proc:
seq(A002145(n),n=1..20) ; # R. J. Mathar, Dec 08 2011

Select[4Range[150] - 1, PrimeQ] (* Alonso del Arte, Dec 19 2013 *)
Select[ Prime@ Range[2, 110], Length@ PowersRepresentations[#^2, 2, 2] == 1 &] (* or *)
Select[ Prime@ Range[2, 110], JacobiSymbol[-1, #] == -1 &] (* Robert G. Wilson v, May 11 2014 *)

forprime(p=2,1e3,if(p%4==3,print1(p", "))) \\ Charles R Greathouse IV, Jun 10 2011

def A002145_list(n): return [p for p in prime_range(1, n + 1) if p % 4 == 3]  # Peter Luschny, Jul 29 2014

Remove from A000040 terms that are in A002313.
Intersection of A000040 and A004767. - Alonso del Arte, Apr 22 2014
From Vaclav Kotesovec, Apr 30 2020: (Start)
Product_{k>=1} (1 - 1/a(k)^2) = A243379.
Product_{k>=1} (1 + 1/a(k)^2) = A243381.
Product_{k>=1} (1 - 1/a(k)^3) = A334427.
Product_{k>=1} (1 + 1/a(k)^3) = A334426.
Product_{k>=1} (1 - 1/a(k)^4) = A334448.
Product_{k>=1} (1 + 1/a(k)^4) = A334447.
Product_{k>=1} (1 - 1/a(k)^5) = A334452.
Product_{k>=1} (1 + 1/a(k)^5) = A334451. (End)
From Vaclav Kotesovec, May 05 2020: (Start)
Product_{k>=1} (1 + 1/a(k)) / (1 + 1/A002144(k)) = Pi/(4*A064533^2) = 1.3447728438248695625516649942427635670667319092323632111110962...
Product_{k>=1} (1 - 1/a(k)) / (1 - 1/A002144(k)) = Pi/(8*A064533^2) = 0.6723864219124347812758324971213817835333659546161816055555481... (End)
Sum_{k >= 1} 1/a(k)^s = (1/2) * Sum_{n >= 1 odd numbers} moebius(n) * log(2 * (2^(n*s) - 1) * (n*s - 1)! * zeta(n*s) / (Pi^(n*s) * abs(EulerE(n*s - 1))))/n, s >= 3 odd number. - Dimitris Valianatos, May 20 2020

More terms from James Sellers, Apr 21 2000

A085541 Decimal expansion of the prime zeta function at 3.

Original entry on oeis.org

1, 7, 4, 7, 6, 2, 6, 3, 9, 2, 9, 9, 4, 4, 3, 5, 3, 6, 4, 2, 3, 1, 1, 3, 3, 1, 4, 6, 6, 5, 7, 0, 6, 7, 0, 0, 9, 7, 5, 4, 1, 2, 1, 2, 1, 9, 2, 6, 1, 4, 9, 2, 8, 9, 8, 8, 8, 6, 7, 2, 0, 1, 6, 7, 0, 1, 6, 3, 1, 5, 8, 9, 5, 2, 8, 1, 2, 9, 5, 8, 7, 6, 3, 5, 6, 3, 4, 2, 0, 0, 5, 3, 6, 9, 7, 2, 5, 6, 0, 5, 4, 6, 7, 9, 1

Offset: 0

Cino Hilliard, Jul 02 2003

Mathar's Table 1 (cited below) lists expansions of the prime zeta function at integers s in 10..39. - Jason Kimberley, Jan 05 2017

			0.1747626392994435364231...

Henri Cohen, Number Theory, Volume II: Analytic and Modern Tools, GTM Vol. 240, Springer, 2007; see pp. 208-209.
J. W. L. Glaisher, On the Sums of Inverse Powers of the Prime Numbers, Quart. J. Math. 25, 347-362, 1891.

Jason Kimberley, Table of n, a(n) for n = 0..1497
Henri Cohen, High Precision Computation of Hardy-Littlewood Constants, Preprint, 1998.
Henri Cohen, High-precision computation of Hardy-Littlewood constants. [pdf copy, with permission]
X. Gourdon and P. Sebah, Some Constants from Number theory
R. J. Mathar, Series of reciprocal powers of k-almost primes, arXiv:0803.0900 [math.NT], 2008-2009. Table 1.
Gerhard Niklasch and Pieter Moree, Some number-theoretical constants [Cached copy]
Eric Weisstein's World of Mathematics, Prime Zeta Function
Index to constants which are prime zeta sums {3,0,0}

Decimal expansion of the prime zeta function: A085548 (at 2), this sequence (at 3), A085964 (at 4) to A085969 (at 9).

Cf. A002117, A030078, A242302.

R := RealField(106);
PrimeZeta := func;
Reverse(IntegerToSequence(Floor(PrimeZeta(3,117)*10^105)));
// Jason Kimberley, Dec 30 2016

(* If Mathematica version >= 7.0 then RealDigits[PrimeZetaP[3]//N[#,105]&][[1]] else : *) m = 200; $MaxExtraPrecision = 200; PrimeZetaP[s_] := NSum[MoebiusMu[k]*Log[Zeta[k*s]]/k, {k, 1, m}, AccuracyGoal -> m, NSumTerms -> m, PrecisionGoal -> m, WorkingPrecision -> m]; RealDigits[PrimeZetaP[3]][[1]][[1 ;; 105]] (* Jean-François Alcover, Jun 24 2011 *)

recip3(n) = { v=0; p=1; forprime(y=2,n, v=v+1./y^3; ); print(v) }

sumeulerrat(1/p,3) \\ Hugo Pfoertner, Feb 03 2020

P(3) = Sum_{p prime} 1/p^3 = Sum_{n>=1} mobius(n)*log(zeta(3*n))/n. - Antonio G. Astudillo (afg_astudillo(AT)lycos.com), Jul 06 2003
Equals A086033 + A085992 + 1/8. - R. J. Mathar, Jul 22 2010
Equals Sum_{k>=1} 1/A030078(k). - Amiram Eldar, Jul 27 2020

More terms from Antonio G. Astudillo (afg_astudillo(AT)lycos.com), Jul 06 2003

A085991 Decimal expansion of the prime zeta modulo function at 2 for primes of the form 4k+3.

Original entry on oeis.org

1, 4, 8, 4, 3, 3, 6, 5, 6, 4, 6, 7, 0, 0, 7, 8, 2, 8, 2, 2, 5, 8, 6, 5, 0, 7, 7, 4, 9, 0, 7, 1, 1, 3, 7, 1, 8, 8, 7, 5, 5, 5, 8, 4, 1, 7, 4, 4, 8, 0, 6, 8, 8, 9, 4, 4, 2, 5, 0, 7, 5, 0, 8, 0, 5, 5, 2, 9, 8, 2, 0, 0, 3, 1, 9, 7, 6, 8, 2, 2, 9, 3, 0, 6, 4, 3, 0, 9, 8, 6, 8, 5, 0, 6, 7, 2, 4, 6, 9, 0, 9, 3, 5, 0, 7

Offset: 0

Antonio G. Astudillo (afg_astudillo(AT)lycos.com), Jul 06 2003

			0.14843365646700782822586507749... = 1/3^2 + 1/7^2 + 1/11^2 + 1/19^2 + 1/23^2 + ...

Jean-François Alcover, Table of n, a(n) for n = 0..999
P. Flajolet and I. Vardi, Zeta Function Expansions of Classical Constants, Unpublished manuscript. 1996.
X. Gourdon and P. Sebah, Some Constants from Number theory.
R. J. Mathar, Table of Dirichlet L-series and prime zeta modulo functions for small moduli, arXiv:1008.2547 [math.NT], 2010-2015, section 3.2 constant P(m=4,n=3,s=2).

Cf. A086032 (analog for primes 4k+1), A085548 (PrimeZeta(2)), A002145.

Cf. A085992 .. A085998 (Zeta_R(3..9)).

digits = 1000; nmax0 = 500; dnmax = 10;
Clear[PrimeZeta43];
PrimeZeta43[s_, nmax_] := PrimeZeta43[s, nmax] = (1/2) Sum[(MoebiusMu[2n + 1] ((4n + 2) Log[2] + Log[((-1 + 2^(4n + 2)) Zeta[4n + 2])/(Zeta[4 n + 2, 1/4] - Zeta[4n + 2, 3/4])]))/(2n + 1), {n, 0, nmax}] // N[#, digits+5]&;
PrimeZeta43[2, nmax = nmax0];
PrimeZeta43[2, nmax += dnmax];
While[Abs[PrimeZeta43[2, nmax] - PrimeZeta43[2, nmax - dnmax]] > 10^-(digits+5), Print["nmax = ", nmax]; nmax += dnmax];
PrimeZeta43[2] = PrimeZeta43[2, nmax];
RealDigits[PrimeZeta43[2], 10, digits][[1]] (* Jean-François Alcover, Jun 21 2011, updated May 06 2021 *)

PrimeZeta43(s)={suminf(n=0, my(t=s+s*n*2); moebius(n*2+1)*log(zeta(t)/(zetahurwitz(t, 1/4)-zetahurwitz(t, 3/4))*(4^t-2^t))/(n*2+1))/2}
A085991_upto(N=100)={localprec(N+3); digits((PrimeZeta43(2)+1)\.1^N)[^1]} \\  M. F. Hasler, Apr 25 2021

Zeta_R(2) = Sum_{primes p == 3 (mod 4)} 1/p^2
  = (1/2)*Sum_{n>=0} mobius(2*n+1)*log(b((2*n+1)*2))/(2*n+1),
  where b(x)=(1-2^(-x))*zeta(x)/L(x) and L(x) is the Dirichlet Beta function.

A086033 Decimal expansion of the prime zeta modulo function at 3 for primes of the form 4k+1.

Original entry on oeis.org

0, 0, 8, 7, 5, 5, 0, 8, 2, 7, 3, 2, 9, 7, 0, 5, 0, 4, 4, 9, 4, 2, 2, 6, 7, 6, 5, 8, 1, 3, 7, 4, 6, 6, 7, 5, 0, 5, 1, 1, 1, 2, 0, 6, 1, 2, 2, 0, 4, 2, 5, 4, 7, 2, 4, 4, 0, 0, 2, 6, 3, 7, 4, 9, 8, 9, 9, 0, 8, 7, 1, 5, 1, 0, 0, 0, 5, 8, 9, 2, 9, 8, 0, 3, 4, 9, 6, 4, 6, 5, 5, 6, 2, 8, 9, 2, 5, 1, 2, 4, 1, 2, 8, 6, 8

Offset: 0

Antonio G. Astudillo (afg_astudillo(AT)lycos.com), Jul 07 2003

			0.008755082732970504494226765813746675051112061220425472440026374989908715100...

X. Gourdon and P. Sebah, Some Constants from Number theory.
R. J. Mathar, Table of Dirichlet L-series and prime zeta modulo functions for small moduli, arXiv:1008.2547 [math.NT], 2010-2015, Section 3.2, constant P(m=4, n=1, s=3).
OEIS index to entries related to the (prime) zeta function.

Cf. A085992 (same for primes 4k+3), A175645 (for primes 3k+1), A343613 (for primes 3k+2), A086032, ..., A086039 (for 1/p^2, ..., 1/p^9), A085541 (PrimeZeta(3)), A002144 (primes of the form 4k+1).

a[s_] = (1 + 2^-s)^-1* DirichletBeta[s] Zeta[s]/Zeta[2 s]; m = 110; $MaxExtraPrecision = 470; Join[{0, 0}, RealDigits[(1/2)* NSum[MoebiusMu[2n + 1]*Log[a[(2n + 1)*3]]/(2n + 1), {n, 0, m}, AccuracyGoal -> m, NSumTerms -> m, PrecisionGoal -> m, WorkingPrecision -> m]][[1]]][[1 ;; 105]] (* Jean-François Alcover, Jun 24 2011, after X. Gourdon and P. Sebah, updated Mar 14 2018 *)

A086033_upto(N=100)={localprec(N+3);digits((PrimeZeta41(3)+1)\.1^N)[^1]} \\ See A086032 for the function PrimeZeta41. - M. F. Hasler, Apr 24 2021

Zeta_Q(3) = Sum_{p in A002144} 1/p^3  where  A002144 = {primes p == 1 (mod 4)};
  = Sum_{odd m > 0} mu(m)/2m * log(DirichletBeta(3m)*zeta(3m)/zeta(6m)/(1+8^-m))) [using Gourdon & Sebah, Theorem 11]. - M. F. Hasler, Apr 26 2021
Equals A085541 - 1/2^3 - A085992. - R. J. Mathar, Apr 03 2011

A343613 Decimal expansion of P_{3,2}(3) = Sum 1/p^3 over primes == 2 (mod 3).

Original entry on oeis.org

1, 3, 4, 1, 2, 5, 1, 7, 8, 9, 1, 5, 4, 6, 3, 5, 4, 0, 4, 2, 8, 5, 9, 9, 3, 2, 9, 9, 9, 9, 4, 3, 1, 1, 9, 8, 9, 9, 5, 8, 7, 9, 9, 1, 9, 7, 5, 2, 1, 6, 8, 3, 3, 7, 3, 7, 0, 5, 9, 9, 1, 0, 6, 1, 5, 3, 8, 5, 3, 3, 4, 9, 9, 5, 6, 0, 4, 7, 9, 3, 7, 6, 7, 1, 5, 2, 8, 6, 5, 3, 7, 4, 0, 4, 0, 3, 4, 4, 4, 3, 3, 6, 7, 8, 6

Offset: 0

M. F. Hasler, Apr 22 2021

The prime zeta modulo function P_{m,r}(s) = Sum_{primes p == r (mod m)} 1/p^s generalizes the prime zeta function P(s) = Sum_{primes p} 1/p^s.

			0.134125178915463540428599329999431198995879919752168337370599106153853349956...

Jean-François Alcover, Table of n, a(n) for n = 0..1006
R. J. Mathar, Table of Dirichlet L-series and Prime Zeta Modulo Functions for Small Moduli, arXiv:1008.2547 [math.NT], 2010-2015, value P(m=3, n=2, s=3) on p. 21.
OEIS index to entries related to the (prime) zeta function.

Cf. A003627 (primes 3k-1), A085541 (PrimeZeta(3)), A021031 (1/27).

Cf. A175645 (same for p==1 (mod 3)), A086033 (for primes 4k+1), A085992 (for primes 4k+3), A343612 - A343619 (P_{3,2}(2..9): same for 1/p^2, ..., 1/p^9).

s=0;forprimestep(p=2,1e8,3,s+=1./p^3);s \\ For illustration: using primes up to 10^N gives about 2N+2 (= 18 for N=8) correct digits.

A343613_upto(N=100)={localprec(N+5); digits((PrimeZeta32(3)+1)\.1^N)[^1]} \\ see A343612 for the function PrimeZeta32.

P_{3,2}(3) = P(3) - 1/3^3 - P_{3,1}(3) = A085541 - A021031 - A175645.

cp's OEIS Frontend

A002145 Primes of the form 4*k + 3.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Haskell

Magma

Maple

Mathematica

PARI

Sage

Formula

Extensions

A085541 Decimal expansion of the prime zeta function at 3.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Magma

Mathematica

PARI

PARI

Formula

Extensions

A085991 Decimal expansion of the prime zeta modulo function at 2 for primes of the form 4k+3.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A086033 Decimal expansion of the prime zeta modulo function at 3 for primes of the form 4k+1.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A343613 Decimal expansion of P_{3,2}(3) = Sum 1/p^3 over primes == 2 (mod 3).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

PARI

Formula