Irregular primes and cyclotomic invariants to 12 million (Q5928882)

From MaRDI portal
Revision as of 12:43, 2 May 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q54065979, #quickstatements; #temporary_batch_1714646163789)
scientific article; zbMATH DE number 1584485
Language Label Description Also known as
English
Irregular primes and cyclotomic invariants to 12 million
scientific article; zbMATH DE number 1584485

    Statements

    Irregular primes and cyclotomic invariants to 12 million (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    14 June 2001
    0 references
    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 [\textit{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.
    0 references
    irregular prime
    0 references
    number of irregular pairs
    0 references
    index of irregularity
    0 references
    computation of irregular primes
    0 references
    Kummer-Vandiver conjecture
    0 references
    cyclotomic invariants
    0 references

    Identifiers