PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
[parent] there are an infinite number of primes $\equiv \pm 1\pmod 4$ (Theorem)
Theorem 1   There are an infinite number of primes congruent to $3 \pmod 4$ .
Proof. Choose any prime $p\equiv 3\pmod 4$ ; we find a prime of that form that exceeds $p$ . $$ N=(2^2\cdot 3\cdot 5\cdot 7\cdots p) - $$ Clearly $N\equiv 3\pmod 4$ , and thus must have at least one prime factor that is also $\equiv 3\pmod 4$ . But $N$ is not divisible by any prime less than or equal to $p$ , so must be divisible by some prime congruent to $3\pmod 4$ that exceeds $p$ . $ \qedsymbol$
Theorem 2   There are an infinite number of primes congruent to $1\pmod 4$ .
Proof. Given $N>1$ , we find a prime $p>N$ with $p\equiv 1\pmod 4$ . Let $p$ be the smallest (odd) prime factor of $(N!)^2+1$ ; note that $p>N$ . Now $$ (N!)^2\equiv -1\pmod $$ and therefore $$ (N!)^{p-1}\equiv (-1)^{(p-1)/2}\pmod p $$ By Fermat's little theorem, $(N!)^{p-1}\equiv 1\pmod p$ , so we have $$ (-1)^{(p-1)/2}\equiv 1\pmod $$ The left-hand side cannot be -1, since then $0\equiv 2\pmod p$ . Thus $(-1)^{(p-1)/2}=1$ and it follows that $p\equiv 1\pmod 4$ . $ \qedsymbol$

Note that the variant of Euclid's proof of the infinitude of primes used in the proof of Theorem 1 does not work for Theorem 2, since we cannot conclude that an integer $\equiv 1\pmod 4$ has a factor of the same kind.

Bibliography

1
Apostol, T Introduction to Analytic Number Theory, Springer 1976.




"there are an infinite number of primes $\equiv \pm 1\pmod 4$" is owned by rm50.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: factor, integer, theorem, proof, Euclid's proof of the infinitude of primes, side, Fermat's little theorem, odd, divisible, prime factor, congruent, primes, number, infinite

This is version 1 of there are an infinite number of primes $\equiv \pm 1\pmod 4$, born on 2007-04-18.
Object id is 9218, canonical name is ThereAreAnInfiniteNumberOfPrimesEquivPm1pmod4.
Accessed 1303 times total.

Classification:
AMS MSC11N13 (Number theory :: Multiplicative number theory :: Primes in progressions)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)