Thangadurai's conjectural refinement of Adams's theorem for Bernoulli numerators

About 7 years old · traced to

Let p>3p>3 be a prime, let nn be a positive even integer, and write pl∥np^l\mathrel{\|}n to mean that pl∣np^l\mid n but pl+1∤np^{l+1}\nmid n. Assume that p−1∤np-1\nmid n. Write pβ∥N(Bn)p^\beta\mathrel{\|}N(B_n) to mean that pβp^\beta exactly divides the numerator N(Bn)N(B_n) of the Bernoulli number BnB_n. Thangadurai's conjecture. If

pl∥n,p^l\mathrel{\|}n,

then

pβ∥N(Bn)⟹β≤l+1.p^\beta\mathrel{\|}N(B_n)\quad\Longrightarrow\quad \beta\leq l+1.

This is presented as a more recent conjectural version of Adams's theorem, which gives a related divisibility result for Bernoulli numbers. The source gives no resolution status.

References

Primary source

Claire Levaillant, “Wilson's theorem modulo p^2 derived from Faulhaber polynomials”, arXiv:1912.06652 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.