Is the Binomial Coefficient Test a Reliable Prime Indicator?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
RLBrown
Messages
59
Reaction score
0
I was examining the AKS and discovered this conjecture.

Please prove the following true or false.
Let n be an odd integer >2

then n is prime IFF
$\left(
\begin{array}{c}
n-1 \\
\frac{n-1}{2} \\
\end{array}
\right)

\text{ $\equiv $ }
\pm 1$ mod n
 
Last edited:
Mathematics news on Phys.org
RLBrown said:
I was examining the AKS and discovered this conjecture.

Please prove the following true or false.
Let n be an odd integer >2

then n is prime IFF
$\left(
\begin{array}{c}
n-1 \\
\frac{n-1}{2} \\
\end{array}
\right)

\text{ $\equiv $ }
\pm 1$ mod n
A quick internet search indicates that this result is false, but only just! In fact, the condition $${n-1 \choose \frac{n-1}2} \equiv \pm1\!\!\! \pmod n$$ holds whenever $n$ is prime. However, it also holds for the numbers $5907$, $1194649$ and $12327121$, which are not prime. It is not known whether there are any other non-prime odd numbers that satisfy the condition.

For more information, search for "Catalan pseudoprimes".