Proving Infinitely Many Primes p=3 mod 4

  • Context: Undergrad 
  • Thread starter Thread starter mathusers
  • Start date Start date
  • Tags Tags
    Infinite Primes
Click For Summary
SUMMARY

This discussion centers on proving the existence of infinitely many primes \( p \) such that \( p \equiv 3 \mod 4 \). Participants reference Euclid's theorem and Dirichlet's theorem on arithmetic progressions as foundational concepts. A proposed proof involves constructing a number \( N = 4p_1p_2...p_n - 1 \), demonstrating that \( N \equiv 3 \mod 4 \) and ensuring that at least one prime factor of \( N \) must also be of the form \( 3 \mod 4 \). This leads to a contradiction if one assumes a finite number of such primes, thus confirming the infinitude of primes congruent to \( 3 \mod 4 \).

PREREQUISITES
  • Understanding of modular arithmetic, specifically congruences like \( p \equiv 3 \mod 4 \)
  • Familiarity with Euclid's theorem regarding the infinitude of primes
  • Knowledge of Dirichlet's theorem on arithmetic progressions
  • Basic concepts of prime factorization and properties of quadratic residues
NEXT STEPS
  • Study the proof of Dirichlet's theorem on arithmetic progressions
  • Learn about quadratic residues and their implications in number theory
  • Explore advanced topics in modular arithmetic and their applications in prime number theory
  • Investigate other forms of primes, particularly those congruent to \( 1 \mod 4 \)
USEFUL FOR

This discussion is beneficial for mathematicians, number theorists, and students interested in prime number theory, particularly those exploring modular arithmetic and proofs of infinitude of primes.

mathusers
Messages
47
Reaction score
0
hello guys . question here
how can i prove that there exists infinitely many primes p such that p = 3 mod 4.

i have a little inkling as i know that if a,b=1 mod 4 then ab = 1 mod 4. I am guessing it would be along the lines of euclids theorem?
 
Physics news on Phys.org
well, assuming there is a finite number of such 3mod4 prime numbers, you can add them all together, multiply by 4 and add 3... and you get another 3mod4 prime, thus a contradiction
I only checked like 3 examples but I think that works, only a suggestion, I am terrible with proofs
 
SpitfireAce said:
well, assuming there is a finite number of such 3mod4 prime numbers, you can add them all together, multiply by 4 and add 3... and you get another 3mod4 prime, thus a contradiction
Why can't that number be a small 3 mod 4 prime multiplied by a lot of 1 mod 4 primes?
 
Last edited by a moderator:
A much tougher question is to prove that there are infinitely many primes congruent to 1 mod 4.
 
Hint:

The product of 2 numbers =1mod4 is a number =1mod4.
The product of a number =1mod4 and another =3mod4 is =3mod4.
The product of 2 numbers =3mod4 is =1mod4.
 
is this proof correct:

assume p1 = 3... pn are primes of form pj = 3 mod 4.
let N = 4p1... pn-1...

First none of the primes pj divides N since pj | N+1, so if we had pj|N then we get pj|(N+1)-N = 1, which is a contradiction.

Now alteast 1 of the prime factors of N has form 3 mod 4. Now N is odd, so if such a prime doesn't exist then all prime factors of N have form p = 1 mod 4, which contradicts the whole construction of N.

Therefore there exists infinitely many primes p such that p = 3 mod 4.
 
mathusers: is this proof correct?

Seems to be.

werg22: A much tougher question is to prove that there are infinitely many primes congruent to 1 mod 4.

Yes, because 2 primes of the form 4k+3 multiplied together, result in a number of the form 4m+1.

However, here's a proof in a nutshell. For the set of p(j)==1 mod 4, we multiply them all together, multiply by 2, and then get (2A)^2+1.

If a prime of the form q==3 Mod 4 divides this, then we have (2A)^2==-1 Mod q. Thus minus 1 has to be a quadratic residue for q.

But, if u is a quadratic residue Mod p, then u^((p-1)/2)==1 Mod p. Proof: if X^2 ==u Mod p, then X^(p-1) ==1 ==u^((p-1)/2) Mod p.

Thus -1 can not be a quadratic residue for a prime q=4k+3, since (-1)^(2k+1) ==-1 Mod q.
 
Last edited:
supose that p_1, p_2, p_3, ..., p_r is a list of all (4n + 3) form primes

consider the number N = 4*p_1*p_2*p_3*...*p_r - 1 = 4(p_1*p_2*p_3*...*p_r - 1) + 3

N == 3 mod 4

write N = q_1, q_2, q_3, ..., q_s \Rightarrow p_i \neq q_j \forall i,j \in {1,2,3,...}


moreover as dragonfall said:

The product of 2 numbers =1mod4 is a number =1mod4.
The product of a number =1mod4 and another =3mod4 is =3mod4.
The product of 2 numbers =3mod4 is =1mod4.

the conclusion: at least one of the q_1, q_2, q_3, ..., q_s primes are in (4n+3) form, i.e., our list of (4n+3) primes is not finite
 

Similar threads

  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 21 ·
Replies
21
Views
1K
  • · Replies 31 ·
2
Replies
31
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
16
Views
3K
Replies
48
Views
4K
  • · Replies 17 ·
Replies
17
Views
2K
Replies
27
Views
3K
Replies
12
Views
4K