Extending Babbage's (Non-)Primality Tests

Jonathan Sondow

2018-12-19

Abstract:We recall Charles Babbage's 1819 criterion for primality, based on simultaneous congruences for binomial coefficients, and extend it to a least-prime-factor test. We also prove a partial converse of his non-primality test, based on a single congruence. Two problems are posed. Along the way we encounter Bachet, Bernoulli, Bezout, Euler, Fermat, Kummer, Lagrange, Lucas, Vandermonde, Waring, Wilson, Wolstenholme, and several contemporary mathematicians.

Number Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to extend the criterion for prime number determination proposed by Charles Babbage in 1819 and further explore the converse of its non - prime number test. Specifically:

1. **Extending Babbage's Primality Test**:
- The paper first reviews Babbage's primality test criterion based on the congruence relation of binomial coefficients, and then extends it to a least prime factor test.
- The new test method determines the least prime factor of an integer by examining the congruence relation of binomial coefficients under specific conditions.

2. **Proving Part of the Converse**:
- The paper also proves part of the converse of Babbage's non - primality test, that is, the non - primality test based on a single congruence relation.

3. **Raising New Questions**:
- The paper raises two new questions: one is to find a common generalization of the Mestrovic theorem and the least prime factor test; the other is to explore whether Theorem 3 can be extended to prime - power factors.

4. **Improving Babbage's Non - Primality Test**:
- The paper discusses the converse of Babbage's non - primality test, points out that its converse is false, and provides counterexamples.
- The author also proves that for even numbers, the converse of Babbage's non - primality test does indeed hold.

### Formula Summary

- **Babbage's Primality Test**:
\[
\text{For all } 0\leq n\leq p - 1, \quad \binom{p + n}{n}\equiv1\pmod{p}
\]

- **Least Prime Factor Test**:
\[
\ell\text{ is the least prime factor of an integer }m>1\text{ if and only if }\binom{m+\ell}{\ell}\not\equiv1\pmod{m}
\]
The least non - negative residue is \(m\ell + 1\).

- **Babbage's Non - Primality Test**:
\[
m\geq3\text{ is a composite number if }\binom{2m - 1}{m - 1}\not\equiv1\pmod{m^{2}}
\]

- **Wolstenholme Prime's Congruence Relation**:
\[
\text{For all }p\geq5,\quad\binom{2p - 1}{p - 1}\equiv1\pmod{p^{3}}
\]

These formulas and theorems show how the paper provides new tools and insights for prime number determination by extending and improving Babbage's original work.