 Welcome guest
You're not logged in.
261 users online, thereof 0 logged in

The following proposition provides a basis for testing if an integer is a prime number. By contraposition to the corollary, if $a^{p-1}(p)\not\equiv 1(p)$ for some integer $a$ with $p\not\mid a,$ then $p$ is not a prime number. It, therefore, suffices to find any number $a$ with $p\not\mid a$ to prove that $p$ is not prime. On the other hand, to prove that $p$ is prime, we need to show that $a^{p}(p)\equiv 1(p)$ for all integers $a$ with $1 < a < p.$ Therefore, this kind of prooving the primality of $p$ is not efficient, if $p$ is big. Later, we will learn about more efficient proofs of primality than this one.

## Proposition: A Necessary Condition for an Integer to be Prime

For any integer $a\in\mathbb Z$ and any prime number $p$ the following congruence holds:

$$a^p\equiv a(p).$$

If $p\not\mid a$ ($p$ does not divide $a$) then $$a^{p-1}(p)\equiv 1(p).$$

## 1.Proof: (related to "A Necessary Condition for an Integer to be Prime")

(none)

### Bibliography (further reading)

 Landau, Edmund: “Vorlesungen über Zahlentheorie, Aus der Elementaren Zahlentheorie”, S. Hirzel, Leipzig, 1927