×

Irregular primes and cyclotomic invariants to 12 million. (English) Zbl 1001.11061

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.
In 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.
The 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 [M. A. Shokrollahi, Des. Codes Cryptography 9, 203-213 (1996; Zbl 0866.94022)].
In 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.

MSC:

11Y40 Algebraic number theory computations
11-04 Software, source code, etc. for problems pertaining to number theory
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] G. Banaszak, W. Gajda, \(K, Q\); G. Banaszak, W. Gajda, \(K, Q\)
[2] Bluestein, L. I., A linear filtering approach to the computation of the discrete Fourier transform, IEEE Trans. Electroacoustics, 18, 451-455 (1970)
[3] Borodin, A.; Moenck, R., Fast modular transforms, J. Comp. Syst. Sci., 8, 366-386 (1974) · Zbl 0302.68064
[4] Buhler, J. P.; Crandall, R. E.; Sompolski, R. W., Irregular primes to one million, Math. Comp., 59, 717-722 (1992) · Zbl 0768.11009
[5] Buhler, J. P.; Crandall, R. E.; Ernvall, R.; Metsänkylä, T., Irregular primes and cyclotomic invariants to four million, Math. Comp., 61, 151-153 (1993) · Zbl 0789.11020
[6] Bürgisser, P.; Clausen, M.; Shokrollahi, M. A., Algebraic Complexity Theory (1996), Springer-Verlag: Springer-Verlag Heidelberg
[7] Crandall, R. E., Topics in Advanced Scientific Computation (1996), Springer-Verlag: Springer-Verlag New York · Zbl 0844.65001
[8] Ernvall, R.; Metsänkylä, T., Cyclotomic invariants for primes between 125 000 and 150 000, Math. Comp., 56, 851-858 (1991) · Zbl 0724.11052
[9] Ernvall, R.; Metsänkylä, T., Cyclotomic invariants for primes to one million, Math. Comp., 59, 249-250 (1992) · Zbl 0760.11029
[10] Lang, S., Cyclotomic Fields I and II (1990), Springer-Verlag: Springer-Verlag New York
[11] D. Reischert; D. Reischert
[12] Schönhage, A., Asymptotically fast algorithms for the numerical multiplication and division of polynomials with complex coefficients, (Calmet, J., Computer Algebra EUROCAM’82 (Marseilles 1982) (1982)), 3-15
[13] Schönhage, A.; Grotefeld, A. F.W.; Vetter, E., Fast Algorithms. A Multitape Turing Machine Implementation (1994), B.I. Wissenschaftsverlag: B.I. Wissenschaftsverlag Mannheim · Zbl 0853.68108
[14] A. Schönhage; A. Schönhage
[15] Shokrollahi, M. A., Computation of irregular primes up to eight million (preliminary report). Technical Report TR-96-002 (1995), International Computer Science Institute, Berkeley
[16] Shokrollahi, M. A., Stickelberger codes, Des. Codes Cryptogr., 9, 1-11 (1996) · Zbl 0866.94022
[17] Tanner, J. W.; Wagstaff, S. S., New congruences for the Bernoulli numbers, Math. Comp., 48, 341-350 (1987) · Zbl 0613.10012
[18] E. Vetter; E. Vetter
[19] Wagstaff, S. S., The irregular primes to 125 000, Math. Comp., 32, 583-591 (1978) · Zbl 0377.10002
[20] Washington, L. C., Introduction to Cyclotomic Fields (1982), Springer-Verlag: Springer-Verlag New York · Zbl 0484.12001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.