2026/07/14 by David Niedbala Giraudin
Mathematics · #math.NT
Let A = Fq[T] with q a power of an odd prime p, let [n] = T^(qn) - T, and let rho be the Carlitz module. A monic prime P of A is a c-Wieferich prime (to base 1) if rhoP(1) = 1 mod P2. Thakur suggested in 2015, on the basis of limited data and of proofs in degrees 2 and 3, that in odd characteristic every c-Wieferich prime has degree divisible by p; the question was restated as open in 2024, and Bamunoba and Bergstrom, after extensive computations, expressed the belief that the statement holds in odd characteristic. We show that it is false: an explicit irreducible c-Wieferich prime of degree 5 over F193 is exhibited, with 19 not dividing 5. We further give a closed form for the resulting common factor of [5] and M5: it equals mu(Tq - T) for an explicit quintic mu with coefficients in the prime field F19, squarefree of degree 5*193, and it divides gcd([5], M5); we conjecture equality, and verify it for the part of low degree over the prime field. Degree 5 is the least possible degree of such a counterexample, and exhaustive computations show that no counterexample exists over the prime fields Fp in a substantial range of degrees and characteristics. The proof that degree 5 is minimal, and the method by which the example was found, appear in a companion paper.