Irregular primes and cyclotomic invariants to 12 million (Q5928882)

Let \(p\) be an odd prime. A pair \((p,2t)\) \((1\leq t\leq (p-3)/2\), \(t\in \mathbb{Z}\)) is said to be irregular for \(p\) if \(p\) divides the Bernoulli number \(B_{2t}\). The number \(i(p)\) of irregular pairs of \(p\) is called the index of irregularity of \(p\). The prime \(p\) is regular in case \(i(p)=0\) and if \(i(p)\geq 1\), \(p\) is irregular. NEWLINENEWLINENEWLINEIn 1857 E. E. Kummer had found out that the primes 37, 59, and 67 are irregular, and in 1879 he made the computation of irregular primes up to 163 (probably by hand). Since then, many mathematicians have continued these computations using better computational tools (calculators, computers) using increasingly better and more effective methods. NEWLINENEWLINENEWLINEThe presented results on computations of \(i(p)\) for \(p\) up to 12 million use two different algorithms. The first one is based on the power series method combined with enhanced multisectioning and convolution algorithms used in the last tables by the first four authors [Math. Comput. 61, 151-153 (1993; Zbl 0789.11020)]. The second method is a novel approach originated in the study of Stickelberger codes in [\textit{M. A. Shokrollahi}, Des. Codes Cryptography 9, 203-213 (1996; Zbl 0866.94022)]. NEWLINENEWLINENEWLINEIn this paper the indices of irregularity are given for primes up to 12 million. The index \(i(p)\) for these primes equal 0 to 7. Three new irregular primes with this index equal to 7 were found to one known prime with this property. Further, the Kummer-Vandiver conjecture was verified, that is the class number of the field \(\mathbb{Q}(\cos(2\pi/p))\) is prime to \(p\). No counterexample was found. At the conclusion the cyclotomic invariants were calculated.