Math 2.0

Number theory Proposition

Converse of Wilson's theorem

Builds on Wilson's theoremPrime number

Statement

Let nn be an integer with n>1n > 1. If (n−1)!≡−1(modn)(n - 1)! \equiv -1 \pmod n, then nn is a prime number.

Remarks

With Wilson's theorem, this gives: an integer n>1n > 1 is prime if and only if (n−1)!≡−1(modn)(n - 1)! \equiv -1 \pmod n. The proof: if n=abn = a b with 1<a<n1 < a < n, then aa divides (n−1)!(n - 1)!. A congruence (n−1)!≡−1(modn)(n - 1)! \equiv -1 \pmod n would give a∣1a \mid 1, which is false. In fact (n−1)!≡0(modn)(n - 1)! \equiv 0 \pmod n for each composite n>4n > 4, and 3!≡2(mod4)3! \equiv 2 \pmod 4. This primality test is not practical, because (n−1)!(n - 1)! needs about nn multiplications.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Divisibility definition
  2. Congruence modulo n definition
  3. Prime number definition
  4. Wilson's theorem statement
  5. Converse of Wilson's theorem statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Wilson%27s_theorem, Composite modulus
About this page
Tag06WRV8HFDY
URIm2://06WRV8HFDY
Kindstatement, proposition
WritingW0 stub
MSC11A51
StatusThis copy of the site has no build data. Run m2 status 06WRV8HFDY.
UsesWilson's theorem, Prime number

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.