Skip to main content
2 of 6
deleted 49 characters in body
martin
  • 1.9k
  • 11
  • 25

A conjecture based on Wilson's theorem

Definitions:

Lagrange's theorem implies that for each prime $p$, with the exception of $±1$, the factors of $(p − 1)!$ can be arranged in unequal pairs, where the product of each pair $≡ 1 \pmod p$. See Wiki article on Wilson's theorem.

From the example in the link above, for $p=11$ we have

$$(11-1)!=[(1\cdot10)]\cdot[(2\cdot6)(3\cdot4)(5\cdot9)(7\cdot8)] \equiv [-1]\cdot[1\cdot1\cdot1\cdot1] \equiv -1 \pmod{11}$$

Let the products of the pairs that $≡ 1 \pmod p$ be the set $A$. For the above example then, $A=\{(2\cdot6),(3\cdot4),(5\cdot9),(7\cdot8)\}=\{12,12,45,56\}$.

Conjecture:

$$\lim\limits_{n\rightarrow\infty}\dfrac{\sum\limits_{k \in A}k-1}{(p_n)^3}\approx\frac18$$

where $p_n$ is the $n$th prime.

Examples:

For $p=11$ we have

$$\dfrac{(11+11+44+55)}{11^3}=\dfrac{1}{11}$$

For $p=997$ we have

$$\dfrac{123589}{997^3}=\dfrac{123589}{994009}$$

Comments:

I have no idea whether the above statement is correct, or how to go about trying to find a proof. Any comments on the any of the above are most welcome.

martin
  • 1.9k
  • 11
  • 25